Now showing items 1-20 of 33

  • Akcelerované neuronové sítě 

    Flax, Michal
    Tato práce se zabývá simulací neuronových sítí a algoritmem Backpropagation . Simulace je akcelerována pomocí standardu OpenMP . Aplikace také umožňuje modifikovat strukturu neuronových sítí a simulovat tak nestandardní ...
  • Akcelerované neuronové sítě na grafické kartě 

    Tomko, Martin
    Tato práce se věnuje implementaci aplikace pro simulaci neuronových sítí a její akceleraci za využití grafického procesoru. Aplikace se zaměřuje především na sítě typu Feedforward a jejich učení algoritmem Backpropagation, ...
  • Alias analýza v překladači jazyka C 

    Bolvanský, Dávid
    Táto práca sa venuje problematike alias analýzy a možnostiam jej vylepšenia v LLVM frameworku. Cieľom tejto práce je zlepšiť jej presnosť, čoho bolo dosiahnuté rozšírením implementácie Andersenovho algoritmu o citlivosť ...
  • Anonymizace SPZ vozidel 

    Skřivánková, Barbora
    Při procházení online map jsou dnes dostupné i souvislé snímky prohlížených míst. Pokud jsou však snímky pořizovány ve veřejném prostoru, nacházejí se na nich také kolemjdoucí lidé a kolemjedoucí vozidla. Cílem této práce ...
  • Aplikace evolučního algoritmu při tvorbě regresních testů 

    Belešová, Michaela
    Cílem této diplomové práce je aplikace evolučního algoritmu při tvorbě a optimalizaci regresních testů. V teoretické části práce je popsána teorie spojená s funkční verifikací, verifikační metodikou, regresními testy a ...
  • Automatizace verifikace pomocí neuronových sítí 

    Fajčík, Martin
    Úlohou tejto práce je analýza a riešenie optimalizačných problémov vychádzajúcich z automatizácie funkčnej verifikácie hardvéru pomocou umelých neurónových sietí. Verifikácia ľubovoľného integrovaného obvodu (Design Under ...
  • Automatizace verifikace řízené pokrytím pro procesory ASIP 

    Badáň, Filip
    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 ...
  • Automatizované testování webových stránek 

    Jeniš, Vilém
    Práce se týká automatizace testů uživatelského rozhraní. Po stručném úvodu jsou popsány některé nástroje, které usnadňují tvorbu automatických testů uživatelského rozhraní webových aplikací a následně je prezentován návrh ...
  • Elektronická šachovnice na FITKitu 

    Kubín, Jakub
    Tato bakalářská práce se zabývá analýzou, návrhem a implementací hry šachy na platformě FITkit. K platformě je připojen VGA monitor, na kterém je zobrazena šachovnice s figurami. Hra je ovládána pomocí klávesnice na FITkitu. ...
  • Evoluční návrh využívající gramatickou evoluci 

    Repík, Tomáš
    p, li { white-space: pre-wrap; } Evoluce v přírodě slouží jako zdroj inspirace pro tuto práci . Základní myšlenkou je využití generativní síly gramatik v kombinaci s evolučním přístupem . Nabyté znalosti jsou aplikovány ...
  • Evoluční optimalizace analogových obvodů 

    Mihulka, Tomáš
    Cílem práce bylo vytvořit systém pro optimalizaci vybraných analogových obvodů pomocí evoluce s různými fitness funkcemi. Taktéž na tomto systému provádět sadu experimentů a na jejich základě vyhodnotit možnosti evoluční ...
  • Generování objektových souborů pro RISC-V 

    Benna, Filip
    Tato diplomová práce se zabývá překladem zdrojových souborů programů pro procesorovou architekturu RISC-V. Smyslem rozšíření překladových nástrojů, které je v této práci popsáno, je kompatibilita vzniklých objektových ...
  • Hardwarově akcelerovaná funkční verifikace 

    Zachariášová, Marcela
    Funkční verifikace je jednou z nejrozšířenějších technik ověřování korektnosti hardwarových systémů podle jejich specifikace. S nárůstem složitosti současných systémů se zvyšují i časové požadavky kladené na funkční ...
  • Hardwarově akcelerovaná funkční verifikace procesoru 

    Funiak, Martin
    Mezi aktuálně používané verifikační přístupy patří funkční verifikace. Při funkční verifikaci se ověřuje korektnost implementace počítačového systému vzhledem k specifikaci. Slabým místem v rámci přístupu funkční verifikace ...
  • Implementace procesoru MicroBlaze v jazyce CodAL 

    Hájek, Radek
    Diplomová práce obsahuje teoretický základ, rozdělení a funkce procesorů. Shrnuje princip zřetězeného zpracování instrukcí a druhy hazardů v mikroarchitektuře procesorů. Dále seznamuje s možnostmi návrhu procesorů pomocí ...
  • Ladění software v Codasip Studiu pomocí JTAG rozhraní simulovaném v RTL simulátoru 

    Michl, Kamil
    Tato práce se zabývá možností propojení RTL simulace procesoru se softwarovým debuggerem. Podle mého návrhu probíhá komunikace mezi těmito komponentami přes JTAG a Nexus rozhraní. Simulace je ovládána pomocí vybraného ...
  • Metody akcelerace verifikace logických obvodů 

    Zachariášová, Marcela
    Při vývoji současných číslicových systémů, např. vestavěných systému a počítačového hardware, je nutné hledat postupy, jak zvýšit jejich spolehlivost. Jednou z možností je zvyšování efektivity a rychlosti verifikačních ...
  • Model procesoru RISC-V 

    Barták, Jiří
    V rámci snahy o minimalizaci spotřeby a plochy na čipu dochází k vývoji procesorů s aplikačně specifickou instrukční sadou. Dochází tak k vytváření nových instrukčních sad, které však často bývají tajné. Proti tomuto trendu ...
  • Návrh specializovaných instrukcí 

    Koscielniak, Jan
    Tato práce se věnuje návrhu a implementaci specializovaných instrukcí pro architekturu instrukční sady RISC-V. Tato instrukční rozšíření slouží k akceleraci sady vybraných kryptografických algoritmů. Nové instrukce jsou ...
  • Nové techniky evoluce celulárních automatů 

    Ormandy, Adam
    Táto práca sa zaoberá evolučným návrhom prechodových funkcií celulárnych automatov postavených na podmienkových pravidlách. Práca predstavuje nový algoritmus ESP a jeho porovnanie s existujúci evolučnými technikami, konkrétne ...