Hledat
Zobrazují se záznamy 1-10 z 14
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ř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, ...
Efektivní implementace nově vyvinutých variant kompresní metody ACB pro knihovnu ExCom, Effective implementation of state-of-the-art variants of the ACB compression method for the ExCom library
; Vedoucí práce: Polách Radomír; Oponent práce: Baier 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á analýzou algoritmu ACB a návrhem nových struktur pro indexování contextu a contentu s ohledem na vylepšení kompresního poměru. V této práci jsou navržena tři vylepšení, která jsou implementována a ...
Plánovač setkání, Meeting scheduler
; Vedoucí práce: Baier 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-02-19)
Tato diplomová práce se zabývá vytvořením a následném měřením aplikace Plánovač setkání. Cílem aplikace je nalezení optimálního místa setkání pro skupinu lidí tak, aby pro každého z účastníků byla vzdálenost k výstupnímu ...
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 ...
GCC a LLVM - Porovnání implementací zadních částí překladačů, GCC and LLVM - Compiler backends implementation comparison
; Vedoucí práce: Polách Radomír; Oponent práce: Šimeček Ivan (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-02-17)
Tato diplomová práce se zabývá problematikou překladu programovacích jazyků do strojového kódu. Zaměřuje se na zadní část překladače a vysvětluje základní pojmy a principy fungování generátoru strojového kódu. Dále podrobněji ...
Analýza bezpečnostních rizik aplikací z logů v reálném čase, Realtime Logs Security Risk Analysis
; Vedoucí práce: Pivoňka Pavel; 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)
Diplomová práce se zaměřuje na detekci bezpečnostních rizik v reálném čase. Využívám nástroj MS Azure Machine Learning, kam jsou odesílána Javou předzpracovaná data. Jsou použity algoritmy pro shlukování a detekci anomálie. ...
Analýza optimalizací provedených GCC při kompilaci Linuxového jádra, Analysis of optimizations done by GCC during Linux kernel compilation
; Vedoucí práce: Polách Radomír; Oponent práce: Šimeček Ivan (Č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)
Úkolem je vystihnout optimalizace překladače, které mohou přispět k zavedení bezpečnostních zranitelností do programu. Práce dále pojednává o implementaci úprav GCC za účelem oznámení míst vzniku těchto zranitelností uživateli.
Kontrola kompatibility datových typů v Oracle SQL, Checking the compatibility of data types in Oracle SQL
; Vedoucí práce: Janouš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., 2015-06-08)
Programy v Oracle SQL mohou selhat, když obsahují chyby. V této práci představíme metodu pro odhalování chyb specifického druhu -- nekompatibilita datových typů.
Analyzujeme datové typy a vestavěné funkce v dialektu Oracle ...