Národní úložiště šedé literatury Nalezeno 159 záznamů.  začátekpředchozí86 - 95dalšíkonec  přejít na záznam: Hledání trvalo 0.00 vteřin. 
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)
Elektronický hospodář
Pavlovský, Jiří ; Bednárek, David (vedoucí práce) ; Daniel, Jakub (oponent)
Hlavním cílem této práce byla implementace systému, který pomůže hospodářům kateder a správcům grantů správu přiděleného rozpočtu. Systém umožní vést správu jednak uskutečněných výdajů, jednak výdajů plánovaných. Nabídne rovněž vedení jednotlivých zdrojů a rozvržení výdajů v účetním období. Systém bude spolupracovat s oficiálním děkanátním účetnictvím prostřednictvím zpracování z něj exportovaných dat. Powered by TCPDF (www.tcpdf.org)
Capturing Performance Assumptions using Stochastic Performance Logic
Trojánek, Tomáš ; Tůma, Petr (vedoucí práce) ; Bednárek, David (oponent)
U softwarových projektů se výkonnostní testování používá k objektivnímu zhod- nocení rychlosti daného díla. V ideálním případě je k projektu přidružena sada testů, která může být opakovaně spouštěna za účelem ověření, zda jsou vešk- eré výkonnostní nároky stále dodrženy. V dnešní době nejrozšířenější způsob, jak tyto testy provádět, staví na absolutních hodnotách naměřeného času. Test spustí vybranou jednotku aplikace a následně porovná dobu jejího běhu s pře- dem stanovenou časovou hranicí. Tento přístup má však nevýhody, které značně nabourávají spolehlivost takovýchto testů. Není totiž zřejmé, jak určit ony časové hranice, které rozhodují o úspěchu nebo selhání. A pakliže jsou tyto hranice určeny, jsou závislé na konkrétní hardwarové konfiguraci. Tato práce se proto jako řešení zmiňovaných problémů pokouší ukázat odlišný způsob, který je založený na relativním porovnávání výkonu. Za pomoci logiky, která staví na práci pub- likované zadávající katedrou, se vybrané jednotky aplikace porovnávají navzájem a výsledky testů se tak stávají odolnější vůči změnám prostředí. Zavedená teorie je v práci také implementována a ověřena na vybraných ukázkových případech. 1

Národní úložiště šedé literatury : Nalezeno 159 záznamů.   začátekpředchozí86 - 95dalšíkonec  přejít na záznam:
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.