Now showing items 1-15 of 15

  • 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 ...
  • 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é ...
  • 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, ...
  • 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 ...
  • 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 ...
  • Zrychlení vykonávání softwaru pomocí automatických instrukčních rozšíření 

    Melo, Stanislav
    Jednou z důležitých vlastností aplikačně specifických procesorů je jejich výkon. Aby byl co největší, musí se procesor přizpůsobit potřebám aplikace, kterou bude vykonávat. Jedním ze způsobů přizpůsobení se je hledání ...