Thesis (Selection of subject)Thesis (Selection of subject)(version: 368)
List of theses
   Login via CAS
--:--
 
 List of theses
 
 
 
 
Change order to code - title
 
               
results per page
sort in descending ordersort in ascending orderThesis title sort in descending ordersort in ascending orderYear of announcement sort in descending ordersort in ascending orderYear of defence Thesis type Thesis discipline sort in descending ordersort in ascending orderSupervisor sort in descending ordersort in ascending orderAuthor sort in descending ordersort in ascending orderAnnounced Assigned Department Faculty
detail Verification of LLVM bit-code via a system of Constrained Horn Clauses 2023/2024 diploma thesis ISWSP doc. RNDr. Jan Kofroň, Ph.D. hidden 02.04.2024 15.04.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail GPU support in MSIM 2022/2023 Bachelor's thesis Mgr. Vojtěch Horký, Ph.D. Petr Tlapa 13.07.2023 20.07.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Novel models for self-adaptation and evolution in collective self-adaptive systems 2021/2022 dissertation P4I2A prof. RNDr. Tomáš Bureš, Ph.D. hidden 22.11.2021 22.11.2021 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Machine learning techniques in self-adaptive systems 2021/2022 dissertation P4I2 prof. RNDr. Tomáš Bureš, Ph.D. Mgr. Michal Töpfer 05.04.2022 02.08.2022 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Controlling a Robotic Chess Manipulator 2023/2024 Bachelor's thesis doc. RNDr. Martin Kruliš, Ph.D. Boris Kapustík 28.02.2024 21.03.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail PerfEval: Marrying unit testing with performance evaluation 2022/2023 Bachelor's thesis IPP3 prof. Ing. Petr Tůma, Dr. hidden 25.09.2023 25.09.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail System for management of chess competitions 2023/2024 Bachelor's thesis Mgr. Filip Kliber hidden 09.11.2023 16.11.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Secondhand marketplace of outdoor equipment 2023/2024 Bachelor's thesis Mgr. Filip Kliber hidden 25.10.2023 31.10.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail L'anatra - Library for interoperability between C# and Java 2023/2024 diploma thesis Mgr. Pavel Ježek, Ph.D. hidden 06.12.2023 07.12.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Framework for determinism-based state replication in multiplayer games 2023/2024 Bachelor's thesis Mgr. Pavel Ježek, Ph.D. hidden 22.12.2023 31.12.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Multiplatform Extensible Hex Editor 2023/2024 Bachelor's thesis Mgr. Pavel Ježek, Ph.D. Karel Chwistek 17.12.2023 29.01.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Tower defense game in Unity 2023/2024 Bachelor's thesis Mgr. Pavel Ježek, Ph.D. hidden 11.12.2023 12.12.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Reconstructing the Pygmalion programming environment 2023/2024 Bachelor's thesis Mgr. Tomáš Petříček, Ph.D. hidden 26.09.2023 26.09.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail 3D melee combat game in a medieval setting 2023/2024 Bachelor's thesis Mgr. Filip Kliber hidden 14.08.2023 21.08.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Application for creating guitar songbooks from songs available on the web 2023/2024 Bachelor's thesis Mgr. Filip Kliber hidden 25.10.2023 31.10.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Prediction of data-profiling duration 2022/2023 Bachelor's thesis IPP2 doc. RNDr. Jan Kofroň, Ph.D. hidden 05.01.2023 05.01.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Deployment in the (edge-)cloud environment 2020/2021 dissertation P4I2 doc. RNDr. Petr Hnětynka, Ph.D. hidden 14.05.2020 02.03.2021 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Extending Mainstream Programming Languages to Simplify Construction of Reliable Software Systems 2017/2018 dissertation 4I2 doc. RNDr. Pavel Parízek, Ph.D. hidden 19.04.2018 27.09.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Brooom - broom racing game in Unity 2023/2024 diploma thesis Mgr. Pavel Ježek, Ph.D. hidden 22.12.2023 31.12.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Two-player RPG game in Unity 2023/2024 Bachelor's thesis Mgr. Pavel Ježek, Ph.D. Samuel Juraj Koprda 17.12.2023 29.01.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Abstract interpretation of pandas 2023/2024 Bachelor's thesis Mgr. Tomáš Petříček, Ph.D. hidden 22.03.2024 25.03.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Agent-based programming language with spreadsheet-like interface 2023/2024 Bachelor's thesis Mgr. Tomáš Petříček, Ph.D. Tomáš Boďa 21.09.2023 21.09.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Semantics Engineering with Concrete Syntax and Theorem Proving 2023/2024 dissertation P4I2 Mgr. Tomáš Petříček, Ph.D. hidden 27.02.2024 28.02.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail The PD-KIND algorithm in the Golem SMT solver 2023/2024 Bachelor's thesis I doc. RNDr. Jan Kofroň, Ph.D. hidden 06.02.2024 11.03.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Debugging Large and Long-Running Applications Using Generated Tests 2023/2024 diploma thesis doc. RNDr. Pavel Parízek, Ph.D. hidden 07.11.2023 09.11.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Improving Type Inference in the C# Language 2022/2023 diploma thesis Mgr. Pavel Ježek, Ph.D. hidden 30.05.2023 30.05.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Combining effects with dependent types 2023/2024 Bachelor's thesis Mgr. Tomáš Petříček, Ph.D. hidden 20.03.2024 26.03.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Query langauge for relational databases 2023/2024 Bachelor's thesis Mgr. Tomáš Petříček, Ph.D. hidden 28.01.2024 01.02.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Optimization Opportunities in Modern Compiler Environments 2022/2023 dissertation P4I2 prof. Ing. Petr Tůma, Dr. hidden 06.04.2023 19.09.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Performance evaluation in DevOps-driven software lifecycle 2023/2024 dissertation P4I2A Mgr. Vojtěch Horký, Ph.D. hidden 08.08.2023 03.10.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Emergency services shift plan optimization 2022/2023 Bachelor's thesis IPP2 Mgr. Adam Šmelko Tomáš Arnold Tillmann 02.04.2023 03.04.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Applying Multilayer Modeling and Verification to All-Optical Computer Networks 2013/2014 dissertation 4I2 doc. RNDr. Jan Kofroň, Ph.D. hidden 30.04.2013 27.09.2013 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Support for Uninterpreted Functions in Yaga SMT Solver 2023/2024 Bachelor's thesis IPP3 doc. RNDr. Jan Kofroň, Ph.D. Milan Malačka 02.04.2024 09.04.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Designing a framework for edge-cloud continuum 2023/2024 Bachelor's thesis doc. RNDr. Petr Hnětynka, Ph.D. Milan Lamplot 18.11.2023 21.11.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Unified architecture for database scanners in Manta Flow 2023/2024 diploma thesis doc. RNDr. Pavel Parízek, Ph.D. hidden 23.10.2023 24.10.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Populous-style multiplayer game in Unity 2022/2023 Bachelor's thesis Mgr. Pavel Ježek, Ph.D. hidden 30.05.2023 30.05.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Interactive pandemic simulation to encourage critical thinking 2023/2024 Bachelor's thesis Mgr. Tomáš Petříček, Ph.D. hidden 22.03.2024 25.03.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Packet capture for HelenOS 2023/2024 Bachelor's thesis Mgr. Vojtěch Horký, Ph.D. Nataliia Korop 29.11.2023 29.11.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail A system for mangement of the Ultimate Frisbee league 2021/2022 Bachelor's thesis IPP2 doc. RNDr. Petr Hnětynka, Ph.D. hidden 02.11.2021 03.11.2021 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Smart modern systems in the edge-cloud environment 2018/2019 dissertation P4I2 doc. RNDr. Petr Hnětynka, Ph.D. hidden 12.04.2019 17.06.2019 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail A framework for realtime realistic and interactive simulations of animal flocking 2021/2022 diploma thesis Mgr. Pavel Ježek, Ph.D. Bc. Ondřej Vaic 23.09.2022 23.09.2022 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Data-driven low-code programming system 2023/2024 Bachelor's thesis Mgr. Tomáš Petříček, Ph.D. hidden 21.09.2023 21.09.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Network File System server for HelenOS 2021/2022 Bachelor's thesis IPP3 Mgr. Vojtěch Horký, Ph.D. hidden 10.05.2022 11.05.2022 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail IncomeMate 2023/2024 Bachelor's thesis IPP doc. RNDr. Jan Kofroň, Ph.D. hidden 04.03.2024 05.03.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Complex experiment support through the IVIS framework 2023/2024 diploma thesis prof. RNDr. Tomáš Bureš, Ph.D. Bc. David Košťál 26.01.2024 29.01.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Improving code quality based on static program analysis and synthesis 2015/2016 dissertation 4I2 doc. RNDr. Pavel Parízek, Ph.D. hidden 24.03.2016 03.10.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Design of LLM prompts for iterative data exploration 2023/2024 Bachelor's thesis Mgr. Tomáš Petříček, Ph.D. Mikoláš Fromm 24.09.2023 26.09.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Loop Analysis for LLVM IR Translation Validation Framework 2022/2023 Bachelor's thesis IPP1 doc. RNDr. Jan Kofroň, Ph.D. hidden 17.03.2023 24.03.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Optimizing memory layouts of data structures designed for parallel systems 2021/2022 dissertation P4I2 doc. RNDr. Martin Kruliš, Ph.D. hidden 28.04.2022 19.09.2022 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Linux Kernel Live Dump 2022/2023 diploma thesis ISWSP Mgr. Michal Koutný hidden 22.02.2023 08.03.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
Results 1-50 of 51 1 2 next
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html