Počet výsledků: 64

Fakulta
Fakulta informatiky
Obor/plán
FI - Informatika: Paralelní a distribuované systémy
zahrnout jen obhájené práce

Jašek, Tomáš

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2021

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Verification of Memory Safety with Predator and Symbiotic

Kadlecaj, Jakub

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2020

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Parallel Bifurcation Analysis in Parametrised Boolean Networks

Kakaš, Richard

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2018

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Automatizovaná paralelizace zpracování vstupních dat na základě kauzality

Kejstová, Katarína

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2019

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Model Checking with System Call Traces

Kočiský, Martin

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2019

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Open source administratívne rozhranie pre Stream Data Platform

Kolařík, Matouš

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2018

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Implementace pokročilých metod korekce pohybu preparátu v elektronovém mikroskopu

Komárková, Zuzana

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2015

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Unified View on Multiple Mean-Payoff Objectives in Markov Decision Processes

Korenčiak, Ľuboš

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2011

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Effective Algorithms for Time Relation Checking in Message Sequence Charts

Korenčik, Lukáš

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2019

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Decompiling Binaries into LLVM IR Using McSema and Dyninst

Kratochvílová, Pavla

(udělen titul Mgr.)

Navazující magisterské studium, Fakulta informatiky, 2018

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Webová služba pro porovnání souborových archivů

Kriho, Jan

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2014

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Enhanced parser for DVE modelling language

Křetínský, Jan

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2009

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Fundamental Properties of Probabilistic Branching-Time Logics

Křivánek, Milan

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2011

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Verifikační nástroj pro komponentové systémy

Kudrnáčová, Jitka

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2008

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Paralelní verifikace LTL(F,G) vlastností

Lauko, Henrich

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2018

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Symbolic Model Checking via Program Transformations

Lenčo, Milan

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2015

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Verification of Name Service Cache Daemon with DIVINE Model Checker

Luščon, Michal

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2015

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Systém pro odhalování a správu parsovacích vzorů pro logovací data

Madzin, Matúš

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2011

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Source-to-source compilation of mapped functions sequences in CUDA

Marek, Jiří

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2014

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Multimedia Streams Planning with Transcoding using Local Search Heuristics

Mlynárik, Jakub Rudolf

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2022

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Cluster analysis and visualization of cybersecurity games progress