Hlavní stránka > Výsledky hledání: Hamrle, Martin
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.01 vteřin. 
Refinement of timed automata models according to hardware characteristics
 Hamrle, Martin ; Holub, Viliam (vedoucí práce) ; Kofroň, Jan (oponent)
Timed automata byla navržena na modelování real-time systémů. Formální teorie obsahuje některé nerealistické předpoklady, například nekonečně rychlé akce. Model pak musí toto chování namodelovat, což ale znepřehledňuje celý model, a tím je celé modelování náchylnější k chybám. V předložené práci se zaměříme na synchronizaci procesů pomocí kanálů. Diskutují se jednotlivé možnosti řešení zpoždění signálů. Poté následuje analýza vybraných řešení a jejich implementace. Nevytváří se nový nástroj a jazyk, ale vytváří se pouze rozšíření současného jazyka, aby bylo možné použít grafi cké prostředí nástroje Uppaal.
Úplný záznam
Refinement of timed automata models according to hardware characteristics
 Hamrle, Martin ; Kofroň, Jan (oponent) ; Holub, Viliam (vedoucí práce)
Timed automata byla navržena na modelování real-time systémů. Formální teorie obsahuje některé nerealistické předpoklady, například nekonečně rychlé akce. Model pak musí toto chování namodelovat, což ale znepřehledňuje celý model, a tím je celé modelování náchylnější k chybám. V předložené práci se zaměříme na synchronizaci procesů pomocí kanálů. Diskutují se jednotlivé možnosti řešení zpoždění signálů. Poté následuje analýza vybraných řešení a jejich implementace. Nevytváří se nový nástroj a jazyk, ale vytváří se pouze rozšíření současného jazyka, aby bylo možné použít grafi cké prostředí nástroje Uppaal.
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English