|
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 |
|
Optimalizace v prostředí moderních překladačů |
2022/2023 |
|
disertační práce |
P4I2 | prof. Ing. Petr Tůma, Dr. |
skrytý |
06.04.2023 |
19.09.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
PerfEval: Spojení unit testů s vyhodnocováním výkonu |
2022/2023 |
|
bakalářská práce |
IPP3 | prof. Ing. Petr Tůma, Dr. |
skrytý |
25.09.2023 |
25.09.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Optimalizace plánu směn pohotovostních služeb |
2022/2023 |
|
bakalářská práce |
IPP2 | Mgr. Adam Šmelko |
Tomáš Arnold Tillmann |
02.04.2023 |
03.04.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Reconstructing the Pygmalion programming environment |
2023/2024 |
|
bakalářská práce |
| Mgr. Tomáš Petříček, Ph.D. |
skrytý |
26.09.2023 |
26.09.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Semantics Engineering with Concrete Syntax and Theorem Proving |
2023/2024 |
|
disertační práce |
P4I2 | Mgr. Tomáš Petříček, Ph.D. |
skrytý |
27.02.2024 |
28.02.2024 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Data-driven low-code programming system |
2023/2024 |
|
bakalářská práce |
| Mgr. Tomáš Petříček, Ph.D. |
skrytý |
21.09.2023 |
21.09.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Combining effects with dependent types |
2023/2024 |
|
bakalářská práce |
| Mgr. Tomáš Petříček, Ph.D. |
skrytý |
20.03.2024 |
26.03.2024 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Abstract interpretation of pandas |
2023/2024 |
|
bakalářská práce |
| Mgr. Tomáš Petříček, Ph.D. |
skrytý |
22.03.2024 |
25.03.2024 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Dotazovací jazyk pro relační databáze |
2023/2024 |
|
bakalářská práce |
| Mgr. Tomáš Petříček, Ph.D. |
skrytý |
28.01.2024 |
01.02.2024 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Design of LLM prompts for iterative data exploration |
2023/2024 |
|
bakalářská práce |
| 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 |
|
Interactive pandemic simulation to encourage critical thinking |
2023/2024 |
|
bakalářská práce |
| Mgr. Tomáš Petříček, Ph.D. |
skrytý |
22.03.2024 |
25.03.2024 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Agent-based programming language with spreadsheet-like interface |
2023/2024 |
|
bakalářská práce |
| 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 |
|
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 |
|
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 |
|
Jednotná architektura pro skenery databází v Manta Flow |
2023/2024 |
|
diplomová práce |
| doc. RNDr. Pavel Parízek, Ph.D. |
skrytý |
23.10.2023 |
24.10.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Odstraňování chyb ve rozsáhlých a dlouho-běžících aplikacích s využitím generovaných testů |
2023/2024 |
|
diplomová práce |
| doc. RNDr. Pavel Parízek, Ph.D. |
skrytý |
07.11.2023 |
09.11.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Optimizing memory layouts of data structures designed for parallel systems |
2021/2022 |
|
disertační práce |
P4I2 | doc. RNDr. Martin Kruliš, Ph.D. |
skrytý |
28.04.2022 |
19.09.2022 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Řízení robotického šachového manipulátoru |
2023/2024 |
|
bakalářská práce |
| 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 |
|
Linux Kernel Live Dump |
2022/2023 |
|
diplomová práce |
ISWSP | Mgr. Michal Koutný |
skrytý |
22.02.2023 |
08.03.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Algoritmus PD-KIND v řešiči Golem |
2023/2024 |
|
bakalářská práce |
I | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
06.02.2024 |
11.03.2024 | 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 |
|
Loop Analysis for LLVM IR Translation Validation Framework |
2022/2023 |
|
bakalářská práce |
IPP1 | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
17.03.2023 |
24.03.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Verifikace LLVM bit-kódu pomocí systému Hornových klauzulí s omezujícími podmínkami |
2023/2024 |
|
diplomová práce |
ISWSP | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
02.04.2024 |
15.04.2024 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
IncomeMate |
2023/2024 |
|
bakalářská práce |
IPP | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
04.03.2024 |
05.03.2024 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Podpora neinterpretovaných funkcí v SMT řešiči Yaga |
2023/2024 |
|
bakalářská práce |
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 |
|
Predikce délky trvání datového profilování |
2022/2023 |
|
bakalářská práce |
IPP2 | doc. RNDr. Jan Kofroň, Ph.D. |
skrytý |
05.01.2023 |
05.01.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Just Blade: A 3D melee combat game in a medieval setting |
2023/2024 |
|
bakalářská práce |
| Mgr. Filip Kliber |
skrytý |
14.08.2023 |
21.08.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Systém pro správu šachových soutěží |
2023/2024 |
|
bakalářská práce |
| Mgr. Filip Kliber |
skrytý |
09.11.2023 |
16.11.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Bazar outdoorového vybavení |
2023/2024 |
|
bakalářská práce |
| Mgr. Filip Kliber |
skrytý |
25.10.2023 |
31.10.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Aplikace na vytváření kytarových zpěvníku z písní dostupných na webu |
2023/2024 |
|
bakalářská práce |
| Mgr. Filip Kliber |
skrytý |
25.10.2023 |
31.10.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
RPG hra pro 2 hráče v Unity |
2023/2024 |
|
bakalářská práce |
| 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 |
|
Tower defense hra v Unity |
2023/2024 |
|
bakalářská práce |
| Mgr. Pavel Ježek, Ph.D. |
skrytý |
11.12.2023 |
12.12.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
L'anatra - knihovna pro interoperabilitu mezi jazyky C# a Java |
2023/2024 |
|
diplomová práce |
| Mgr. Pavel Ježek, Ph.D. |
skrytý |
06.12.2023 |
07.12.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Brooom - závodní hra na košťatech v Unity |
2023/2024 |
|
diplomová práce |
| Mgr. Pavel Ježek, Ph.D. |
skrytý |
22.12.2023 |
31.12.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Multiplatformní rozšiřitelný hex editor |
2023/2024 |
|
bakalářská práce |
| 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 |
|
Framework pro realtime realistické a interaktivní simulace shlukování zvířat |
2021/2022 |
|
diplomová práce |
| 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 |
|
Vylepšení typové inference v jazyce C# |
2022/2023 |
|
diplomová práce |
| Mgr. Pavel Ježek, Ph.D. |
skrytý |
30.05.2023 |
30.05.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Populous-style multiplayer game in Unity |
2022/2023 |
|
bakalářská práce |
| Mgr. Pavel Ježek, Ph.D. |
skrytý |
30.05.2023 |
30.05.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Framework pro replikaci stavu v multiplayer hrách s využitím determinismu |
2023/2024 |
|
bakalářská práce |
| Mgr. Pavel Ježek, Ph.D. |
skrytý |
22.12.2023 |
31.12.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
Packet capture for HelenOS |
2023/2024 |
|
bakalářská práce |
| 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 |
|
GPU support in MSIM |
2022/2023 |
|
bakalářská práce |
| 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 |
|
Performance evaluation in DevOps-driven software lifecycle |
2023/2024 |
|
disertační práce |
P4I2A | Mgr. Vojtěch Horký, Ph.D. |
skrytý |
08.08.2023 |
03.10.2023 | 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 |
|
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 |
|
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 |
|
Návrh frameworku pro edge-cloud continuum |
2023/2024 |
|
bakalářská práce |
| 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 |
|
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 |
|
Machine learning techniques in self-adaptive systems |
2021/2022 |
|
disertační práce |
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 |
|
Complex experiment support through the IVIS framework |
2023/2024 |
|
diplomová práce |
| 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 |
|
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 |
Výsledky 1-50 z 51 1 2 další
|