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

parallel, cluster, ltl model checking, distributed memory

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

1.
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 Zobrazit popisek

2.
Appl, Jiří
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Quantitative Probabilistic Verification in Distributed Environment | Práce na příbuzné téma

3.
Augustinová, Jitka
Fakulta: Fakulta sociálních studií
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika, Sociální politika a sociální práce
Obhajoba bakalářské práce: Aplikace clusterové analýzy v televizním výzkumu středoškolského publika

4.
Blažečka, Roman
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Disaster recovery & business continuity for Datacenter | Práce na příbuzné téma

5.
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

6.
Černocký, Dalibor
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba bakalářské práce: What matters in EdTech: An Analysis of Education Technology Trends | Práce na příbuzné téma

7.
Finstrle, Luděk
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Distribuovaný souborový systém

8.
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

9.
Fouček, Šimon
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Detection of hardware and software problems using ML | Práce na příbuzné téma

10.
Grufíková, Zdeňka
Fakulta: Ekonomicko-správní fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Priority podnikatelských aktivit v regionu jižní Moravy

11.
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

12.
Hruška, Michal
Fakulta: Fakulta informatiky
Rok: 2016, studium neúspěšně ukončeno
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Studie modernich features HW | Práce na příbuzné téma

13.
Chlumský, Václav
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Plánování úloh na Gridech pomocí lokálního prohledávání | Práce na příbuzné téma

14.
Ivánek, Pavel
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Porovnání metod migrace virtuálních strojů a procesů | Práce na příbuzné téma

15.
Janík, Richard
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Výkon EJB3 v JBoss clustri | Práce na příbuzné téma

16.
Jankovič, Jaroslav
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Integrace Infinispan vlastností do Android platformy | Práce na příbuzné téma

17.
Jelínek, Martin
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Mobilní klient pro systém Torque | Práce na příbuzné téma

18.
Kajsík, Marián
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Aplikace matematického software Maple pro výpočty v Gridu | Práce na příbuzné téma
Obhajoba diplomové práce: Aplikace matematického software Maple pro výpočty v Gridu | Práce na příbuzné téma

19.
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

20.
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

21.
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

22.
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

23.
Michalov, Ján
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Clusterable Task Scheduler | Práce na příbuzné téma

24.
Pastva, Samuel
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Škálovatelná syntéza parametrů pro hypotézy formulované v logice CTL | Práce na příbuzné téma

25.
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

26.
Petriščáková, Katarína
Fakulta: Filozofická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Obecná jazykověda, Španělský jazyk a literatura
Obhajoba diplomové práce: Pohl'ad na problematiku dvojčlenných konsonantických skupín v slovenčine | Práce na příbuzné téma

27.
Petrović, Miloš
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Architectural Study for Building of a Restaurant as Part of Reconstruction of the Exhibition Grounds at "Cerna louka" (Black Meadow) in Ostrava | Práce na příbuzné téma

28.
Povalová, Radoslava
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Webový nástroj/framework pro snazší analýzu malware | Práce na příbuzné téma

29.
Rábara, Radoslav
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Paralelizace časově náročných operací korpusového manažeru | Práce na příbuzné téma

30.
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

31.
Ročkai, Petr
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Partial Order Reduction in Parallel Model Checking | Práce na příbuzné téma

32.
Ročkai, Petr
Fakulta: Fakulta informatiky
Rok: 2015, 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: Model Checking Software | Práce na příbuzné téma

33.
Ročkai, Petr
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Model Checking Software | Práce na příbuzné téma

34.
Sedlatá, Hana
Fakulta: Ekonomicko-správní fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Regionální rozvoj a správa
Obhajoba diplomové práce: Kvalita podnikatelského prostředí v ČR a inovační potenciál

35.
Sorentíny, Michal
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: JGroups Configurator and Visualiser | Práce na příbuzné téma
Obhajoba diplomové práce: JGroups Configurator and Visualiser | Práce na příbuzné téma

36.
Šedová, Magdaléna
Fakulta: Ekonomicko-správní fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomika a management / Management
Obhajoba bakalářské práce: Možnosti vzniku vinařského klastru v jihomoravském regionu

37.
Š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

38.
Šlegr, Zdeněk
Fakulta: Ekonomicko-správní fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika a správa / Regionální rozvoj a správa
Obhajoba bakalářské práce: Regionální inovační strategie (RIS) | Práce na příbuzné téma

39.
Š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

40.
Štěrba, Martin
Fakulta: Ekonomicko-správní fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba bakalářské práce: Možnosti a hranice regionálních klastrů v teorii a v praxi | Práce na příbuzné téma

41.
Š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

42.
Tomeček, Jaroslav
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Distribuovaná databáze virtuálních clusterů | Práce na příbuzné téma

43.
Xydas, Tefkros
Fakulta: Filozofická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Hudební věda
Obhajoba bakalářské práce: Alfred Schnittke a Polystylismus | Práce na příbuzné téma