|
|
Simulace architektury mikroprocesoru 8051
Šimon, Petr ; Křoustek, Jakub (oponent) ; Hruška, Tomáš (vedoucí práce)
V dnešní době je více jak 90% procesorů používáno ve vestavěných systémech. Návrh procesorů pro vestavěná zařízení se stává čím dál složitější, a proto je nutné tuto práci co nejvíce automatizovat. Tato bakalářská práce se věnuje návrhu mikrokontroléru 8051. Návrh je proveden podle dostupné dokumentace a k popisu procesoru je použit jazyk ISAC. Výsledný model je ověřen řadou simulací, které jsou na konci práce analyzovány.
|
|
| |
|
|
Nástroj pro návrh čipu v UML
Srna, Pavol ; Přikryl, Zdeněk (oponent) ; Hruška, Tomáš (vedoucí práce)
Táto práca sa zaoberá vytvorením nástroja pre návrh čipu v UML. Cieľom je predstaviť novinky v jazyku UML verzie 2.0, ktoré je možné použiť pre modelovanie vstavaných systémov. Následne rozoberá možnosti a spôsob modelovania v prostredí Eclipse a sústredí sa na Eclipse Modeling Framework. Práca vysvetľuje princíp vytvárania grafických editorov s využitím frameworku GMF, pretože ho vyvíjaný nástroj plne využíva. Nakoniec je diskutované zvolené riešenie.
|
|
|
Zobrazování datové kostky
Dittrich, Petr ; Kupčík, Jan (oponent) ; Hruška, Tomáš (vedoucí práce)
Tématem diplomové práce je návrh a implementace prototypu aplikace TOPZ demonstrující datové skladiště. Nejprve je v krátkosti rozebrána problematika datových skladišt a jsou navrženy možnosti vylepšení. Následuje specifikace požadavků a návrh koncepce demonstrační aplikace, na které budou vylepšení testována. V poslední kapitole je na rozebráno testování výkonnosti datového skladiště.
|
|
|
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.
|
|
|
Grafický podsystém v prostředí internetového prohlížeče
Vlach, Petr ; Novotný, Tomáš (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato diplomová práce se skládá ze dvou částí. První části se zabývá existujícími komerčními a nekomerčními systémy pro zobrazení OLAP dat pomocí kontingenčních tabulek a grafů a jejich srovnáním. Zjištěné poznatky o jednotlivých systémech jsou použity pro implementaci grafického subsystému pro prostředí internetových prohlížečů. Je kladen velký důraz na přívětivé uživatelské prostředí a jeho ovládání.
|
|
|
Vytvoření modelů procesorů pomocí ADL jazyka
Steinhauser, Dominik ; Hynek, Jiří (oponent) ; Hruška, Tomáš (vedoucí práce)
Cílem této bakalářské práce je vytvoření modelů dvou procesoru Tensilica Xtensa a Sparc Leon na instrukční úrovni. Modely byly implementovány v ADL jazyku CodAL. Vývoj simulace a testování probíhalo ve vývojovém prostředí Codasip Studiu. Aplikačně specifické procesory mohou být vyvíjeny od začátku, nebo je možné pouze upravit již navrhnutý procesor, aby lépe vyhovoval dané aplikaci. Mnou vytvořené modely budou přidány do portfolia firmy Codasip, které budou moci uživatelé Codasip Studia používat či upravovat. Výsledkem jsou otestované funkční modely těchto procesorů, pro které lze vygenerovat simulátor, assembler i překladač jazyka C. Modely byly porovnány pomocí několika Benchmark testů a výsledky porovnání byly vyhodnoceny.
|
|
|
Optimalizace procesorového jádra pro knihovnu OpenCV
Benna, Filip ; Hynek, Jiří (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato bakalářská práce se zabývá překladem knihovny OpenCV pro procesorové jádro Codix RISC a následnou optimalizací vybraných aplikací implementovaných s použitím této knihovny. Optimalizace je založena na rozšiřitelnosti procesorového jádra, proto je v této práci teoreticky popsáno a na příkladu vysvětleno přidání vektorových instrukcí do instrukční sady procesoru. Nakonec jsou uvedeny dosažené výsledky a jejich porovnání s neoptimalizovanou verzí aplikace.
|
|
|
Systém pro marketingové šíření agendy on-line prodeje
Drdla, Jiří ; Kreslíková, Jitka (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato práce se zabývá návrhem informačního systému pro podporu internetového prodeje. V úvodní kapitole definuje řešený problém, dále analyzuje konkurenční softwarové řešení a shrnuje jejich klady a zápory. Z těchto údajů jsou dále definovány požadavky na navrhovaný systém. Jednotlivé funkce jsou podrobně rozepsány a výsledkem je návrh a popis implementace informačního systému. V poslední kapitole jsou rozebrány možnosti dalšího rozšíření informačního systému.
|
|
|
Podvod a audit
Hruška, Tomáš ; Dvořáček, Jiří (vedoucí práce) ; Polák, Vladimír (oponent)
Cílem této diplomové práce je seznámit čtenáře s podvodným jednáním v organizacích a navrhnout možná opatření, která proti této nekalé činnosti, negativně působící jak na organizace samé, tak i na společnost jako celek, působí. Jedním z nich je audit, kterým se zabývá první kapitola. Je zde popsán vývoj auditu a jeho základní členění na externí, interní a, pro vyšetřování podvodů nejdůležitější, tzv. forenzní audit. Druhá kapitola se věnuje podvodu jako takovému. Popisuje jak vnější, tak zejména v praxi častější vnitřní podvodná jednání, která jsou členěna na korupci, zpronevěru majetku a manipulaci s účetními výkazy. Je popsána i stále aktuálnější kybernetická kriminalita a na podrobných statistikách podvodného jednání je sestaven profil typického pachatele. Ve třetí kapitole jsou podvodná jednání popsána na reálných případech z hospodářské praxe. Jsou zde popsány čtyři případy podvodných jednání, a to ve společnostech Enron, Toshiba, Target a tuzemská korupční aféra kolem exposlance Davida Ratha.
|
host ::
RSS.