Témata prací (Výběr práce)Témata prací (Výběr práce)(verze: 336)
Seznam prací
  
Změnit třídění na kód - název
 
               
výsledků na stránku
seřadit sestupněseřadit vzestupněNázev práce seřadit sestupněseřadit vzestupněRok vypsání seřadit sestupněseřadit vzestupněRok obhájení Typ práce Obor práce seřadit sestupněseřadit vzestupněVedoucí / školitel seřadit sestupněseřadit vzestupněŘešitel seřadit sestupněseřadit vzestupněVypsáno Zadáno Ústav Fakulta
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
 
Univerzita Karlova | Informační systém UK