| |
|
Univerzální nástroj pro dekompresi spustitelných souborů
Milkovič, Marek ; Hynek, Jiří (oponent) ; Matula, Peter (vedoucí práce)
Komprese spustitelných souborů je proces komprese dat a kódu za účelem zmenšení velikosti nebo ochrany těchto souborů. Chování komprimovaného spustitelného souboru je těžké analyzovat, proto musí být takovýto soubor nejprve dekomprimován. Tato práce pojednává o návrhu a implementaci univerzálního nástroje pro dekompresi spustitelných souborů, neboli generického unpackeru, který je součást dekompilačního procesu v rekonfigurovatelném zpětném překladači společnosti AVG. Cílem této práce je vytvořit generický unpacker, který by byl jednoduše rozšířitelný, platformě a architekturálně nezávislý a jeho výstup by byl dekompilovatelný. V rámci práce jsou navrhnuté a implementované heuristické analýzy pro dosažení dekompilovatelnosti výstupů. Výsledky jsou porovnatelné s unpackery používanými v praxi.
|
|
Automatizace verifikace řízené pokrytím pro procesory ASIP
Badáň, Filip ; Hynek, Jiří (oponent) ; Zachariášová, Marcela (vedoucí práce)
Táto práca sa zaoberá návrhom a implementáciou automatizácie verifikácie riadenej pokrytím pomocou genetického algoritmu pre aplikačne špecifické procesory. Cieľom práce je prepojiť verifikačné prostredie podľa metodiky UVM s už navrhnutým genetickým algoritmom a pripraviť ho na integráciu do vývojového prostredia Codasip Studio. Jadro finálneho riešenia spočíva v úprave UVM komponentov verifikačného prostredia a v zabezpečení správnej komunikácie genetického algoritmu s generátorom náhodných aplikácií.
|
|
Návrh a evaluace uživatelského rozhraní pro vodohospodářský informační systém
Vicen, Ondrej ; Rudnitckaia, Julia (oponent) ; Hynek, Jiří (vedoucí práce)
Bakalárska práca sa zaoberá tvorbou užívateľského rozhrania pre informačný systém čerpacie stanice odpadných vôd v meste Trebišov. V prvej časti práce sú popísané všeobecné metódy návrhu používateľského rozhrania a testovanie jeho použiteľnosti. Ďalej je prezentovaný informačný dashboard. Druhá časť popisuje analýzu súčasného systému, požiadavky užívateľov na nový systém, na základe ktorých bolo navrhnuté a testované nové užívateľské rozhranie.
|
|
Návrh prostředí pro ladění vícejádrových systémů
Klčo, Michal ; Matula, Peter (oponent) ; Hynek, Jiří (vedoucí práce)
Táto práca popisuje problém ladenia man-core systémov s využitím intergrovaného vývojového prostredia. Predstavuje niektoré z integrovaných prostredí, debuggerov, ich funkcie a analyzuje ich. Táto práca tiež opisuje návrh a implementáciu modifikácií týchto nástrojov, ktoré pomáhajú uživateľovi ladiť many-core systémy efektívnejšie a pohodlnejšie.
|
| |
|
Semiautomatická optimalizace pomocí specializovaných instrukcí
Mikó, Albert ; Hynek, Jiří (oponent) ; Masařík, Karel (vedoucí práce)
Návrh instrukční sady aplikačně specifických procesorů je náročná úloha. Tato práce popisuje problematiku výběru, označení a vytvoření instrukčních rozšíření aplikačně specifických procesorů. Použitá semiautomatická metoda umožňuje uživateli snadný výběr instrukčních rozšíření pomocí označení úseku zdrojového kódu aplikace. Samotné vytvoření nové instrukce v modelovacím jazyku je řešen automaticky. Tím nechá uživatele soustředit se na činnost, při které se nejvíce uplatní vynalézavost a zkušenosti člověka.
|
|
Podpora SIMD instrukcí v překladači LLVM
Šnobl, Pavel ; Hynek, Jiří (oponent) ; Masařík, Karel (vedoucí práce)
Tato bakalářská práce se zabývá podporou automatické vektorizace kódu v kompilačním frameworku LLVM a rozšířením modelu procesoru Codix o SIMD instrukce. Výsledkem je schopnost LLVM vytvářet reporty o proběhlém procesu autovektorizace a možnost využívat speciálních direktiv pragma pro dodání dodatečných informací pro optimalizace programů. Rovněž je představen a implementován způsob dodávání informací o architekturách procesorů vytvořených pomocí vývojového prostředí Codasip Framework, potřebných pro efektivnější vektorizaci. Nakonec je pro procesor Codix vybrána a následně do modelu přidána sada celočíselných vektorových instrukcí a souvisejících nových registrů.
|
|
Návrh a konstrukce audio výkonového zesilovače ve třídě AB
Hynek, Jiří ; Kratochvíl, Tomáš (oponent) ; Brančík, Lubomír (vedoucí práce)
Bakalářská práce je zaměřena na návrh audio výkonového zesilovače ve třídě AB s minimálním výstupním výkonem 2 x 80 W, s možností ovládat kmitočtové charakteristiky, hlasitost a balance. Tento návrh je možno široce uplatnit v dnešní společnosti. Samotný návrh je koncipován, tak aby bylo možno jej zhotovit z běžně dostupných součástek. Práce obsahuj návrh vhodného napájecího zdroje a návrh chlazení aktivních prvků.
|
| |