  Název práce |
Rok vypsání |
Rok obhájení |
Typ práce | Obor práce | Vedoucí / školitel |
Řešitel |
Vypsáno |
Zadáno | Ústav | Fakulta | |
 |
Methods for using natural language specifications in software components development | 2013/2014 | disertační práce | 4I2 | doc. RNDr. Petr Hnětynka, Ph.D. | skrytý |
24.04.2013 | 27.09.2013 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Truffle based .NET IL interpreter and compiler: run C# on Java Virtual Machine | 2020/2021 | bakalářská práce | IPSS | Mgr. Štěpán Šindelář | skrytý |
05.01.2021 | 26.03.2021 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Aplikace pro modelování budov z fotografií | 2021/2022 | bakalářská práce | IOI | Mgr. Pavel Ježek, Ph.D. | skrytý |
04.02.2022 | 04.02.2022 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Operace Cortega - rozšiřitelná 2D multiplayer akční hra | 2020/2021 | bakalářská práce | IOI | Mgr. Pavel Ježek, Ph.D. | skrytý |
19.01.2021 | 19.01.2021 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Systém pro podporu komunitní přepravy zásilek | 2021/2022 | bakalářská práce | IPP4 | doc. RNDr. Petr Hnětynka, Ph.D. | skrytý |
01.11.2021 | 02.11.2021 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Editor a repozitář dokumentů pro uživatele kolaborující v reálném čase | 2021/2022 | bakalářská práce | IPP2 | doc. RNDr. Martin Kruliš, Ph.D. | Vojtěch Kloda | 07.02.2022 | 11.02.2022 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Služba pro analýzu datových toků vestavěného kódu | 2021/2022 | diplomová práce | doc. RNDr. Pavel Parízek, Ph.D. | skrytý |
12.01.2022 | 12.01.2022 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
|
Symbolické metody ve verifikaci software | 2016/2017 | disertační práce | 4I2 | doc. RNDr. Jan Kofroň, Ph.D. | skrytý |
14.04.2016 | 03.10.2016 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Analýza a řešení výzev implementace vyhledávání k nejbližších sousedů pro GPU akcelerátory | 2021/2022 | diplomová práce | doc. RNDr. Martin Kruliš, Ph.D. | skrytý |
01.11.2021 | 02.11.2021 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
|
Implementace hry Abaku | 2020/2021 | bakalářská práce | IPSS | doc. RNDr. Petr Hnětynka, Ph.D. | skrytý |
02.11.2020 | 04.11.2020 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Systém pre správu športovej súťaže Liga Ultimate Frisbee | 2021/2022 | bakalářská práce | IPP2 | doc. RNDr. Petr Hnětynka, Ph.D. | skrytý |
02.11.2021 | 03.11.2021 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Lepenka - Modulárny framework umožňujúci tvorbu hier pre platformu .NET | 2021/2022 | bakalářská práce | IPP2 | Mgr. Filip Kliber | Kristián Petráš | 01.12.2021 | 09.12.2021 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Jerry - aplikace pro sdílení klávesnice a myši | 2018/2019 | bakalářská práce | Mgr. Pavel Ježek, Ph.D. | skrytý |
03.07.2019 | 04.07.2019 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
|
Component-based design of smart cyber-physical systems | 2014/2015 | disertační práce | 4I2 | prof. RNDr. Tomáš Bureš, Ph.D. | skrytý |
26.01.2015 | 26.01.2015 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Data logging and visualization for Mailtrain using IVIS | 2021/2022 | bakalářská práce | IPP2 | prof. RNDr. Tomáš Bureš, Ph.D. | Filip Štrobl | 02.09.2021 | 02.09.2021 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Novel models for self-adaptation and evolution in collective self-adaptive systems | 2021/2022 | disertační práce | P4I2A | prof. RNDr. Tomáš Bureš, Ph.D. | skrytý |
22.11.2021 | 22.11.2021 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Mobilná aplikácia pre rodiny | 2021/2022 | bakalářská práce | IOI | doc. RNDr. Jan Kofroň, Ph.D. | Tomáš Kuraňko | 27.10.2021 | 01.11.2021 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Zvyšování kvality kódu pomocí statické analýzy a syntézy programů | 2015/2016 | disertační práce | 4I2 | doc. RNDr. Pavel Parízek, Ph.D. | skrytý |
24.03.2016 | 03.10.2016 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Nákupní mapa | 2020/2021 | bakalářská práce | ISDI | doc. RNDr. Jan Kofroň, Ph.D. | skrytý |
19.10.2020 | 19.10.2020 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Horizontal scalability for e-mail delivery in Mailtrain | 2022/2023 | diplomová práce | prof. RNDr. Tomáš Bureš, Ph.D. | Erik Kučák | 03.05.2022 | 03.05.2022 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
|
Applying Multilayer Modeling and Verification to All-Optical Computer Networks | 2013/2014 | disertační práce | 4I2 | doc. RNDr. Jan Kofroň, Ph.D. | skrytý |
30.04.2013 | 27.09.2013 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Asynchronous Duet Benchmarking | 2021/2022 | diplomová práce | Mgr. Vojtěch Horký, Ph.D. | Bc. Tomáš Drozdík | 27.05.2022 | 31.05.2022 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
|
Kampa: from a prototype to practical usability | 2021/2022 | diplomová práce | doc. Ing. Lubomír Bulej, Ph.D. | Bc. Lukáš Rozsypal | 08.12.2021 | 16.12.2021 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
|
Modeling and analysis of smart cyber-physical systems | 2014/2015 | disertační práce | 4I2 | prof. RNDr. Tomáš Bureš, Ph.D. | skrytý |
26.01.2015 | 26.01.2015 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Program Verification Using Finite Abstraction and Logics | 2012/2013 | disertační práce | 4I2 | doc. RNDr. Pavel Parízek, Ph.D. | skrytý |
15.04.2013 | 27.09.2013 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Rozšíření běžných programovacích jazyků pro zjednodušení vývoje spolehlivých softwarových systémů | 2017/2018 | disertační práce | 4I2 | doc. RNDr. Pavel Parízek, Ph.D. | skrytý |
19.04.2018 | 27.09.2018 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
VMA merging in Linux | 2020/2021 | diplomová práce | ISS | RNDr. Mgr. Vlastimil Babka, Ph.D. | skrytý |
20.01.2021 | 20.01.2021 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Optimalizace výkonu proudového zpracování dat pro vizualizaci | 2021/2022 | diplomová práce | ISWSP | Mgr. Adam Šmelko | skrytý |
14.12.2021 | 03.02.2022 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Deployment in the (edge-)cloud environment | 2020/2021 | disertační práce | P4I2 | doc. RNDr. Petr Hnětynka, Ph.D. | skrytý |
14.05.2020 | 02.03.2021 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Reimplementácia hry Lemmings pre mobilné zariadenia | 2019/2020 | bakalářská práce | IPSS | Mgr. Pavel Ježek, Ph.D. | skrytý |
01.11.2019 | 06.04.2020 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Akcelerace vzájemné korelace pomocí GPU | 2021/2022 | diplomová práce | doc. RNDr. Martin Kruliš, Ph.D. | skrytý |
02.11.2021 | 03.11.2021 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
|
Data Lineage Analysis for PySpark and Python ORM Libraries | 2021/2022 | diplomová práce | doc. RNDr. Pavel Parízek, Ph.D. | skrytý |
09.05.2022 | 09.05.2022 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
|
Network File System server for HelenOS | 2021/2022 | bakalářská práce | IPP3 | Mgr. Vojtěch Horký, Ph.D. | skrytý |
10.05.2022 | 11.05.2022 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Extensible disassembler with support for interactive instruction reordering | 2021/2022 | diplomová práce | ISWSP | doc. Ing. Lubomír Bulej, Ph.D. | skrytý |
02.03.2022 | 07.04.2022 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Smart modern systems in the edge-cloud environment | 2018/2019 | disertační práce | P4I2 | doc. RNDr. Petr Hnětynka, Ph.D. | skrytý |
12.04.2019 | 17.06.2019 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
Výsledky 1-35 z 35 1