Práce na příbuzné téma (mají shodná klíčová slova):

parallel

Klíčová slova abecedně | Klíčová slova dle četnosti

1.
Kakaš, Richard
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Automatizovaná paralelizace zpracování vstupních dat na základě kauzality | Práce na příbuzné téma Zobrazit popisek

2.
Matela, Jiří
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Designing Image Compression Algorithms for Massively Parallel Processors | Práce na příbuzné téma

3.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: LLVM Transformations for Model Checking | Práce na příbuzné téma

4.
Cisár, Denis
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba diplomové práce: Narrative Structure, Corruption and Social Class in the First Series of 'The Wire' | Práce na příbuzné téma

5.
Fišerová, Petra
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Překladatelství a tlumočnictví / Překladatelství anglického jazyka
Obhajoba diplomové práce: The En-Cz-Cz Dubbing Corpus: Introduction, Analysis | Práce na příbuzné téma

6.
Pavlusíková, Zuzana
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Humanitní studia / Dějiny umění, Francouzský jazyk a literatura
Obhajoba bakalářské práce: L'analyse et la comparaison des personnages féminins principaux dans l'oeuvre Isabelle Bruges de Christian Bobin | Práce na příbuzné téma

7.
Havlíček, Jan
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Untimed LTL Model Checking of Timed Automata | Práce na příbuzné téma

8.
Matela, Jiří
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba rigorózní práce: Domain-Specific Optimizations Supporting Real-Time Image Compression | Práce na příbuzné téma

9.
Locker, Jiří
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Systém pro řízení spouštění procesů | Práce na příbuzné téma

10.
Šimeček, Pavel
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: External Memory LTL Model Checking | Práce na příbuzné téma

11.
Ročkai, Petr
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Multi-Threaded Nested DFS | Práce na příbuzné téma

12.
Vaněk, Libor
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Paralelní souborové systémy pro Linux | Práce na příbuzné téma

13.
Barnat, Jiří
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Parallel Breadth-First Search in LTL Model-Checking | Práce na příbuzné téma

14.
Štefek, Miroslav
Fakulta: Právnická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Právo a podnikání
Obhajoba bakalářské práce: Smlouvy bankovních služeb (obchodní podmínky) | Práce na příbuzné téma