Hledat
Zobrazují se záznamy 1-10 z 13
Monitorovací a servisní rozhraní pro novou generaci řídicího a regulačního systému, Monitoring and Service Interface for New Generation Control System
; 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)
Využití symbolické exekuce pro testování real-time, bezpečnostně kritického softwaru, The Use of Symbolic Execution for Testing of Real-Time Safety-Related Software
; 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 ...
Distribuované řízení kolon vozidel na autodráze, Distributed Control of Platoons of Slot Cars
; 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)
Měření polohy pomocí kamery pro 3D tiskárny, Camera-Based Position Measurement for 3D Printers
; 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)
Nízkoúrovňový software pro řídicí jednotky do aut, Low-Level Software for Automotive Electronic Control Units
; 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)
Rekonstrukce prostředí z monokulární kamery, Reconstruction from Monocular Camera
; 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)
Topologické mapy příznaků z obrazu, Topological Maps from Image Features
; 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)
Distribuované řízení pole světelných zdrojů, Distributed Control of an Array of Light Sources
; 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 ...
Algoritmy pro řízení šířky pásma paměťové sběrnice na vícejádrových vestavných platformách s GPU akcelerátory, Algorithms for Memory-Bus Bandwidth Control on Multi-Core Embedded Platforms with GPU Accelerators
; 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ž ...
Efektivní algoritmy pro rozpoznávání obrazu na levných embedded procesorech, Efficient Image Recognition on Low-Performance CPUs
; 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 ...