Hlavní stránka > Výsledky hledání: Tatarko, William
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. 
Branching loop summarization
 Tatarko, William ; Blicha, Martin (vedoucí práce) ; Bednárek, David (oponent)
V této práci představujeme nový algoritmus na sumarizaci cyklů s více větvemi pracujícími s celými čísly. Algoritmus je založen na analýze tzv. stavového diagramu, který zachycuje možné přechody mezi větvemi. Suma- rizace může být použita na nahrazení cyklů ekvivalentními neiterativními příkazy. Toto umožňuje analýzu dosažitelnosti a může být použito na veri- fikaci softwaru. Sumarizace může být také například použita na optimalizace (kompilátorů). 1
Úplný záznam
CSP over oriented trees
 Tatarko, William ; Bulín, Jakub (vedoucí práce) ; Barto, Libor (oponent)
V této práci představíme orientovaný strom, který má pouze 26 vrcholů a jehož CSP je NP-úplné. Toto slouží jako protipříklad k domněnce, že každý orientovaný strom s touto vlastností má alespoň 39 vrcholů. Práce je rozdělena do tří kapitol. V první představíme základní definice a poznatky tohoto tématu. Následně ukážeme, že orientované stromy určitých tvarů mají CSP řešitelné v polynomiálním čase. Nakonec dokážeme, že CSP jistého orientovaného stromu je NP-úplné. 1
Ú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