| Čas
|
Kdo
|
Název
|
| 10:00
|
Jan Doležal
|
Ovladače a knihovny pro OS RTEMS podporující grafické karty současných PC počítačů
|
| 10:10
|
Michal Kreč
|
Evaluation of safety & security properties of automotive motor control software
|
| 10:20
|
Václav Fanfule
|
Použití Intel AMT a IPMI pro testování low-level softwaru
|
| 10:30
|
Andres España
|
Rapid prototyping of mobile robot control algorithms
|
| 10:40
|
Anna Minaeva
|
Optimal Scheduling for Time-Division-Multiplexed Real-Time Systems
|
| 10:50
|
Istvan Modos
|
Rozvrhování provádění anytime algoritmů v sítích s heterogenní strukturou
|
| 11:00
|
Tomas Poledny
|
Řešení problémů rozvrhování s omezenými zdroji za využití grafických karet
|
| 11:10
|
Radek Mečiar
|
Řízení motorů s deskou Raspberry Pi a Linuxem
|
| 11:20
|
Michal Frdlík
|
Algoritmy a testy pro nástroj na organizaci zaměstnanců
|
| 11:20
|
Martin Meloun
|
Systém pro řízení pohybu robota využívající FPGA
|
| 11:30
|
Martin Vajnar
|
Komunikační middleware ORTE pro OS Android
|
| 11:40
|
Vojtěch Drbohlav
|
Nástroj pro vizualizaci anomálií v komunikaci na automobilové sběrnici CAN
|
| 11:50
|
Martin Hořeňovský
|
Využití symbolické exekuce pro testování real-time, bezpečnostně kritického softwaru
|