Now showing items 1-20 of 21

  • Detekce a zotavení se z chyb při syntaktické analýze 

    Sák, Vladimír
    Práce se zaobírá detekcí a zotavením se z chyb při syntaktické analýze. Hlavním cílem práce bylo navrhnutí a implementace metody pro detekci chyb a pro zotavení se z těchto chyb. Vytvořená metoda vychází z Hartmannovy ...
  • Detekce kompletnosti instrukční sady pro generování univerzálního překladače jazyka C 

    Nagy, Michal
    Práce se zabývá problematikou detekce kompletnosti popisu instrukční sady mikroprocesoru pro překladač LLVM, neboli schopností překladače vygenerovat cílový program pro každý validní zdrojový program v příslušném vyšším ...
  • Editor jazyka CodAL v prostředí Eclipse 

    Hynek, Jiří
    Tato diplomová práce se zabývá tvorbou editoru jazyka CodAL pro vývojové prostředí projektu Lissom, které je založené na prostředí Eclipse. Cílem této práce je analyzovat problém tvorby editorů a rozebrat doplňky existujících ...
  • 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, ...
  • Kombinovaná syntaktická analýza založená na několika metodách 

    Dolíhal, Luděk
    Hlavním cílem této práce je analýza tvorby komponentního syntaktického analyzátoru. Komponentním syntaktickým analyzátorem se zde myslí analyzátor, který je složen z několika vzájemně spolupracujících částí. V mém případě ...
  • Model procesoru NIOS II 

    Masařík, Marek
    Cílem této bakalářské práce bylo vytvoření návrhu modelu procesoru Nios II v jazyce pro popis architektur procesoru zvaném CodAL. Návrh procesoru probíhal na dvou úrovních abstrakce. První úroveň se skládala z popisu ...
  • Model procesoru RISC-V 

    Barták, Jiří
    V rámci snahy o minimalizaci spotřeby a plochy na čipu dochází k vývoji procesorů s aplikačně specifickou instrukční sadou. Dochází tak k vytváření nových instrukčních sad, které však často bývají tajné. Proti tomuto trendu ...
  • 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é ...
  • Nástroj pro grafické prototypování vestavěných systémů 

    Ilčík, Ondřej
    Práce se věnuje problematice grafického modelování vestavěných systémů pomocí dialektů jazyka UML a předkládá stručný souhrn existujících profilů. Dále se věnuje nástrojům pro podporu modelování na platformě Eclipse. V ...
  • Paralelizace sestavení v prostředí Jenkins 

    Lukášová, Michaela
    Tato práce se zabývá paralelním sestavením balíku vývojového prostředí Codasip Studio. Zaměřuje se na možnosti paralelizace v prostředí Jenkins. Implementované řešení se soustřeďuje zejména na urychlení aktuálního procesu ...
  • Posouzení finanční výkonnosti firmy D.S. Leasing, a. s. pomocí analýzy časových řad 

    Dolíhal, Luděk
    Tato bakalářská práce analyzuje výkonnost firmy D.S. Leasing pomocí časových řad. Práce je rozdělena na dvě části. V teoretické části budou diskutovány časové řady a vybrané ukazatele finanční analýzy. Praktická část bude ...
  • Překladač pro platformu EdkDSP 

    Baručák, Robert
    Cílem bakalářské práce bylo vytvoření překladového systému pro platformu EdkDSP. Prezentovány jsou dva odlišné přístupy ke konstrukci překladového systému určeného pro multiprocesorovou platformu. Práce je založená na ...
  • Rekonfigurovatelný ladicí nástroj na úrovni zdrojového kódu 

    Korvas, Pavol
    Tato diplomová práce se zabývá seznámením se s problematikou ladění a principu ladicích nástrojů. Dále práce podrobně zkoumá formát ladicích informací a popisuje návrh ladicího nástroje vytvořeného pro potřeby projektu ...
  • Skriptovatelný bojový systém pro tahovou počítačovou hru 

    Kanich, Ondřej
    Tato bakalářská práce se zabývá vytvořením soubojového systému a umělé inteligence pro něj. Cílem tohoto projektu je dát nepříliš zkušeným programátorů možnost navrhnout i implementovat vlastní umělou inteligenci. Jako ...
  • Syntaktická analýza založená na řadě metod 

    Dolíhal, Luděk
    p, li { white-space: pre-wrap; } Hlavním cílem této práce je analýza tvorby komponentního překladače. Komponentním překladačem se zde myslí systém, který je složen z~několika vzájemně spolupracujících částí. Můj překladač ...
  • Systém pro správu virtuálních strojů 

    Skála, Milan
    Tato práce se zabývá vytvořením návrhu a implementací aplikace pro vzdálenou správu virtuálních strojů, která bude umožňovat tuto správu automatizovat. Jsou zde popsány důvody zavádění virtualizace ve firmách a korporacích, ...
  • Testování generovaných překladačů jazyka c pro procesory ve vestavěných systémech 

    Dolíhal, Luděk
    Vestavěné systémy se staly nepostradatelnými pro náš každodenní život. Jsou to obvykle úzce zaměřená, vysoce optimalizovaná, jednoúčelová zařízení. Jádro vestavěných zařízení obvykle tvoří jeden nebo více aplikačně ...
  • Verifikace ASIP založena na formálních tvrzeních 

    Šulek, Jakub
    Tato práce představuje koncept pro ověřování správnosti procesorů s aplikačně-specifickou instrukční sadou (ASIP) pomocí verifi kace založené na formálních tvrzeních. Koncept je implementován v jazyku SystemVerilog Assertions ...
  • Vytvoření modelu procesoru PowerPC 

    Blaha, Hynek
    Architektury procesorů jsou čím dál více složitější, proto je kladen velký důraz na automatizaci jejich návrhů. Tato bakalářská práce popisuje návrh procesoru PowerPC v jazyce pro popis architektur Codal. Funkčnost a ...
  • Využití OLAPu v elektronickém obchodě 

    Lysý, Jan
    Cílem práce je navrhnout elektronický obchod, ve kterém bude využita OLAP databáze. Pro tuto databázi bylo navrţeno multidimenzionální schéma. S využitím nástroje Business Intelligence, který je součástí SQL Server 2008 ...