|
|
Kombinovaná syntaktická analýza založená na několika metodách
Dolíhal, Luděk ; Masopust, Tomáš (oponent) ; Meduna, Alexandr (vedoucí práce)
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ě jsou to části dvě. V práci bych se chtěl zaměřit především na konstrukci jednotlivých částí překladače, dále na jejich vzájemnou komunikaci a spolupráci. Taktéž se pokusím obhájit, zda je vůbec potřebné a vhodné takový typ parseru vytvářet. V neposlední řadě pak bude analyzován jazyk jehož syntaktický analyzátor bude implementován zvolenou metodou.
|
|
|
Detekce a zotavení se z chyb při syntaktické analýze
Sák, Vladimír ; Dolíhal, Luděk (oponent) ; Zámečníková, Eva (vedoucí práce)
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 metody detekce a zotavení se z chyb. Bylo implementováno i užívatelské rozhraní s využitím multiplatformní knihovny Qt, umožňující jednoduché ovládání programu. Ve výsledku, aplikace vypisuje všechny informace o chybách během analýzy zdrojového kódu.
|
|
|
Využití OLAPu v elektronickém obchodě
Lysý, Jan ; Dolíhal, Luděk (oponent) ; Jirák, Ota (vedoucí práce)
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 Enterprise, je podle schématu realizována databáze. Data z OLAP systému jsou dostupná formou grafů nebo tabulek přes administrátorské rozhraní internetového obchodu, implementovaném v ASP.NET.
|
|
|
Modifikace syntaktické analýzy
Macek, Roman ; Jirák, Ota (oponent) ; Dolíhal, Luděk (vedoucí práce)
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é gramatiky. V práci je navržen jazyk a jeho gramatika, na jejímž základě je provedena implementace demonstrační aplikace. Program provede lexikální a syntaktickou analýzu daného zdrojového kódu a výstupem je několik seznamů pravidel, pomocí kterých lze rozložit daný vstup.
|
|
|
Skriptovatelný bojový systém pro tahovou počítačovou hru
Kanich, Ondřej ; Dolíhal, Luděk (oponent) ; Husár, Adam (vedoucí práce)
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 platforma pro zabudování této práce je zvolen projekt DrdSim. Jako předloha pro vytvářený systém je využít rozšířený soubojový systém Dračího doupěte. Umělá inteligence je implementována pomocí speciálního jazyka platformy DSL. Využívá přístup reaktivních agentů.
|
|
|
Překladač pro platformu EdkDSP
Baručák, Robert ; Dolíhal, Luděk (oponent) ; Masařík, Karel (vedoucí práce)
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 překladačové infrastruktuře LLVM. Výsledkem jsou dvě funkční verze překladového systému, které generují kód využívající všechny hardwarové prostředky poskytované cílovou platformou. Vytvořená řešení mají sadu omezení, která jsou diskutována v textu práce.
|
|
|
Zrychlení vykonávání softwaru pomocí automatických instrukčních rozšíření
Melo, Stanislav ; Dolíhal, Luděk (oponent) ; Masařík, Karel (vedoucí práce)
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í vhodných instrukcí, které se následně spojí do jedné speciální instrukce. Daná instrukce je pak implementována v hardwaru jako jeden funkční blok, takže se vykoná rychleji. Tahle práce popisuje problém nalezení a vybrání vhodných kandidátů na instrukční rozšíření. Také poskytuje stručný přehled pár nejznámějších algo- ritmů na řešení tohohle problému. Dále se práce detailněji zabývá algoritmem single-cut a jeho implementací.
|
|
|
Syntaktická analýza založená na řadě metod
Dolíhal, Luděk ; Goldefus, Filip (oponent) ; Meduna, Alexandr (vedoucí práce)
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č je zvláštní v tom, že jeho syntaktická část sestává ze svou vzájemně spolupracujících částí. V~práci bych se chtěl zaměřit především na konstrukci jednotlivých částí překladače, dále na jejich vzájemnou komunikaci a spolupráci. Bude také nastíněno teoretické pozadí takovéhoto řešení a to pomocí gramatických systémů. Taktéž se pokusím obhájit, zda je vůbec potřebné a vhodné takový typ parseru vytvářet. V~neposlední řadě pak bude analyzován jazyk, jehož syntaktický analyzátor bude implementován zvolenou metodou.
|
|
|
Rekonfigurovatelný ladicí nástroj na úrovni zdrojového kódu
Korvas, Pavol ; Dolíhal, Luděk (oponent) ; Křoustek, Jakub (vedoucí práce)
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 Lissom. Práce taktéž obsahuje popis implementace jednotlivých navržených částí ladicího nástroje. V závěru práce se nachází testování implementovaného řešení na dvou typech architektur a taktéž shrnutí výsledků této práce.
|
|
|
Detekce kompletnosti instrukční sady pro generování univerzálního překladače jazyka C
Nagy, Michal ; Dolíhal, Luděk (oponent) ; Hruška, Tomáš (vedoucí práce)
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 programovacím jazyce. Na základech teorie regulárních stromových gramatik a několika vědeckých prací, které se touto problematikou též zabývají, je navržen a implementován formální prostředek pro ověření inkluze dvou gramatik. Dále je navržen způsob automatické extrakce obou gramatik z popisu instrukční sady, v důsledku čehož je tento prostředek možné použít pro ověření kompletnosti výběru instrukcí. V kombinaci s ověřením kompletnosti tzv. procesu legalizace překladače LLVM, který výběr instrukcí předchází, by mělo být proveditelné ověření kompletnosti většiny části překladače závislých na popisu cílové architektury.
|
host ::
RSS.