Program

Kdy:
25.-26.10.2005 (úterý, středa)
Kde:
Fakulta elektrotechnická, ČVUT Praha, Karlovo nám. 13, Praha 2, budova G, místnost G205.
OdkudKdoTéma příspěvkuČas
VSB-IPetr JančarSTG (signal transition graphs) - Petriho sítě modelující asynchronní obvody9:00
VSB-IZdeněk SawaPTIME-obtížnost behaviorálních ekvivalencí na konečně stavových systémech9:10
VSB-I O distribuované bisimulaci na základních paralelních procesech 9:20
VSB-IMartin Kot Bisimulační problémy pro třídy procesů BPA a BPP 9:30
UTIAPetr Honzík Analysis and Implementation of Dynamic Reconfiguration for FPGAs
(Rozbor a implementace dynamické rekonfigurace pro obvody FPGA)
9:50
UTIALeoš KafkaVyužití dynamické rekonfigurace pro simulaci poruch 10:10
UTIARoman BartošinskýPEERT blockset for Processor Expert and MATLAB/Simulink integration10:30
ČVUTLibor Waszniowski Timed Automata Approach to Distributed and Fault Tolerant System Verification 10:50
ČVUTPřemysl Šůcha Scheduling of Iterative Algorithms with Matrix Operations for Efficient FPGA Design 11:10
ČVUTPetr Jurčík Construction of the bounded application-layer multicast tree by the integer linear programming 11:30
ČVUTMichal Kutil Řízení provozu na světelné křižovatce11:50
Oběd (12:00 - 12:30)
ČVUTPavel PíšaKomunikační komponenty CAN/CANopen a RT Ethernet 12:30
VUTBrPavel Kučera Stanovení spolehlivosti řídicího systému turbíny 12:50
VUTBrOndřej Hynčica Simulátor turbíny 13:00
VUTBr Bezdrátové technologie 13:10
ČVUTJiří NovákAutomatické testování elektronických řídících jednotek13:20
VSBOndřej Krejcar Využití lokalizace uživatele pro prediktivní nahrávaní dat v řídicích systémech 13:40
VSBZdeněk Slanina Měření teploty v hlubinných vrtech pro teplotní výměníky 14:00
VSBJan Pokorný Experimentální RT databáze v prostředí VX Works14:20
VSBJindřich Černohorský
(přednese: O. Krejcar)
Configurable migrating architecture (konfigurovatelná migrující architektura)14:40
UnicontrolsAleš HajnýModbus TCP/IP pro systém UniCon/UniCAP15:00
UNISPetr StruzkaVyvoj USB HID Class zarizeni v nastroji Processor Expert15:20
© 2005-2017 - CAK | webmaster: Michal Kutil