Hledat
Zobrazují se záznamy 11-20 z 21
Minimalizace stromových a zásobníkových automatů, Tree and pushdown automata minimisation
; 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., 2017-05-09)
Práce se zabývá vztahem mezi konečnými stromovými automaty a zásobníkovými automaty, a jejich minimalizací. Konečné Stromové automaty jsou rozšířením konečných automatů a zpracovávají regulární stromové jazyky. V práci ...
Indexování XML dokumentů, Indexing XML Documents
; 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)
Výzkum v oblasti indexování řetězců má již mnoho prezentovaných výsledků, což však neplatí pro ostatní datové struktury, jakými jsou například stromy.
Tato práce obsahuje v prvé řadě shrnutí metod pro indexování řetězců a ...
Optimalizace ASM kódu pro DLX procesor pomocí LLVM systému, Optimization of ASM code for DLX using LLVM system
; Vedoucí práce: Šimeček Ivan; 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., 2019-01-31)
Tato práce popisuje proces vytvořeni nového backendu pro architekturu DLX pomoci LLVM kompilátoru. Procházi všemi nezbytnými součástmi tvorby nového backendu pro kompilátory, jako napřilkad výběr instrukci nebo přiřa-zeni ...
Zpětné reference v rozšířených regulárních výrazech, Backreferences in practical regular expressions
; Vedoucí práce: Guth Ondřej; 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., 2020-06-11)
Zpětné reference (odkazy) jsou rozšíření regulárních výrazů bežně podporované v dnešních nástrojích. Regulární výrazy se zpětnými referencemi mají zvýšenou vyjadřovací sílu, ale jejich vyhledávání (matching) je NP-úplné. ...
Nástroj na extrakci datových toků pro programovací jazyk Cobol, Dataflow extraction tool for Cobol programming language
; Vedoucí práce: Trávníček Jan; Oponent práce: Toušek Jiří (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-01-29)
Táto práca sa zaoberá analýzou dátových tokov programovacieho jazyka COBOL, konkrétne IBM COBOL dialektu. Práca najprv skúma rôzne prístupy k analýze dátových tokov, ich reprezentáciu a vizualizáciu v projekte Manta. ...
Implementace vylepšených suffixových polí a jejich použití, Enhanced suffix arrays implementation and its usage
; Vedoucí práce: Trávníček Jan; Oponent práce: Guth Ondřej (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-11)
Hlavní nevýhodou suffixového stromu je velká paměťová náročnost. Jedna z paměťově efektivnějších struktur je suffixové pole, a nedávno se ukázalo, že každý algoritmus řešený suffixovým stromem lze nahradit stejně časově ...
Quantum leap vyhledávání v linearizovaných stromech, Quantum leap pattern matching in linearized trees
; Vedoucí práce: Trávníček Jan; Oponent práce: Plachý Štěpán (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-01-29)
Práce se zabývá vyhledáváním stromových vzorů ve stromech. Konkrétně se pracuje s linearizovanými stromy v prefixové notaci. Práce přejímá myšlenku algoritmu Quantum Leap pro vyhledávání v řetězcích a využívá ji pro ...
Komprese souborů FASTQ, FASTQ file compression
; 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., 2020-08-27)
Tato práce se zabývá analýzou struktury FASTQ souborů, výběrem vhodného kompresniho algoritmu a jeho implementaci. Velká část práce se zabývá popisem algoritmu mixováni kontextů a jeho implementaci. Dále v práci popisuji ...
Převod konečných stromových automatů na stromové regulární výrazy, Finite tree automaton to tree regular expression conversion
; Vedoucí práce: Trávníček Jan; Oponent práce: Pecka Tomáš (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-06)
Tato diplomová práce studuje regulární stromové výrazy a metodu převodu ze stromového automatu na regulární stromový výraz pomocí rovnic. Daná metoda je poté implementována v knihovně algoritmů vyvíjené na Katedře teoretické ...
Konverze stromových konečných automatů na stromové regulární výrazy metodou eliminace stavů, Finite tree automata to regular tree expressions conversion by removal of states
; Vedoucí práce: Trávníček Jan; Oponent práce: Pecka Tomáš (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-09)
Tato diplomová práce se zabývá stromovými jazyky. Stromový jazyk se skládá z množiny stromů, podobně jako textový jazyk se skládá z množiny textových řetězců. Jelikož byla dokázána rovnost mezi třídou jazyků přijímaných ...