katedra teoretické informatiky: Poslední příspěvky
Zobrazují se záznamy 1-20 z 587
-
Návrh a implementace programovacího jazyka zaměřeného na Typestate
; Vedoucí práce: Verter Jan Liam; Oponent práce: Křikava Filip
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-14)V objektově orientovaném modelu určuje typestate množinu operací povolených nad instancí objektu v daném stavu. Takové operace jsou obvykle vyjádřené pomocí metod. Zavádíme nové softwarové návrhové paradigma, ve kterém je ... -
Many-to-one jednostranné párování
; Vedoucí práce: Valla Tomáš; Oponent práce: Schierreich Šimon
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-14)Naše téma se zabývá teorií párování, která je podoborem v oblasti algorit-mické teorie her. V této práci zavádíme následující model nazvaný Agents to Facilities with Restriction Problem (AFR): Existuje m zařízení (facilities) ... -
Implementace algoritmů pro regulární stromové gramatiky a výrazy
; Vedoucí práce: Pecka Tomáš; Oponent práce: Sedláček Josef Erik
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-14)Rankované stromy jsou koncept užitečný pro popis větvících se struktur, kde má každý uzel pevně daný počet potomků. Formálně je popisuje řada konceptů, které lze mezi sebou převádět regulární stromové gramatiky, konečné ... -
Hledání NAC-obarvení: složitost a algoritmy
; Vedoucí práce: Legerský Jan; Oponent práce: Opler Michal
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-14)Jednou z otázek v strukturální teorii tuhosti (Rigidity Theory) je, zda realizace vrcholů grafu do roviny je pohyblivá, tj. zda umožňuje spojitou deformaci neměnící délku hran. Pohyblivá realizace souvislého grafu v rovině ... -
Propagace konstant do OpenMP jader
; Vedoucí práce: Hodač Petr; Oponent práce: Hubička Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-14)Propagace konstant je důležitou optimalizací v moderních překladačích. Tato práce se zabývá návrhem a implementací nového atributu funkcí a struktury rozšiřující graf volání pro umožnění propagace konstant do OpenMP jader. ... -
Stainless pro vyvažované binární vyhledávací stromy
; Vedoucí práce: Knop Dušan; Oponent práce: Pokorný Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-14)Tato práce se zabývá verifikovanou implementací vyvažovaných binárních vyhledávacích stromů pomocí jazyka Scala a frameworku Stainless. Konkrétními zkoumanými stromy jsou AVL a (left-leaning) red-black stromy. Stromy jsou ... -
Syntaktická analýza zdola-nahoru a rezoluce datových typů pro obecné výrazy
; Vedoucí práce: Plachý Štěpán; Oponent práce: Janoušek Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-14)V této práci implementujeme tabulku operátorů, pomocí které lze definovat formální jazyky. Tabulka je konvertována na gramatiku, ze které je vygenerován LR($1$) parser schopný vytvořit abstraktní syntaktický strom. Na tomto ... -
Překlad MSOL formulí na konečné automaty
; Vedoucí práce: Hušek Radek; Oponent práce: Opler Michal
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-14)Použití formální logiky pro verifikaci praktických řešení je dobře prozkoumaná metoda, využívaná mnoha různými obory od hardwarové verifikace až po syntézu kontrolerů. MONA je nástroj, který dostane na vstupu popis teorie ... -
Rozvrhování projektů s alternativními recepty
; Vedoucí práce: Hanzálek Zdeněk; Oponent práce: Pokorný Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-14)Výrobci neustále usilují o optimalizaci výrobních harmonogramů s cílem minimalizovat náklady. Zatímco tradiční modely plánovacích problémů předpokládají pevnou strukturu projektu, mnoho projektů v reálném světě je ze své ... -
Nativní kompilace pro funkce v jazyce R
; Vedoucí práce: Křikava Filip; Oponent práce: Máj Petr
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-07)Programovací jazyk R je oblíbený nástroj matematiků a statistiků, kteří ho využívají pro náročné matematické operace a datovou analýzu. Kvůli tomu, že se ale jedná o vyšší programovací jazyk a lze ho spouštět pouze za ... -
Porozumění znečištění zpětné vazby v programovacím jazyce R
; Vedoucí práce: Křikava Filip; Oponent práce: Ječmen Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-07)Moderní dynamické jazyky často využívají JIT (Just-in-Time) překladače ke zrychlení opakovaně spouštěného kódu. Tyto překladače sbírají za běhu informace o chování programu a na jejich základě spekulují o budoucích bězích, ... -
Optimalizovaný jazyk pro manipulaci se strukturovanými daty a podpůrné nástroje
; Vedoucí práce: Čejka Tomáš; Oponent práce: Kácha Pavel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-07)Tato práce představuje nový jazyk pro manipulaci se strukturovanými daty, navržený jako náhrada za knihovnu Pynspect v systémech Mentat a NEMEA. Jazyk je postaven na parseru Lark a klade důraz na čitelnost a rozšiřitelnost. ... -
Ověřitelnost implementace Dijkstrova algoritmu a framework Stainless
; Vedoucí práce: Knop Dušan; Oponent práce: Šimeček Ivan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-07)Práce popisuje Dijkstrův algoritmu a framework Stainless pro verifikaci pro-gramů napsaných v jazyce scala. V Druhé části se práce zabývá limity fra-mewoku a verifikací Dijkstra algoritmu. Algoritmus se podařilo verfikovat ... -
Copy & patch just-in-time kompilace pro R
; Vedoucí práce: Křikava Filip; Oponent práce: Janoušek Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-07)Tato práce představuje prototyp Just-In-Time (JIT) kompilátoru pro programovací jazyk R, založeného na principu Copy-and-Patch. Kvůli dynamické podstatě jazyka R představuje nativní kompilace značný problém. Tato práce ... -
Porovnání Frama-C a Stainless
; Vedoucí práce: Knop Dušan; Oponent práce: Hušek Radek
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-07)Formální verifikace se zabývá dokazováním správnosti programů na základě matematických metod a logiky. Ověřené programy díky tomu poskytují záruku, že pracují v souladu s předem definovanou specifikací za všech okolností ... -
Just-in-time compiler and garbage collector for FML
; Vedoucí práce: Siek Konrad; Oponent práce: Máj Petr
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-02-07)Tato práce se zaměřuje na návrh a implementaci interpreteru pro jazyk FML, který je využívaný na ČVUT k výuce předmětu Runtime systémy. FML je malý, dynamicky typovaný, objektově orientovaný jazyk inspirovaný jazyky Feeny ... -
Interpretace a diferenciální fuzzing jazyka Vyper
; Vedoucí práce: Donat-Bouillud Pierre; Oponent práce: Gattermayer Josef
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-02-07)Vyper je programovací jazyk pro psaní smart kontraktů pro EVM blockchainy. Smart kontrakty mohou držet až miliardy dolarů, a proto je jejich bezpečnost nejvyšší prioritou. V minulosti Vyper kompilátor obsahoval bugy, které ... -
Cataclysm: Redukce nudných rutin hráče
; Vedoucí práce: Knop Dušan; Oponent práce: Hušek Radek
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-02-07)Práce navrhuje a implementuje vybraná řešení pro hru Cataclysm: Dark Days Ahead se zaměřením na požitek hráče a rychlost kódu. Problémy nejsou samy o sobě složité, složitými je dělá kontext. Příklady řešených problémů jsou: ... -
Výukový nástroj pro LR syntaktickou analýzu
; Vedoucí práce: Plachý Štěpán; Oponent práce: Janoušek Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-02-07)This bachelor thesis focuses on the development of a learning tool app for generating LR parsers: LR(0), SLR(1), LALR(1), and LR(1). The goal was to create a modular Python application that enables users to define grammars, ... -
TinyC pro mikrokontrolery
; Vedoucí práce: Máj Petr; Oponent práce: Pecka Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-02-07)Tato práce popisuje úpravy jazyka TinyC (používaného pro výuku předmětu pro tvorbu překladačů NI-GEN) pro jeho použití v embedded zařízeních a překladač pro tento jazyk. Překladač cílí na architekturu mikrokontrolérů tinyAVR ...