Search
Now showing items 1-10 of 21
Inkrementální komprese založená na clusterování, Incremental Clustering-Based Compression
; Supervisor: Holub Jan; Opponent: 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
; Supervisor: Janoušek Jan; Opponent: 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
; Supervisor: Polách Radomír; Opponent: 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
; Supervisor: Kordík Pavel; Opponent: 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
; Supervisor: Janoušek Jan; Opponent: 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
; Supervisor: Janoušek Jan; Opponent: 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
; Supervisor: Trávníček Jan; Opponent: 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
; Supervisor: Špaček Petr; Opponent: 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
; Supervisor: Polách Radomír; Opponent: 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
; Supervisor: Trávníček Jan; Opponent: 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, ...