Now showing items 1-20 of 46

  • Analýza a převod kódů do vyššího programovacího jazyka 

    Křoustek, Jakub
    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 ...
  • Aplikace hlubokých zásobníkových automatů v kompilátorech 

    Viktorin, Jiří
    V této práci se zaměřím na aplikaci hlubokých zásobníkových automatů v překladačích, jejich zakomponování do syntaktického analyzátoru a možnost dalšího využití. Díky těmto automatům můžeme provést expanzi v různých hloubkách ...
  • C Language Compiler Back-End for PicoBlaze-6 

    Bříza, Martin
    Tato práce řeší konstrukci zadní části kompilátoru jazyka C pro soft-core procesor PicoBlaze-6 od firmy Xilinx. K řešení tohoto problému bylo zvoleno užití projektu Small Device C Compiler coby přední části překladače. ...
  • Generická obfuskace na úrovni bajtkódu 

    Kollát, Samuel
    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. ...
  • Generování kódu optimalizovaných matematických operací 

    Beneš, Vojtěch
    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á ...
  • Generování kódu z modelů Petriho sítí 

    Fryč, Tomáš
    Tato práce se zabývá modelováním systémů pomocí Objektově orientovaných Petriho sítí (OOPN) a navržením mechanismu, který tento formalismus transformuje do programovacího jazyka Java. V první části práce je popis Petriho ...
  • Generování kódu z Objektově orientovaných Petriho sítí 

    Hanák, Martin
    Tato diplomová práce se zabývá generováním zdrojových kódů z jazyka PNtalk do standardních objektově orientovaných jazyků, např. C++ nebo Java. Rozebírá možnosti zjednodušeného modelování formalismu Objektově orientovaných ...
  • Indexace rozsáhlých textových dat a vyhledávání v zaindexovaných datech 

    Kozák, David
    Tématem této práce je sémantické vyhledávání ve velkých textových datech. Cílem je navrhnout a implementovat vyhledávač, který se bude efektivně dotazovat nad sémanticky obohacenými dokumenty a prezentovat výsledky uživatelsky ...
  • Informace o architektuře pro optimalizace v překladači LLVM 

    Svoboda, Jan
    Tato práce se zabývá automatickou extrakcí informací o architektuře procesoru z jazyka CodAL. Získané informace jsou využity jako základ pro cenový model optimalizátoru překladače LLVM. V rámci práce vznikl nový systém, ...
  • Inteligentní editor pro jazyk AHLL 

    Kučera, Tomáš
    Predmetom tejto bakalárskej práce je návrh a implementácia inteligentného editoru pre agentný jazyk AHLL. Čitateľ je najprv oboznámený s konceptom agentných systémov a platformou WSageNt. Nasleduje analýza a porovnanie ...
  • Jazyk vyšší úrovně abstrakce pro programování mobilních inteligentních agentů 

    Kalmár, Róbert
    Cílem této práce je návrh jazyka vyšší urovně abstrakce pro programování mobilních inteligentních agentů a implementace překladače pro tento jazyk. Bude představen nástroj ANTLR pro generování syntaktických a lexikálnych ...
  • Kompilátor jazyka C pro VLIW architektury 

    Mináč, Tomáš
    Tato práce pojednává o jazyce CodAl a Codasip frameworku. Dále popisuje kompilační platformu LLVM, jazyk LLVM IR a optimalizace nad tímto jazykem. Vytvoření návrhu a implementace rozšíření kompilační platformy LLVM o ...
  • Lexikální analyzátor pro víceprocesorové počítače 

    Otáhal, Jiří
    Cílem práce je vymyslet metodu, která urychlí analýzu zdrojových textů na víceprocesorových počítačích. Pro tento účel aplikace využívá spuštění více procesů pod systémem UNIX. Každý takto vytvořený proces analyzuje předem ...
  • Methodology of Construction Compiler Front-End and Its Integration into the GNU Compiler Collection 

    Machata, Petr
    Tato diplomová práce vznikla za podpory ANF DATA s.r.o., Brno. Diplomová práce je vypracována v angličtině. Vstupní bariéra pro vývoj uvnitř GCC se během posledních let znatelně snížila. Na konferencích, v časopisech a na ...
  • Mnohaúrovňové automaty a jejich aplikace 

    Pšenák, Kamil
    V tejto práci rozšírime zastarané prístupy v teoretickej informatike. Ukážeme si, že je možný paralelizmus v konečných automatoch zavedením viacúrovňového konceptu. Priblížime si proces kompilácie a stavbu kompilátoru, aby ...
  • Modelování dynamiky části tiskařského stroje 

    Junek, Jiří
    Tato diplomová práce se zabývá modelováním dynamiky tiskařského stroje firmy SOMA Engineering v toolboxu SimScape simulačního programu Matlab/Simulink. Jsou zde popsány vlastnosti, postup, důležité principy a zákonitosti ...
  • Modifikace syntaktické analýzy 

    Macek, Roman
    Bakalářská práce se zabývá modifikací metody syntaktické analýzy zvané rekurzivní sestup. Práce se zaměřuje především na zvýšení síly této metody. Je navrženo vylepšení metody, aby byla schopna analyzovat i nejednoznačné ...
  • Optimalizace agentního kódu 

    Hemala, Luboš
    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 ...
  • Optimalizace překladu agentních jazyků různé úrovně abstrakce 

    Kalmár, Róbert
    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á ...
  • Optimalizace v překladači C pro VLIW architektury 

    Baručák, Robert
    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 ...