|
|
Generování kódu optimalizovaných matematických operací
Beneš, Vojtěch ; Horáček, Petr (oponent) ; Čermák, Martin (vedoucí práce)
Bakalářská práce se zabývá vytvořením jednoduchého programovacího jazyka pro práci s matematickými operacemi. Hlavním cílem práce je vytvořit kompilátor tohoto jazyka, který pro generování instrukcí cílového kódu využívá instrukční sadu technologie MMX. Generování optimalizovaného kódu probíhá na základě upraveného algoritmu kontextového generování.
|
|
|
Gramatické systémy aplikované v překladačích
Reš, Jakub ; Klobučníková, Dominika (oponent) ; Meduna, Alexandr (vedoucí práce)
Cílem této práce je navrhnout metodu konstrukce kompilátoru založenou na konceptu gramatických systémů, která umožní uživateli libovolně kombinovat dílčí existující konstrukční metody. Řešení zvoleného problému spočívá ve využití kooperujících distribuovaných gramatických systémů. Z těch byl převzán princip členění na komponenty, sekvenčně spolupracující na společné výsledné větě dle derivačního módu. Vzniká nám tedy konstrukce menších, úzce specifikovaných jednotek, schopná vzájemně předávat řízení a společně tak analyzovat složité jazyky. Každá z těchto komponent využívá jedné z existujících metod analýzy a její libovolné implementace. Přínosem této práce je navržení a ukázání užití principu gramatických systémů, které nám umožňuje konstruovat kompilátor užitím libovolných metod a zároveň, díky gramatickým systémům, zvýšit jeho celkovou generativní sílu.
|
|
| |
|
|
Optimalizace agentního kódu
Hemala, Luboš ; Kočí, Radek (oponent) ; Zbořil, František (vedoucí práce)
Tato práce navazuje na předchozí snahu o vylepšování překladače agentního jazyka AHLL. Integrované optimalizace se zaměřují především na snížení velikosti cílového kódu v ALLL, proto je v této verzi rozšířena implementace o alokaci registrů barvením grafů. Prezentovány jsou také změny jazyka AHLL, které ovšem vyžadují složitější strukturu překladače. Celkové dosažené výsledky nového překladače potom vykazují průměrně o 35 % menší velikost výsledného kódu pro vyhodnocované komplexní agenty.
|
|
|
Regulovaný syntaxí řízený překlad
Dvořák, Tomáš ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá formálním pohledem na regulovaný syntaxí řízený překlad. První část obsahuje formální základy teorie jazyků, jejich klasifikaci a analýzu. Jsou uvedeny příklady gramatik generující jazyky, které nejsou bezkontextové, především maticové gramatiky, gramatiky s nahodilým kontextem a programované gramatika. Jsou uvedeny konečné, zásobníkové, hluboké a regulované automaty. Formálně vymezuje převodníky a jejich roli v rámci formálního a syntaxí řízeného překladu. Zavádí regulované převodníky založené na regulovaných automatech. Jádrem práce je návrh algoritmů regulované syntaktické analýzy jako rozšíření tradičních algoritmů prediktivní syntaktické analýzy. Tyto algoritmy jsou navrženy pro všechny uvedené speciální typy gramatik. Závěr práce je věnován návrhu jazyka jako prostředku pro popis těchto gramatik a překladače těchto gramatik na kód syntaktického analyzátoru a jejich grafického analyzátoru.
|
|
|
Generická obfuskace na úrovni bajtkódu
Kollát, Samuel ; Křoustek, Jakub (oponent) ; Ďurfina, Lukáš (vedoucí práce)
V této práci je popsána definice obfuskace a metody její realizace. Následuje popis projektu LLVM a možnosti jeho využití při vytváření obfuskace na úrovni bajtkódu se zaměřením na generickost vzhledem k cílové architektuře. Jádro práce tvoří podrobný návrh metod obfuskace s cílem jejich implementace v zadní části překladače LLVM. Závěrečná sekce se věnuje ověření funkčnosti na různých architekturách pomocí automatizovaných testů.
|
|
|
Syntaktická analýza založená na gramatických systémech
Sedmík, Adam ; Klobučníková, Dominika (oponent) ; Meduna, Alexandr (vedoucí práce)
Práce se zabývá problematikou gramatických systémů a syntaktické analýzy. V práci jsou představeny kooperačně distribuované a paralelně komunikující gramatické systémy. Na základě znalostí o gramatických systémech je navrhnut nový typ gramatických systémů se zaměřením na modularizaci syntaktické analýzy. Jsou předvedeny metody syntaktické analýzy, metoda rekurzivního sestupu a precedenční syntaktická analýza. Navržené gramatické systémy jsou předvedeny na syntaktické analýze vlastního programovacího jazyka.
|
|
|
Překladač pro víceprocesorové systémy
Barteček, Jakub ; Přikryl, Zdeněk (oponent) ; Masařík, Karel (vedoucí práce)
Tato bakalářská práce se zabývá podporou paralelního vykonávání programů na platformě EdkDSP. Nejdůležitější části práce tvoří analýza cílové platformy a návrh překladače. Návrh je zaměřen na překlad OpenMP pragmat do vícevláknového kódu a transformování specifických typů cyklů. Překladač byl implementován pomocí frameworku ROSE compiler a následně otestován.
|
|
|
Specializovaný interpret jazyka JavaScript
Borůvka, Jan ; Rychnovský, Lukáš (oponent) ; Peringer, Petr (vedoucí práce)
Cílem diplomové práce je navrhnout a implementovat interpret jazyka JavaScript, který je vytvářen pro potřebu obcházení zatemňovacích obálek některých druhů počítačových virů. Součástí práce je podrobný rozbor vnitřních mechanismů, pomocí kterých je v ECMAScript standardu přesně definováno chování jazyka.
|
|
|
Plánovač instrukcí překladače jazyka C pro VLIW architekturu
Mináč, Tomáš ; Trmač, Miloslav (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato práce pojednává o architektuře procesorů typu VLIW a části překladače určené pro plánování instrukcí. Dále popisuje kompilační platformu LLVM - zejména části důležité pro vytvoření plánovacího průchodu pro VLIW architekturu. Vytvoření nového plánovacího průchodu je cílem této práce. Jsou zde zhodnoceny výsledky testování tohoto průchodu, jež bylo provedeno na architektuře VEX.
|
host ::
RSS.