Prohlížení Diplomové práce - 18101 dle autora "Ratschan Stefan"
-
Lehký just-in-time kompilátor pro aritmetické výrazy
Autor: Kokorev Igor; Vedoucí práce: Ratschan Stefan; Oponent práce: Janoušek Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-01-13)Úkolem této práce bylo vytvořit knihovnu, která je využitelná ve spojení s některou z knihoven pro nelineární optimalizaci. Pro daný aritmetický výraz (zadaný jako bajtový řetězec v kódování ASCII) je za běhu programu ... -
Modely s omezujícími podmínkami pro plánování a rozvrhování
Autor: Procházka Martin; Vedoucí práce: Barták Roman; Oponent práce: Ratschan Stefan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-13)Cílem této práce je navrhnout výpocetní model pomocí technologie constraint programming, který by byl schopen popsat a vyrešit konkrétní plánovací problém. Problém je definován pomocí plánovacího jazyka PDDL a je zameren ...