Master Theses - 18101

 

Now showing items 1-20 of 221

    • Just-in-time compiler and garbage collector for FML 

      Author: Martin Taibr; Supervisor: Siek Konrad; Opponent: 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 

      Author: Miroslav Škrabal; Supervisor: Donat-Bouillud Pierre; Opponent: 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é ...

    • TinyC pro mikrokontrolery 

      Author: Tomáš Kiec; Supervisor: Máj Petr; Opponent: 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 

      Author: Tomáš Růžička; Supervisor: Novotný Jan; Opponent: 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 Ř 

      Author: Michal Štěpánek; Supervisor: Křikava Filip; Opponent: 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ý ...

    • Profiler pro programovací jazyk R 

      Author: Karolina Hrnčiříková; Supervisor: Křikava Filip; Opponent: Petříček 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-06)
      Jazyk R vyniká v průzkumu a analýze dat, ale často čelí výzvám v oblasti efektivity. R je dynamicky typováno, má automatický sběr paměti a co je nejdůležitější, jedna z jeho hlavních implementací, GNU R, interpretuje AST ...

    • P4 MLIR Midend 

      Author: Šimon Bařinka; Supervisor: Puš Viktor; Opponent: 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., 2024-06-06)
      Jazyk P4 je používán pro programování konfigurovatelných síťových zařízení. V této práci zkoumáme využití MLIR k vytvoření rozšiřitelného P4 překladače, který je schopen pracovat s několika hardwarovými a P4 architekturami. ...

    • Hledání vlastních čísel a vlastních vektorů pro rozsáhlé řídké symetrické matice 

      Author: Matěj Razák; Supervisor: Langr Daniel; Opponent: Š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., 2024-06-06)
      Tato práce se věnuje vybraným metodám pro hledání vlastních čísel a vlastních vektorů symetrických řídkým matic nad hybridním paralelním programovacím modelem MPI+OpenMP v jazyce C++. Práce má za cíl vylepšit existující ...

    • Parallel run of k-local tree automata on GPU 

      Author: Milan Borový; Supervisor: Plachý Štěpán; Opponent: Š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., 2024-06-06)
      This thesis implements tree pattern matching using deterministic finite tree automata. A work-optimal parallel algorithm exists and has been implemented for EREW PRAM. This algorithm will be optimized for APRAM and ported ...

    • Vnořené smyčky a path explosion problém v symbolické exekuci 

      Author: Vojtěch Rozhoň; Supervisor: Donat-Bouillud Pierre; Opponent: Kirsch Christoph
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-06)
      Práce vyhodnocuje techniky pro řešení problému exploze cest v symbolické exekuci. Obzvláštní důraz je kladen na interakce jednotlivých technik se vnořenými cykly. Metody ořezávání cest, subsumpce cest, slučování stavů a ...

    • Vytvořte pipeline pro edge computing aplikace 

      Author: Jan Chybík; Supervisor: Sedlák Daniel; Opponent: Forst Lukáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-06)
      Edge computing aktuálně nabírá na popularitě mezi mnoha poskytovateli CDN. Přesouvá zpracování dat blíže klientům, čímž snižuje odezvu oproti centralizovaným datovým skladům, nebo vzdáleným cloudovým serverům. Tato práce ...

    • Studie integrace časově citlivých sítí v RTOS PikeOS 

      Author: Jakub Šatoplet; Supervisor: Zemánek Petr; Opponent: Moucha Alexandru
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-06)
      Cílem diplomové práce je studie integrace časově citlivých sítí do operačního systému reálného času PikeOS. V analytické části práce jsou představeny operační systémy reálného času a systém PikeOS. Dále představuje základní ...

    • Out of process byte-code kompilátor pro programovací jazyk R 

      Author: Adam Plodek; Supervisor: Křikava Filip; Opponent: Krynski Sebastián
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-06)
      R je dynamický programovaní jazyk, který je převážně používaný ve statistice a pro vizualizaci dat. Jeho netypické vlastnosti a bohatý ekosystém balíčků umožňuje statistikům psát software bez pokročilých programátorských ...

    • Paralelní násobení řídkých matic 

      Author: Lukáš Simulík; Supervisor: Šimeček Ivan; Opponent: Šoch Michal
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-02-09)
      Práce se zabývá paralelním násobením řídkých matic a obsahuje analýzu a porovnání výkonu vlastního implementovaného algoritmu v OpenMP s existujícími algoritmy. Byly popsány již existující algoritmy a jejich postupy a ...

    • Vylepšení neurálních celulárních automatů se zapojením známé fyzikální dynamiky 

      Author: František Koutenský; Supervisor: Šimánek Petr; Opponent: Kovalenko Alexander
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-08-24)
      Tato práce představuje nový Neurální celulární automat se zapojením známé fyzikální dynamiky (PINCA), který spojuje neurální celulární automaty s integrací fyzikální dynamiky. Cílem modelu PINCA je naučit se diferenciální ...

    • Parametrizovaná složitost problému Network Microaggregation 

      Author: Jan Pokorný; Supervisor: Knop Dušan; Opponent: Suchý Ondřej
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-08-24)
      Mikroagregace je technika sloužící k rozdělení dat do shluků dle zadaných velikostních a vzdálenostní požadavků. V této práci se zabýváme případem, kdy data tvoří sít a dvěma variantami, zda shluky jsou souvislé nebo nejsou. ...

    • Detekce VPN provozu pomocí automatu 

      Author: Jan Jirák; Supervisor: Hynek Karel; Opponent: Dostál Jiří
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-08-24)
      Tato práce se zabývá problematikou detekce VPN provozu z pohledu mo-nitoringu sitě a návrhem automatu, který tuto detekci provádi. Po prove-deni řešerše nastiňuje teoretické řešeni založené na automatu zachycujicim typický ...

    • x86-64 nativní backend pro TinyC 

      Author: Michal Vlasák; Supervisor: Máj Petr; Opponent: Siek Konrad
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-08-24)
      Tato práce popisuje backend překladače, který kompiluje TinyC mezireprezentaci do nativních x86-64 instrukcí. Cílem bylo vytvořit překladač, který by ukázal složitosti spojené s architekturou x86-64, zvláště pak ve srovnání ...

    • Modulární překladač pro TinyC 

      Author: Martin Prokopič; Supervisor: Máj Petr; Opponent: Pecka Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-09)
      Tato práce popisuje překladač jazyka tinyC do assemberu virtuálního stroje tiny86 (oboje používané v předmětu NIE-GEN). Překladač je implementován v jazyce Scala, je napojen na existující nástroje používané v předmětu, ...

    • Analýza datových toků v SQL skriptech dialektu Databricks 

      Author: Lucie Procházková; Supervisor: Trávníček Jan; Opponent: Mácha Radek
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-09)
      Tato diplomová práce zkoumá dialekt Databricks SQL a navrhuje metodu automatické analýzy skriptů a prototyp skeneru pro nástroj Manta, který se zabývá data lineage. Data lineage je nezbytná pro integritu a správu dat. ...