|
|
Nástroj pro generováni informančního systému
Falhar, Radek ; Hanáček, Petr (oponent) ; Jurnečka, Peter (vedoucí práce)
Cílem této práce je navrhnout a implementovat nástroj pro pasivní generování zdrojových kódů pro specifický framework informačního systému. Tímto frameworkem je ZeroFramework, který je určen k vývoji klient-server aplikací na platformě .NET. Pro generování je použita knihovna T4Scaffolding, která umožňuje rozdělit logiku generování kódu na separátní části (tzv. scaffoldery). Tato práce se zabývá převážně návrhem a implementací těchto scaffolderů a jejich provázání s knihovnou T4Scaffolding. Výsledkem této práce jsou šablony a logika pro vygenerování souborů a tříd, které implementují logiku potřebnou pro zobrazení, přidání, úpravu a smazání konkrétní databázové entity.
|
|
|
Překladač jazyka C v prostředí Python
Fiedor, Tomáš ; Bidlo, Michal (oponent) ; Vašíček, Zdeněk (vedoucí práce)
V současné době neexistuje žádné výrazné propojení problematiky tvorby překladačů a návrhu procesorů a jejich instrukčních sad ve výuce. Cílem této práce je vytvořit snadno rozšiřitelný modulární překladač, který bude umožňovat experimentovat s instrukční sadou použitého cílového procesoru. Překladač implementuje několik optimalizačních technik, jejichž vliv je v práci diskutován. Jednou z pokročilejších použitých technik je kontextové generování cílového kódu, které vykazuje mnohem lepší metriky výsledného kódu v porovnání s prostým slepým generování.
|
|
|
Překladač z Octave do C++
Ševčík, Václav ; Křivka, Zbyněk (oponent) ; Kolář, Martin (vedoucí práce)
Programy vyvinuté v interaktivním programovém prostředí Matlab je náročné využít na zařízeních s malým množstvím paměti a v integraci do projektů bez podpory tohoto jazyka. Proto jsou programy převáděny do jazyka C++. V praxi se používá manuálního převodu, který výrazně prodlužuje dobu nasazení. Tato práce se zaměřuje na automatizování překladu z jazyka Octave/Matlab do C++ s použitím knihovny Eigen umožňující využití maticových a vektorových operací. Překladač umožňuje překlad základních 39 operací a 13 funkcí jazyka Octave. Experimenty ukazují, že se tímto překladem dosáhne snížení požadavku paměti až o 99%.
|
|
|
Generované peephole optimalizace v překladači LLVM
Melo, Stanislav ; Podivínský, Jakub (oponent) ; Hruška, Tomáš (vedoucí práce)
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 ze způsobů přizpůsobení se je hledání vhodných instrukcií, které je možné implementovat jako jednu instrukci s více výstupy. Následně se dá vygenerovaný kód zefektivnit pomocí peephole optimalizátoru, který vyhledává skupiny instrukcí, které může směnit za jejich efektivnejší varianty. Tato práce popisuje problém nacházení a výběru instrukcí s více výsledky. Taktéž poskytuje stručný přehled několika nejznámějších algoritmů na řešení tohoto problému. Na závěr skoumá uplatnění a začlenění řešení spolu s peephole optimalizacemi, do překladače LLVM.
|
|
|
Generování kódu pro mikrokontroléry pomocí automatických nástrojů
Klimeš, David ; Lamberský, Vojtěch (oponent) ; Vejlupek, Josef (vedoucí práce)
Tato práce se zabývá problematikou automatického generování kódu pro mikrokontrolery. Následně jsou využity poznatky z této oblasti pro úpravu části kódu experimentálního vozidla Car4. Hlavní téma této práce je návrh dálkového ovládání postavené na platformě dsPIC sloužícího pro řízení vozidla Car4. Na takto vytvořeném dálkovém ovládání jsou poté prakticky vyzkoušeny možnosti nástrojů pro automatické generování kódu při vytváření firmware pro toto dálkové ovládání.
|
|
|
Demonstrační program konverzí konečných automatů
Štorek, Vojtěch ; Novotný, Tomáš (oponent) ; Lukáš, Roman (vedoucí práce)
Cílem praktické části této práce je vytvořit program, který aplikuje teorii konečných automatů v praxi a dělá tak tuto teorii snadější k pochopení. Program umožňuje snadné vytváření konečných automatů, nad nimiž následně jednoduše, ale hlavně didakticky demostruje základní teoretické znalosti, jako jsou převody na speciální typy konečných automatů, ilustrace činnosti nebo vyjádření konečného automatu formou zdrojového souboru v jazyce C. V této technické zprávě se pokusím popsat, jak jsou jednotlivé klíčové částí aplikace implementovány.
|
|
|
Generování kódu z Objektově orientovaných Petriho sítí
Hanák, Martin ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato diplomová práce se zabývá generováním zdrojových kódů z jazyka PNtalk do standardních objektově orientovaných jazyků, např. C++ nebo Java. Rozebírá možnosti zjednodušeného modelování formalismu Objektově orientovaných Petriho sítí (OOPN) v prostředí těchto jazyků. Takový model by měl být jednodušší a efektivnější, než nabízí aktuální implementace v prostředí jazyka Smalltalk. Práce také uvádí návrh abstraktizace generátoru kódu tak, aby byl schopen generovat výsledný kód v různých jazycích.
|
|
|
Generating Code from Textual Description of Functionality
Šamánek, Jan ; Fajčík, Martin (oponent) ; Smrž, Pavel (vedoucí práce)
As machine learning and neural network models continue to grow, there is an increasing demand for GPU-accelerated resources and algorithms to support them. Large language models have the potential to assist with this task, as they are already used as coding assistants for popular programming languages. If these models could also learn less commonly used paradigms like CUDA, they could help develop and maintain the necessary systems. This thesis aims to explore the capabilities of modern language models for learning CUDA as a programming paradigm and creating a training corpus specifically for this purpose.
|
|
|
Pattern matching in compilers
Bílka, Ondřej ; Hubička, Jan (vedoucí práce) ; Mareš, Martin (oponent)
Název práce: Pattern matching in compilers Autor: Ondřej Bílka Katedra: Katedra Aplikované Matematiky Vedoucí diplomové práce: Jan Hubička, Katedra Aplikované Matematiky Abstrakt: V této práci vyvineme nástroje na efektivní a flexibilní pattern matching. Představíme specializovaný programovací jazyk amethyst. Jedna z funkcí amethystu je generatování parserů. Také může sloužit jako alterna- tiva k regulárním výrazum. Naš systém umí generovat dynamické parsery. Jejich hlavní uplatnění je tvorba nástroju do IDE jako např. interaktivní zvýrazňovač syntaxe nebo detektor chyb. Amethyst umí zpracovávat i obecné datové struktury. Plánované využití je implementace kompilátorových optimal- izací jako napřiklad propagace konstant či rozvrhování instrukcí a jiné optimal- izace založené na dataflow analyze. Generované parsery jsou víceméně top-down parsery. Představíme nový algo- ritmus pro parsovaní strukturovaných gramatik v linearním čase. Amethyst používá techniky z kompilatorů pro optimalizovaní generovaných parserů. Klíčová slova: packrat parsování, dynamické parsování, strukturované gramatiky, funkcionální programování 1
|
|
|
API for C# code generation
Lukeš, Stanislav ; Hubička, Jan (vedoucí práce) ; Kliber, Filip (oponent)
V práci představujeme knihovnu pro implementaci robustních generátorů kódu v jazyce C#. Stávající generátory kódu často pro nějaké vstupy produkují nepřeložitelný kód. Dochází ke jmeným kolizím a dalším problémům, což zhoršuje stabilitu generování kódu. Tyto případy pak rozbíjí zavedené procesy sestavování aplikací a programátoři je musí řešit ručně. Naše knihovna tyto problémy řeší. Automaticky se vyhýbá jmeným kolizím a dalším nejednoznačnostem, zatímco produkuje čitelný kód. Náš přístup porovnáme s jinými řešeními, mimo jiné s metaprogramováním založeném na reflexi, makrech a automatickým přepisováním mezijazyka. 1
|
host ::
RSS.