katedra teoretické informatiky
Poslední příspěvky
-
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 ... -
Nástroj pro usnadnění tvorby dotazů v REST API
; Vedoucí práce: Novotný Jan; Oponent práce: Valenta Michal
(Č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 zabývá implementací nástroje pro validaci a analýzu HTTP dotazů. Byla provedena rešerše způsobů integrací funkcí podpory jazyka do různých vývojových prostředí, analýza OpenAPI specifikace a návrh a imple-mentace ... -
Obohacený kontextový dispatch pro Ř
; 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-02-07)Programovací jazyk R je primárně zaměřen na statistické výpočty a vizualizaci dat a i proto R minimalizuje technické požadavky na uživatele. R je dynamicky typovaný, funkcionální, objektově orientovaný a interpretovaný ... -
Strukturální vlastnosti infrastrukturních sítí
; Vedoucí práce: Schierreich Šimon; 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., 2024-08-22)Tato práce se zaobírá zkoumáním strukturálních vlastností infrastrukturních sítí z pohledu teorie grafů. V práci byly měřeny tyto sítě: evropská elektrorozvodná síť, evropská síť plynovodů, severoamerická elektrorozvodná ... -
TinyGo Jazyk
; 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., 2024-06-21)Tato práce představuje jazyk TinyGo a jeho překladač. TinyGo je zjednodušená verze skutečného programovacího jazyka GoLang. Byl vytvořen pro vzdělávací účely studia konstrukce kompilátoru a zachování nejdůležitějších ... -
Syntaktická analýza obecných výrazů a popis syntaxe programovacího jazyka pomocí výrazů
; Vedoucí práce: Plachý Štěpán; 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., 2024-06-21)Tato práce poskytuje parser LL(1) pro obecné výrazy. Za předpokladu správné tabulky priorit operátorů je analyzátor schopen analyzovat daný vstupní řetězec a v případě úspěchu poskytnout AST reprezentaci vstupu. Práce také ... -
Vyvažovací lemata v kernelizaci
; Vedoucí práce: Knop Dušan; Oponent práce: Scholtzová Jiřina
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-21)Tato práce shrnuje známé výsledky problému Equitable Connected Partition a zavádí nový kernelizační algoritmus dokazující, že ECP připouští jádro o velikosti $2^{O(k^2)} \cdot n^{O(1)}$, když je parametrizováno krycí číslo ... -
Strukturální vlastnosti chodníkových sítí
; Vedoucí práce: Schierreich Šimon; 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., 2024-06-21)V této práci analyzujeme reálné chodníkové sítě z pohledu grafové teorie. Začínáme získáním dat chodníkových sítí z OpenStreetMap a jejich serializací do různých datových formátů. Za pomocí řešičů celočíselného lineárního ... -
Interpreter podmnožiny Prologu pomocí Warren Abstract Machine
; Vedoucí práce: Verter Jan Liam; 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., 2024-06-21)Tato práce se zabývá implementací interpreteru pro podmnožinu jazyka Prolog pomocí Warren Abstract Machine. Podrobně popisuje teoretický model Warren Abstract Machine, její vnitřní fungování a nabízí detailní příklady jako ... -
Možná vylepšení pro algoritmy řešící problém Min-Power Symmetric Connectivity
; Vedoucí práce: Knop Dušan; Oponent práce: Scholtzová Jiřina
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-20)V teto praci se zabyvame problemem minimalizace celkove spotreby energie bezdratove site, ktery je formalne znamy jako Min-Power Symmetric Connectivity. Modelem bezdratove site je hranove ohodnoceny neorientovany graf. ...
RSS 1.0