|
|
Script pro zpracování obrazu
Zuzaňák, Jiří ; Herout, Adam (oponent) ; Zemčík, Pavel (vedoucí práce)
Tato práce pojednává o návrhu skriptovacího jazyka, určeného pro efektivní zpracování obrazu. Úvod této práce se zabývá studiem a osvojením si metod návrhu překladačů a interpretů, včetně jejich následné aplikace při návrhu skriptovacího jazyka a jeho interpretu. Práce dále popisuje metody návrhu a implementace interpretu, včetně automatizovaných metod využitých při návrhu implementovaného programu. Další část práce se zabývá popisem struktury a implementace navrženého programu, určeného pro generování překladače libovolného jazyka, popsaného jako vstup tohoto programu. Konec práce podrobněji popisuje navržený skriptovací jazyk, jehož implementace je založena na výše popsaných metodách.
|
|
|
Methodology of Construction Compiler Front-End and Its Integration into the GNU Compiler Collection
Machata, Petr ; Masopust, Tomáš (oponent) ; Eysselt, Miloš (vedoucí práce)
This MSc Thesis was performed in English with the support of the ANF DATA s.r.o., Brno. The entry barrier to the development for GCC got considerably lower during the last years. Articles with various architectural overviews and how-to documents pop up in magazines, websites, and on conferences. With official intermediate language, GENERIC, used for communication between front end and the rest of the compiler, things are yet easier: It is no more necessary to bear the tedium of RTL when one writes new front end. Yet, there is a complexity inherent in handling a source base the size of GCC. There are files to be written, peculiar options to be set up, and these all with relatively thin documentation. This work is written to help with this last point. An example front end is described, with everything from the source base setup, through various GENERIC constructs, up to compilation of runtime library, or using GCC native preprocessor.
|
|
| |
|
|
Analýza a převod kódů do vyššího programovacího jazyka
Křoustek, Jakub ; Masařík, Karel (oponent) ; Meduna, Alexandr (vedoucí práce)
Práce popisuje metody a postupy používané k analýze a transformaci kódů. Obsahuje základní informace o vědním oboru reverzní inženýrství a jeho užití ve výpočetní technice i mimo ni. Hlavním cílem je vytvoření obecného zpětného překladače neboli dekompilátoru, tj. prostředku pro zpětný překlad z binární formy (případně jazyka symbolických instrukcí) do vyššího programovacího jazyka. Zmíněná činnost je silně závislá na konkrétní instrukční sadě a architektuře procesoru. Tento problém je řešen pomocí popisu sémantiky jednotlivých instrukcí jazykem navrženým pro tento účel. Výstupem je program napsaný ve vyšším programovacím jazyku, funkčně ekvivalentní vstupu. Program je tedy schopen pracovat s jakoukoliv instrukční sadou a kód v ní napsaný pak převést do zvoleného vyššího programovacího jazyku. Tento návrh je v praxi implementován jako součást projektu Lissom. Obecný dekompilátor je zcela nový pojem a pro jeho vytvoření byly autorem navrženy doposud nepublikované techniky z oblastí teorie překladačů a optimalizací.
|
|
|
Systémy kombinující automaty a gramatiky
Petřík, Patrik ; Křivka, Zbyněk (oponent) ; Meduna, Alexandr (vedoucí práce)
V této práci jsou definovány a studovány systémy kombinující gramatiky a automaty. Jsou zkoumány jejich vlastnosti s ohledem na již známé gramatické či automatové systémy a to především pro komponenty síly regulárních jazyků a komponenty síly bezkontextových jazyků. V rámci práce je vytvořen i skript simulující jeden ze studovaných systémů po praktické stránce.
|
|
|
TSQL2 interpret nad relační databází
Tomek, Jiří ; Chmelař, Petr (oponent) ; Rychlý, Marek (vedoucí práce)
Tato práce se zabývá návrhem a implementací interpretu jazyka TSQL2 pro překlad do SQL. Stručně seznamuje čtenáře s pojmem temporální databáze a přestavuje jazyk TSQL2. Jsou zde také popsány existující implementace temporálních databází a je zhodnocena jejich praktická použitelnost pro správu temporálních dat. Hlavní částí práce je potom popis návrhu a implementace překladače jazyka TSQL2. Výsledkem práce je funkční interpret jazyka TSQL2 implementovaný v jazyce Java jako nadstavba nad ovladač JDBC.
|
|
|
Metody detekce funkcí při zpětném překladu kódu
Kábele, Břetislav ; Ďurfina, Lukáš (oponent) ; Křoustek, Jakub (vedoucí práce)
Práce popisuje metody detekce funkcí při zpětném překladu programů. Obsahuje základní informace o vědním oboru reverzní inženýrství a jeho užití ve výpočetní technice i mimo ni. Představen je zpětný překladač, vyvinutý výzkumnou skupinou Lissom na FIT VUT v Brně. Hlavním cílem je objasnění několika metod detekce funkcí, diskutování jejich výhod a nevýhod a zjištění problémů detekce funkcí. Po detekování začátku, konce a těla funkce je potřebné nalézt parametry a návratové hodnoty. Jsou představeny některé algoritmy z této oblasti. Výstupem jsou navržená a implementovaná řešení detekce funkcí a parametrů nezávislá na architektuře.
|
|
|
Optimalizace překladu agentních jazyků různé úrovně abstrakce
Kalmár, Róbert ; Kočí, Radek (oponent) ; Zbořil, František (vedoucí práce)
Cílem této práce je optimalizace překladu agentního jazyka AHLL. Jsou představeny různé používané interní formy reprezentace kódu pro překladač jako i optimalizace kódu v těchto reprezentacích. Hlavní část práce je zaměřená implementaci zvolených optimalizací a způsobu generování cílového kódu v jazyce ALLL. Dále se čtenář dozví o přínosu zvolených optimalizací taktéž o dalších možnostech při vývoji jazyka AHLL a jeho optimalizace.
|
|
|
Překladač jazyka C# do jazyka Nvidia CUDA
Zajíc, Jiří ; Kačic, Matej (oponent) ; Jurnečka, Peter (vedoucí práce)
Tato diplomová práce je zaměřena na akceleraci výpočtů na grafické kartě NVidia pomocí technologie CUDA s implementací na platformě .NET. Problém je řešen jako překladač jazyka C# do jazyka NVidia CUDA s využitím výrazových schopností jazyka C#, jenž přináší větší míru abstrakce při zachování stejné sémantiky akcí. Aplikace je implementována v jazyce C# s využitím open-source knihovny NRefactory.
|
|
|
Optimalizace v překladači C pro VLIW architektury
Baručák, Robert ; Přikryl, Zdeněk (oponent) ; Masařík, Karel (vedoucí práce)
Prezentován je implementovaný algoritmus alias analýzy, který byl následně integrován s frameworkem LLVM. Diskutovány jsou vlastnosti a limity různých algoritmů. Dále jsou demonstrovány rozličné přístupy k práci s predikovanými instrukcemi a jejich integrace s LLVM. Jedním z výsledků diplomové práce je i návrh a implementace profilem řízené if-konverze.
|
host ::
RSS.