|
|
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.
|
|
|
Model Driven Development of Spark Tasks by Means of Eclipse Acceleo
Šalgovič, Marek ; Bartík, Vladimír (oponent) ; Rychlý, Marek (vedoucí práce)
This thesis deals with the Model-Driven Development of Big Data tasks in the Apache Spark environment. In the beginning, the reader is introduced to the Apache Spark framework and necessary details. Afterward, a closer look at the Model-Driven Development methodology is provided, and its advantages and disadvantages are described. The second part describes the designed meta-model for modeling Spark tasks. The designed Profile diagram features that extend the Class diagram are described in detail. Afterward, the code generator is implemented. The input of the generator are models that satisfy the designed meta-model. The thesis also contains example models and their evaluation.
|
|
|
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.
|
|
|
Model Driven Development of Spark Tasks by Means of Eclipse Acceleo
Šalgovič, Marek ; Bartík, Vladimír (oponent) ; Rychlý, Marek (vedoucí práce)
This thesis deals with the Model-Driven Development of Big Data tasks in the Apache Spark environment. In the beginning, the reader is introduced to the Apache Spark framework and necessary details. Afterward, a closer look at the Model-Driven Development methodology is provided, and its advantages and disadvantages are described. The second part describes the designed meta-model for modeling Spark tasks. The designed Profile diagram features that extend the Class diagram are described in detail. Afterward, the code generator is implemented. The input of the generator are models that satisfy the designed meta-model. The thesis also contains example models and their evaluation.
|
|
|
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
|
|
|
SIMD code generator
Tuček, Karel ; Bednárek, David (vedoucí práce) ; Arcaini, Paolo (oponent)
Title: SIMD code generator Author: Karel Tuček Department: Department of Software Engineering Supervisor: RNDr. David Bednárek, Ph.D., Department of Software Engineering Abstract: The center of our interest is a problem of pipelined realisation of a special case of data processing networks. These realisations are supposed to realise some computations on series of independent data sets while utilizing SIMD instructions. The aim of this paper is to theoretically investigate the possibilities and the problems of employment of control flow in these networks and also to implement a general framework suitable for generation of these realisations. The main idea is utilisation of an algorithm crawling over partitions of a network factorised with respect to its control flow. Our idea is that SIMD parallelism should take place on the same instruction realised across multiple data sets. We illustrate the problems relevant to employment of branching and loops in these networks. We especially discuss a problem of data ordering and also provide relevant proofs. In the analytical part, we show implementation of a general framework which we believe to be suitable for processing of these networks. We also provide examples utilising Intel's SIMD Streaming Extensions. Keywords: Processing networks SIMD Parallelism iii
|
|
|
Generování kódu z textového popisu funkcionality
Kačur, Ján ; Ondřej, Karel (oponent) ; Smrž, Pavel (vedoucí práce)
Cieľom tejto práce bolo navrhnúť a implementovať systém na generovanie kódu z textového popisu funkcionality. Boli vypracované celkovo 2 systémy, prvý z nich slúžil ako kontrolný prototyp, a druhý ako reálny výstup práce. Zameral som sa na použitie nepredtrénovaných modelov s menšími rozmermi. Obidva systémy používali ako jadro model typu Transformer. Druhý systém využil na rozdiel od prvého syntaktický rozklad kódu aj textových popisov. Dáta pre obidva systémy pochádzali z projektu CodeSearchNet, cieľový jazyk pre generovanie bol jazyk Python. Druhý systém dosiahol lepšie číselné výsledky, ako prvý, s presnosťou predpovede slov 85%, zatiaľ čo prvý len 60%. Systém dokázal doplniť správny kód na dokončenie funkcie, s väčšou časovou odozvou. V tejto práci sa venujem takmer výlučne druhému systému.
|
|
|
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
|
|
|
Automatické generování projektu v prostředí TIA portal
Halata, Roman ; Jirgl, Miroslav (oponent) ; Štohl, Radek (vedoucí práce)
Diplomová práce se zabývá automatickým generováním kódu pro PLC od firmy Siemens. První část se zaměřuje na aktuálně dostupné nástroje pro generování kódu a možnosti C# knihovny Siemens TIA Openness. Dále je vytvořen návrh struktury projektu v TIA portal. Nakonec je navržena a vytvořena uživatelská aplikace pro automatické generování kódu v TIA portal v15, vhodná především pro větší projekty s rozdělením na jednotlivé stanice.
|
|
|
Generování informačního systému
Voborník, Petr ; Jirák, Ota (oponent) ; Ruttkay, Ladislav (vedoucí práce)
Práce stanovuje požadavky pro implementaci generátoru informačních systémů. Zaobírá se nalezením společných prvků informačních systémů. Dále specifikuje požadavky na zápis konceptuálního modelu. Pokračuje popisem obecného uživatelského pohledu na systémy. Na základě zmíněných analýz jsou vybrány implementační technologie a navrhnuta architektura generovaných systémů. Generované systémy jsou navrženy tak, aby poskytovaly základní operace pro práci s položkami systému. Mimo to jsou diskutovány různé způsoby generování kódu. Je navržen metamodel pro uchování konceptuálního modelu systému a jsou diskutovány jeho možné zápisy. Nakonec jsou popsány problémy, které musí řešit generátor při generování kódu.
|
host ::
RSS.