Národní úložiště šedé literatury Nalezeno 4 záznamů.  Hledání trvalo 0.00 vteřin. 
Model úloh s omezeními a mechanismů jejich plánování v UPPAAL SMC
Palúch, Filip ; Podivínský, Jakub (oponent) ; Strnadel, Josef (vedoucí práce)
Cieľom je vytvorenie prehľadu mechanizmov plánovania úloh v jednoprocesorovom prostredí. Použitím týchto mechanizmov sú navrhnuté a implementované jednotlivé modely v nástroji UPPAAL, na ktorý sa táto práca orientuje. Výsledkom práce je overenie validity a vlastností mechanizmov získaných na základe implementovania modelov. Na porovnávanie výsledkov z nástroja UPPAAL sú využíté nástroje TimesTool a Cheddar.
Practical Application of Agile Methods
Palúch, Filip ; Doskočil, Radek (oponent) ; Smolíková, Lenka (vedoucí práce)
This diploma thesis is focused on current situation analysis of the company with particular designed change of project management. This change is aimed to set up a Scrum agile method. Basics of Scrum agile method are explained in the first chapter of this diploma thesis. Based on the knowledge gained from analitical chapter of this thesis there are designed specific changes according Scrum principles in the last chapter.
Practical Application of Agile Methods
Palúch, Filip ; Doskočil, Radek (oponent) ; Smolíková, Lenka (vedoucí práce)
This diploma thesis is focused on current situation analysis of the company with particular designed change of project management. This change is aimed to set up a Scrum agile method. Basics of Scrum agile method are explained in the first chapter of this diploma thesis. Based on the knowledge gained from analitical chapter of this thesis there are designed specific changes according Scrum principles in the last chapter.
Model úloh s omezeními a mechanismů jejich plánování v UPPAAL SMC
Palúch, Filip ; Podivínský, Jakub (oponent) ; Strnadel, Josef (vedoucí práce)
Cieľom je vytvorenie prehľadu mechanizmov plánovania úloh v jednoprocesorovom prostredí. Použitím týchto mechanizmov sú navrhnuté a implementované jednotlivé modely v nástroji UPPAAL, na ktorý sa táto práca orientuje. Výsledkom práce je overenie validity a vlastností mechanizmov získaných na základe implementovania modelov. Na porovnávanie výsledkov z nástroja UPPAAL sú využíté nástroje TimesTool a Cheddar.

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.