• Algoritmy pro řízení šířky pásma paměťové sběrnice na vícejádrových vestavných platformách s GPU akcelerátory 

      Autor: Anton Voznia; Vedoucí práce: Sojka Michal; Oponent práce: Doležal Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-09)
      V této práci jsem popsal problém mezi jádry procesoru při použití jedné sběrnice. Také jsem ukázal různá řešení které už existovaly. Ale hlavně bylo řešení memguard. Popsal jsem tento algoritmus, a porovnal jsem ho s už ...
    • Distribuované řízení kolon vozidel na autodráze 

      Autor: Moravec Jan; Vedoucí práce: Herman Ivo; Oponent práce: Sojka Michal
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
    • Distribuované řízení pole světelných zdrojů 

      Autor: Pučejdl Krištof; Vedoucí práce: Hurák Zdeněk; Oponent práce: Sojka Michal
      Obsahem této bakalářské práce je návrh, stavba a testování prototypu experimentální elektromechanické platformy, jež sestává ze skupiny samostatně programovatelných jednotek, které na sebe mohou vzájemně působit silou a ...
    • Efektivní algoritmy pro rozpoznávání obrazu na levných embedded procesorech 

      Autor: Martin Jandek; Vedoucí práce: Sojka Michal; Oponent práce: Kencl Lukáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-08-27)
      Ve světě internetu věcí existuje spousta využití nepříliš výkonných, ale za to ma-lých a levných procesorů. Výpočetní vý-kon těchto procesorů je většinu času nevy-užitý a jedním z možných využití volného výpočetního času ...
    • Měření polohy pomocí kamery pro 3D tiskárny 

      Autor: Juranová Kateřina; Vedoucí práce: Zemánek Jiří; Oponent práce: Sojka Michal
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
    • Monitorovací a servisní rozhraní pro novou generaci řídicího a regulačního systému 

      Autor: Skoupý Sebastian; Vedoucí práce: Sojka Michal; Oponent práce: Burget Pavel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-07-04)
    • Nízkoúrovňový software pro řídicí jednotky do aut 

      Autor: Mikulka Leoš; Vedoucí práce: Sojka Michal; Oponent práce: Samek Martin
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-07-04)
    • Použití ROS2 pro manévrování ve vysoké rychlosti v autonomním řízení 

      Autor: Martin Endler; Vedoucí práce: Sojka Michal; Oponent práce: Štěpán Petr
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-08-31)
      Manévrování ve vysoké rychlosti při autonomním řízení je problematické bez řádné podpory real-time na straně softwaru. Na ČVUT je tým, který se účastní soutěže F1/10 Autonomous Driving Competition s autonomními modely aut. ...
    • Rekonstrukce prostředí z monokulární kamery 

      Autor: Polic Michal; Vedoucí práce: Štěpán Petr; Oponent práce: Sojka Michal
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-07-04)
    • RTOS Zephyr 

      Autor: Marek Vedral; Vedoucí práce: Sojka Michal; Oponent práce: Štěpán Petr
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-13)
      Zephyr je nový, svobodný operační systém reálného času, který slibuje poskytovat bezpečnou platformu pro vývoj aplikací na širokém spektru podporovaných desek. Tato práce popisuje proces portování tohoto systému na desku ...
    • Správa teplot a napájení v rozvrhovači avionického operačního systému 

      Autor: Matěj Kafka; Vedoucí práce: Sojka Michal; Oponent práce: Štěpán Petr
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-02)
      V leteckém a automobilovém průmyslu je stále obvyklejší používání výkonných vícejádrových čipů pro aplikace realného času s vysokými bezpečnostními požadavky, přinášející nové výzvy v oblasti rozvrhování a řízení teplot. ...
    • Topologické mapy příznaků z obrazu 

      Autor: Kopenec Jiří; Vedoucí práce: Štěpán Petr; Oponent práce: Sojka Michal
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-07-04)
    • Využití symbolické exekuce pro testování real-time, bezpečnostně kritického softwaru 

      Autor: Hořeňovský Martin; Vedoucí práce: Sojka Michal; Oponent práce: Štěpán Petr
      Tato práce zkoumá vhodnost nástroje symbolické exekuce KLEE pro verifikaci real-time bezpečnostně kritických systémů. Real-time bezpečnostně kritické systémy jsou ty, u kterých selhání může vést ke ztrátě lidských životů anebo ...