Browsing by Author "Dolíhal, Luděk"
Now showing items 1-20 of 21
-
Detekce a zotavení se z chyb při syntaktické analýze
Sák, VladimírPrá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, MichalPrá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, JanTato 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ěkHlavní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, MarekCí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, RomanBakalář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řejPrá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á, MichaelaTato 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ěkTato 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, RobertCí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, PavolTato 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řejTato 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ěkp, 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, MilanTato 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ěkVestavě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, JakubTato 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, HynekArchitektury 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ý, JanCí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 ...