Hledat
Zobrazují se záznamy 1-10 z 21
Inkrementální komprese založená na clusterování, Incremental Clustering-Based Compression
; Vedoucí práce: Holub Jan; Oponent práce: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
Zotavení se z chyb v nástrojích pro automatizovanou analýzu programových artefaktů, Error Recovery in Tools for Automatically Analysing Program Artefacts
; Vedoucí práce: Janoušek Jan; Oponent práce: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-02-12)
Regulární stromový výraz a jeho derivace, Regular tree expression and its derivatives
; Vedoucí práce: Polách Radomír; Oponent práce: Trávníček Jan
Práce představuje novou metodu pro rozpoznávání stromových (nebo i bezkontextových) jazyků za použití derivací regulárních stromových výrazů. Tato metoda je zobecněním převodu regulárních výrazů na konečný automat pomocí ...
Přístupy k automatizaci 3D tisku, 3D Printing Automation Approaches
; Vedoucí práce: Kordík Pavel; Oponent práce: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
Vyhledávání nelineárních vzorků ve stromech, Nonlinear Tree Pattern Matching
; Vedoucí práce: Janoušek Jan; Oponent práce: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24)
Vyhledávání výskytů stromových vzorků v seřazených stromech s pomocí indexů stromů, Searching occurrences of tree patterns in ordered trees with the use of indexes of the trees
; Vedoucí práce: Janoušek Jan; Oponent práce: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2015-06-08)
Tato práce porovnává dvě existující schémata pro indexování stromů. Jedno je založené na nedeterministickém faktorovém automatu, druhé na deterministickém kompaktním sufixovém automatu. Je zde popsáno třetí, nové schéma ...
Vyhledávání ve stromech na principu mrtvých zón, Dead zone tree pattern matching in trees
; Vedoucí práce: Trávníček Jan; 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., 2016-04-23)
V práci jsou představeny dva nové algoritmy pro vyhledávání ve stromech - sousměrný algoritmus (založený na algoritmu Morris-Pratt) a algoritmus na principu mrtvých zón. Algoritmy naleznou všechny výskyty daného stromového ...
Návrh a implementace prototypu virtuálního stroje pro Component-based jazyk Compo, Design and implementation of a prototype virtual machine for a Component-based programming and modeling language Compo
; Vedoucí práce: Špaček Petr; Oponent práce: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-09)
Tato práce se zabývá návrhem a implementaci virtuálniho stroje pro komponentově orientovaný programovaci jazyk Compo. Komponentově orientované programováni je obecně založeno na skládáni jednoduchých komponent do komplexnich ...
Přední část LLVM pro jazyk Scheme, LLVM frontend for the Scheme language
; Vedoucí práce: Polách Radomír; Oponent práce: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-09)
Tato práce se zabývá problémem překladu programovacího jazyka Scheme do nativního kódu a zkoumá možnost vytvoření nové přední části překladače pro jazyk Scheme s využitím LLVM. Dále předkládá návrh tohoto překladače a jeho ...
Konstrukce zásobníkového automatu přijímajícího jazyk daný regulárním stromovým výrazem, Construction of a Pushdown Automaton Accepting a Language Given by Regular Tree Expression
; Vedoucí práce: Trávníček Jan; Oponent práce: Polách Radomír (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-09)
Tato práce studuje regulárni stromové výrazy, formalismus pro popis regulárnich stromových jazyků. Hlavnim přinosem práce je nový algoritmus pro převod regulárniho stromového výrazu na ekvivalentni zásobnikový automat, ...