|
|
Modular Multiple Liquidity Source Price Streams Aggregator
Rozsnyó, Tomáš ; Masařík, Karel (oponent) ; Kreslíková, Jitka (vedoucí práce)
This MSc Thesis was performed during a study stay at the Hochschule Furtwangen University, Furtwangen, Germany. This Master Project provides a theoretical background for understanding financial market principles. It focuses on foreign exchange market, where it gives a description of fundamentals and price analysis. Further, it covers principles of high-frequency trading including strategy, development and cost. FIX protocol is the financial market communication protocol and is discussed in detail. The core part of Master Project are sorting algorithms, these are covered on theoretical and practical level. Aggregator design includes implementation environment, specification and individual parts of aggregator application represented as objects. Implementation overview can be found in last Chapter.
|
|
|
Optimalizace v překladači C pro VLIW architektury
Baručák, Robert ; Přikryl, Zdeněk (oponent) ; Masařík, Karel (vedoucí práce)
Prezentován je implementovaný algoritmus alias analýzy, který byl následně integrován s frameworkem LLVM. Diskutovány jsou vlastnosti a limity různých algoritmů. Dále jsou demonstrovány rozličné přístupy k práci s predikovanými instrukcemi a jejich integrace s LLVM. Jedním z výsledků diplomové práce je i návrh a implementace profilem řízené if-konverze.
|
|
|
Efektivní správa paměti ve vícevláknových aplikacích
Vašíček, Libor ; Přikryl, Zdeněk (oponent) ; Masařík, Karel (vedoucí práce)
Tato práce popisuje návrh a implementaci efektivní správy paměti pro vícevláknové aplikace. Nejprve jsou popsány možnosti virtuální paměti, jež poskytují moderní operační systémy, mezi něž patří Microsoft Windows a Linux. Dále jsou vysvětleny nejpoužívanější algoritmy správy paměti. Jejich vlastnosti jsou následně vhodně použity při návrhu nového správce paměti. Výsledný návrh obsahuje určité nástroje pro ladění a měření výkonu aplikací. V závěru práce byla provedena série testů a zhodnocení dosažených výsledků.
|
|
|
Informační systém realitní kanceláře
Dudík, Michal ; Rychlý, Marek (oponent) ; Masařík, Karel (vedoucí práce)
Tato práce se zabývá analýzou požadavků na online redakční systém realitní kanceláře. Cílem práce je tento systém navrhnout a implementovat. Důraz je především kladen na možnost synchronizace dat s českými realitními servery. Na základě posouzení několika různých metod používaných pro výměnu dat jsou ilustrovány jejich výhody a nevýhody. Zjištěné skutečnosti budou použity pro návrh vlastní metody synchronizace mezi realitními systémy. Systém je vytvořen za použití technologií PHP 5 a MySQL, XML, XSLT, XHTML, CSS, JavaScript, XML-RPC.
|
|
|
Profilovací nástroj pro generické simulátory mikroprocesorů
Wilczák, Milan ; Přikryl, Zdeněk (oponent) ; Masařík, Karel (vedoucí práce)
Tato práce popisuje návrh a implementaci profilovacího nástroje pro nově vytvářené procesory. K popisu procesoru je použit specializovaný jazyk ISAC, který popisuje zdroje procesoru, instrukční sadu a chování procesoru. Výsledný profiler je rozšířením existujícího simulátoru a lze ho použít pro optimalizaci procesoru i jeho aplikací. Základem je generování událostí simulátorem a jejich následné zpracování do statistik.
|
|
| |
|
| |
|
|
Syntaktická analýza založená na párových automatech
Zámečníková, Eva ; Masařík, Karel (oponent) ; Lukáš, Roman (vedoucí práce)
Diplomová práce pojednává o syntaktické analýze založené na modelu párových automatů. Konečný párový automat obsahuje vstupní a výstupní automat. Vstupní automat provádí syntaktickou analýzu se vstupním řetězcem. Použitá pravidla vstupního automatu řídí výstupní automat, který generuje výstupní řetězec. V práci je popsán způsob determinizace vstupního automatu bez ztráty informací o pravidlech použitých v původním automatu. Determinizace je rozdělena na dvě části - pro převodníky specifikující konečný a nekonečný překlad. Dále je prezentován párový automat se zvýšenou výpočetní silou. Zvýšení síly spočívá v nahrazení vstupního či výstupního automatu nebo jen jeho části bezkontextovou gramatikou.
|
|
|
Nástroj pro grafické prototypování systémů na čipu
Netočný, Ondřej ; Křoustek, Jakub (oponent) ; Masařík, Karel (vedoucí práce)
Tato práce se věnuje návrhu a implementaci nástroje pro vývoj víceprocesorových systémů na čipu, seznámí čtenáře s touto problematikou a představí možnosti, jak lze problém řešit ve vývojovém prostředí Codasip Studio. Práce představuje jak samotný nástroj, kterým je grafický editor víceprocesorových systémů na čipu, tak sadu podpůrných prostředků pro rychlý a efektivní vývoj. Jedná se zejména o sadu interaktivních průvodců, kteří usnadní start nových projektů. Ke zvládnutí této problematiky je nutné porozumět jazyku pro popis architektury CodAL, vývojovému prostředí Eclipse a nástrojům GMF (Graphical Modeling Framework) a EMF (Eclipse Modeling Framework), s jejichž pomocí je grafický editor implementován.
|
|
|
Virtuální platformy pro simulaci instrukčních sad
Ministr, Martin ; Přikryl, Zdeněk (oponent) ; Masařík, Karel (vedoucí práce)
Tato práce se zabývá vytvořením generátorů kódu pro existující virtuální platformy QEMU a OVP. Práce se skládá ze studie technik, které používají ke své práci virtuální stroje. Hlavní částí práce je návrh procesu transformace vstupních instrukčních sad na kód, který používají tyto virtuální platformy. Výsledkem práce jsou funkční programy, které provádí generování kódu pro tyto virtuální platformy.
|
host ::
RSS.