Hlavní stránka > Výsledky hledání: Rosecký, Richard
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 1 záznamů.  Hledání trvalo 0.00 vteřin. 
Analýza plánovatelnosti úloh reálného času s ohledem na nejistotu
 Rosecký, Richard ; Bidlo, Michal (oponent) ; Strnadel, Josef (vedoucí práce)
Cílem této práce je navrhnout a vytvořit model systému reálného času a několika sad úloh pro tento systém, analyzovat a verifikovat vytvořený model a sady, obeznámit s problematikou systémů reálného času a plánovatelnosti úloh v těchto systémech. Pro vytvoření modelu bude použit nástroj UPPAAL a model systému bude obsahovat abstrakci úlohy, plánovače a řadících algoritmů. Ve vytvořeném modelu bude možné simulovat a verifikovat sady periodických, sporadických a aperiodických úloh v kombinaci s různými řadícími algoritmy jako FIFO, DMA, RMA, EDF nebo Round Robin.
Úplný záznam

Viz též: podobná jména autorů
1 Rosecký, Radek
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