|
|
Nízkoúrovňový funkcionální programovací jazyk
Kratochvíl, Miroslav ; Bednárek, David (vedoucí práce) ; Hric, Jan (oponent)
Cílem práce je prozkoumat možnosti implementace kompilátoru nízkoúrovňového funkcionálního jazyka. Předpokládá se zhodnocení teoretických vlastností funkcionálních jazyků, možných omezení vyplývajících z absence běhové podpory kódu a implementace kompilátoru jazyka, který demonstruje některé vybrané vlastnosti. Powered by TCPDF (www.tcpdf.org)
|
|
|
Vyhodnocování relačních dotazů v proudově orientovaném prostředí
Kikta, Marcel ; Bednárek, David (vedoucí práce) ; Černý, Tomáš (oponent)
Tato práce se zabývá návrhem a implementací překladače pro optimalizaci a transformaci dotazů relačních databází. Práce nejprve rozebere teorii překladačů databazových dotazů. Dále představujeme algoritmy a datové struktury použité při implementaci nástroje pro překlad dotazů. V závěrečné části práce diskutujeme důležité implementační detaily tohoto nástroje. Specifikujeme podmnožinu relační algebry, kterou použijeme jako vstup pro nástroj. Vstupem je dotaz napsaný v XML souboru ve formě relační algebry. Překladač dotaz optimalizuje a transformuje do fyzického plánu, který je vykonán pomocí paralelního prostředí Bobox. Výstupem překladače jsou fyzické plány v jazyce Bobolang, které následně slouží jako vstup pro Bobox. Powered by TCPDF (www.tcpdf.org)
|
|
|
Implementation of the DEECo component framework for embedded systems
Matěna, Vladimír ; Bureš, Tomáš (vedoucí práce) ; Bednárek, David (oponent)
Současný vývoj distribuovaných a decentralizovaných cyber-fyzikálních systémů vedl ke vzniku modelu DEECo. Protože mnohá použití DEECo jsou vestavěné aplikace je zajímavé zvážit jeho použití DEECo na vestavěném hardware. V současné době existuje jen referenční implementace, která je napsaná v Javě a proto nemůže být použita pro vestavěné systémy. Jako součást této práce bylo navrženo mapování DEECo do C++ a zabudovaný framework CDEECo++ používající FreeRTOS pro plánování a synchronizaci. Ukázková aplikace, navržená pro STM32F4, demonstruje použitelnost frameworku. Tato práce obsahuje popis mapování DEECo do jazyka C++, zdrojové kódy frameworku CDEECo++, dokumentaci a ukázkovou aplikaci včetně základních měření jejích real-time vlastností. Powered by TCPDF (www.tcpdf.org)
|
|
|
Static analysis of C# programs
Malý, Petr ; Bednárek, David (vedoucí práce) ; Parízek, Pavel (oponent)
Cílem této diplomové práce je prozkoumat a aplikovat jednotlivé metody statické analýzy C# programů přeložených do Common Intermediate Language. Výsledky této práce jsou zakomponovány do systému ParallaX Development Envrionment. Tato diplomová práce se zaměřuje na Structural, Points-to a Dependence Analysis. Powered by TCPDF (www.tcpdf.org)
|
|
|
Framework pro extrakci informací z velkého množství jazykových dat
Kuboň, David ; Križ, Vincent (vedoucí práce) ; Bednárek, David (oponent)
Tato práce popisuje program FAFEFI sloužící k extrakci n-gramů a skip-gramů z velkého množství jazykových dat. Řeší možnosti předání vstupních dat programu, návrh datových struktur pro reprezentaci n-gramů a skip-gramů v paměti, algoritmus jejich extrakce, paměťově úsporné varianty uložení extrahovaných dat a jejich finální zpracování do výstupních vektorů příznaků. Představuje i řadu rozšiřujících funkcí programu, jako jsou například řádkový filtr vstupních dat a modifikátor obsahu řádků, a široké spektrum konfigurovatelných parametrů - oddělovači v souborech počínaje a názvy výstupních souborů konče. Mimoto poskytuje variabilitu prováděných činností v podobě meziukládání trénovací sady dat a prezentuje nástroje pro paralelizaci výpočtu na clusteru. Powered by TCPDF (www.tcpdf.org)
|
|
|
Analysis of a File System Using the Verifying C Compiler
Škorvaga, David ; Kofroň, Jan (vedoucí práce) ; Bednárek, David (oponent)
Název práce: Analýza souborového systému pomocí Verifying C Compiler Autor: Bc. David Škorvaga Katedra: Katedra distribuovaných a spolehlivých systémů Vedoucí diplomové práce: RNDr. Jan Kofroň, Ph.D. Abstrakt: Formální verifikace je jeden ze způsobů, jak zlepšit spolehlivost soft- warových systémů. Jeden z přístupů formální verifikace se zaměřuje na dokazo- vaní správnosti anotovaného zdrojového kódu v široce používaném programovacím jazyce. Verifier C Compiler (VCC) je verifikátor pro concurrent C, který přijímá anotovaný kód v jazyce C a automaticky ověřuje jeho správnost s ohledem na tuto anotaci. Už se objevily úspěšné pokusy o ověření některých kritických systémů, včetně jádra operačního systému. Další důležitou součástí operačního systému je jeho systém souborů. V diplomové práci jsme si vybrali souborový systém FatFs, odlehčenou implementaci souborového systému FAT, nezávislou na zařízení. V této práci vytvoříme specifikaci jeho části pomocí anotace VCC a úspěšně ověříme jeho korektnost. Klíčová slova: Formal Verification, File System, VCC
|
|
|
Optimizing scriptable generator of terrain maps
Zábský, Matěj ; Bednárek, David (vedoucí práce) ; Kahoun, Martin (oponent)
Cílem této práce je vytvoření procedurálního generátoru krajiny programovatelného pomocí turingovsky úplného skriptovacího jazyka. Tento generator musí umožňovat generování libovolné obdelníkové části mapy popsané libovolným skriptem. V prácí je vysvětleno proč toto znemožňuje využítí tradičního interpretu skriptovacího jazyka a navrhuje nový dvoufázový model interpretu, který dělí spuštění skriptu na dva kroky - v prvním je vykonán kód skriptu a až ve druhém jsou vyrenderovány samotné mapy. Powered by TCPDF (www.tcpdf.org)
|
|
|
An IDE for C# Script Development
Pelc, Jan ; Ježek, Pavel (vedoucí práce) ; Bednárek, David (oponent)
Tato práce se zabývá nástroji umožňujícími použití jazyka C# k tvorbě skriptů - krátkých programů určených pro rychlé vyřešení malých, typicky jednorázových úloh, které obvykle vyvstávají při práci na větších projektech. V práci zanalyzujeme existující nástroje, určíme jejich výhody a nevýhody, zformulujeme požadavky na náš vlastní nástroj a tento nástroj vytvoříme. Výsledkem práce je malé vývojové prostředí (IDE) pro rychlé a snadné psaní skriptů v jazyce C#. Prostředí nabízí dostatek funkcí pro snadnou tvorbu a ladění programů sestávajících se převážně z jediného zdrojového souboru v jazyce C#. V práci intenzivně využíváme knihovnu NRefactory pro syntaktickou a sémantickou analýzu zdrojového kódu v jazyce C#. Powered by TCPDF (www.tcpdf.org)
|
|
|
Implementace a evaluace protokolu CBOR
Kalvoda, Pavel ; Bednárek, David (vedoucí práce) ; Kofroň, Jan (oponent)
CBOR (RFC 7049) je nový protokol pro binární serializaci dat. Nevyžaduje definici schémat a je podobný JSON či BSON. Přichází s několika novými koncepty, především explicitní podporou proudového zpracování a rozšiřitelnou sémantikou. Tato práce předkládá robustní generickou implementaci pro C odpovídající standardu a její rozhraní pro jazyk Ruby. Implementace i sám protokol jsou kriticky analyzovány na teoretickém i experimentálním základu. Z měření plyne, že implementace výkonem překoná relevantní alternativy, přestože zachovává bohaté rozhraní. CBOR nabízí srovnatelnou nebo lepší efektivitu a funkcionalitu vzhledem k alternativám; systémy s omezenými zdroji i ty s vysokou propustností by z něho mohly benefitovat. Některé jeho aspekty se ovšem ukázaly být nepraktické či zbytečně složité, proto jsou předloženy korekční návrhy. Je popsáno a zhodnoceno i několik dalších možných přístupů k implementaci. Powered by TCPDF (www.tcpdf.org)
|
|
|
Genetické programování pro predikci finančních trhů
Krejčí, Tomáš ; Bednárek, David (vedoucí práce) ; Majerech, Vladan (oponent)
Cílem práce je otestovat vhodnost užití genetického programování pro predikci finančních trhů v závislosti na jejich předchozím vývoji. Obsahem práce je studium metod genetického programování použitých či použitelných v oblasti predikce trhů. Praktickou částí je implementace vybraných metod genetického programování a testování jejich úspěšnosti na základě dostupných historických dat z finančních trhů. Powered by TCPDF (www.tcpdf.org)
|
host ::
RSS.