Now showing items 1-20 of 31

  • Akcelerace aplikací pomocí specializovaných instrukcí 

    Mikó, Albert
    Návrh specializovaných instrukcí pro aplikačně specifické procesory je náročný úkol. Tato práce se zabývá problematikou efektivní specifikace a použití specializovaných instrukci pro optimalizaci aplikací. Zaměřuje se na ...
  • 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ť ...
  • Analýza práce s dynamickými datovými strukturami v C programech 

    Šoková, Veronika
    Táto diplomová práca sa zaoberá analýzou dynamických dátových štruktúr pomocou analýzy tvaru použitej v nástroji Predator. Popisuje zvolenú abstraktnú doménu pre reprezentáciu pamäte vo forme symbolických grafov pamäte. ...
  • Detekce kompletnosti instrukční sady pro generování univerzálního překladače jazyka C 

    Nagy, Michal
    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 ...
  • Detekce podobnosti zdrojových souborů v jazyce C 

    Rek, Petr
    Tato práce se zabývá návrhem, implementací a testováním nástroje csim, sloužícího pro porovnávání podobnosti dvou souborů v jazyce C. Primárním účelem vzniku tohoto nástroje je testování zpětného překladače vyvíjeného ...
  • Generická obfuskace na úrovni bajtkódu 

    Kollát, Samuel
    V této práci je popsána definice obfuskace a metody její realizace. Následuje popis projektu LLVM a možnosti jeho využití při vytváření obfuskace na úrovni bajtkódu se zaměřením na generickost vzhledem k cílové architektuře. ...
  • Generované peephole optimalizace v překladači LLVM 

    Melo, Stanislav
    Jednou z důležitých vlastností aplikačně specifických procesorů je jejich výkon. Aby byl co největší, musí se překladač přizpůsobit potřebám procesoru, pre který bude překládat a generovat co nejefektívnejší kód. Jedním ...
  • Generování modelů pro testy ze zdrojových kódů 

    Kraut, Daniel
    ílem této diplomové práce je navrhnout a implementovat nástroj pro automatické generování cest ze zdrojových kódů. V rámci práce byla nastudována problematika testování založeného na modelech a navrženo možné řešení ...
  • Generování testovacích vstupů podle stopy programu 

    Sušovský, Tomáš
    Tato práce se zabývá návrhem a implementací nástroje pro automatické generování testových vstupů na základě určené stopy programu. Cílem je zjednodušit a zefektivnit proces vytváření testových sad splňující pokročilá ...
  • Informace o architektuře pro optimalizace v překladači LLVM 

    Svoboda, Jan
    Tato práce se zabývá automatickou extrakcí informací o architektuře procesoru z jazyka CodAL. Získané informace jsou využity jako základ pro cenový model optimalizátoru překladače LLVM. V rámci práce vznikl nový systém, ...
  • Kompilátor jazyka C pro VLIW architektury 

    Mináč, Tomáš
    Tato práce pojednává o jazyce CodAl a Codasip frameworku. Dále popisuje kompilační platformu LLVM, jazyk LLVM IR a optimalizace nad tímto jazykem. Vytvoření návrhu a implementace rozšíření kompilační platformy LLVM o ...
  • Libovolná bitová šířka datového typu integer v platformě LLVM 

    Veškrna, Martin
    Tato práce se zabývá úpravou kompilační platformy LLVM/Clang tak, aby podporovala libovolnou bitovou šířku u datového typu integer
  • Nástroj pro statickou analýzu programů se seznamy 

    Kotoun, Michal
    Tvorba softwarového analyzátoru je komplexní úloha -- je nutno implementovat parsování zdrojového kódu, reprezentaci instrukcí, abstrakci hodnot, uživatelské rozhraní, ... a také analýzu samu. Abychom předešli zbytečné ...
  • Optimalizace v překladači C pro VLIW architektury 

    Baručák, Robert
    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 ...
  • Plánovač instrukcí překladače jazyka C pro architektury se zřetězeným zpracováním instrukcí 

    Kocina, Filip
    Tato práce se zabývá backendem překladače jazyka C, konkrétně plánovačem instrukcí. Analyzuje možnosti plánovače instrukcí kompilační platformy LLVM. Popisuje nahrazení stávajícího delay slot filleru pro architekturu MIPS.
  • Plánovač instrukcí překladače jazyka C pro VLIW architekturu 

    Mináč, Tomáš
    Tato práce pojednává o architektuře procesorů typu VLIW a části překladače určené pro plánování instrukcí. Dále popisuje kompilační platformu LLVM - zejména části důležité pro vytvoření plánovacího průchodu pro VLIW ...
  • Podpora SIMD instrukcí v překladači LLVM 

    Šnobl, Pavel
    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 ...
  • Profilem řízené optimalizace pro instrukční vyrovnávací paměti 

    Bobek, Jiří
    Výkon instrukční vyrovnávací paměti je velice důležitý pro celkový výkon počítače. Rozmístění bloků kódu v paměti může mít podstatný vliv na počet výpadků instrukční vyrovnávací paměti. To znamená, že překladač může zrychlit ...
  • Překlad C++ aplikací pro vestavěná zařízení 

    Nosterský, Milan
    Tato diplomová práce se zabývá přidáním podpory překladu jazyka C++ a jeho standardu C++11 v rámci překladače pro vestavěné systémy. Překladač, založený na projektu LLVM se generuje v rámci prostředí Codasip Studia. Toto ...
  • Překlad OpenCL aplikací pro vestavěné systémy 

    Šnobl, Pavel
    Tato diplomová práce se zabývá podporou pro překlad a spouštění programů napsaných pomocí OpenCL frameworku na vestavěných systémech. OpenCL je systém pro programování heterogenních systémů, složených z procesorů, grafických ...