Theses on a related topic (having the same keywords):

model-checking, divine, gpu, map, maximal accepting predecessors, ltl, cuda, mas

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Fousek, Jan
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Optimalizace sekvencí mapovaných funkcí na GPU pomocí jejich skládání | Theses on a related topic Display description

2.
Bráblík, František
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Software systems
Master's thesis defence: Dynamic autotuning of SpMV kernel in CUSP library | Theses on a related topic

3.
Čáp, Filip
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: GPU akcelerace extrakce řezu z voxelového pole | Theses on a related topic

4.
Čermák, Jiří
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Porovnání modelovacích schopností verifikačních nástrojů | Theses on a related topic

5.
Čermák, Marek
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security
Master's thesis defence: Programovatelné grafické procesory a jejich aplikace v kryptografii | Theses on a related topic

6.
David, Vojtěch
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Akcelerace kódování LDGM na grafických kartách | Theses on a related topic
Bachelor's thesis defence: Akcelerace kódování LDGM na grafických kartách | Theses on a related topic

7.
David, Vojtěch
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Akcelerace inter-frame predikce standard H.265 na masivně paralelních GPU architekturách | Theses on a related topic

8.
Fabian, Martin
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Extrakce MPEG-7 deskriptorů pomocí GPU | Theses on a related topic

9.
Fikar, Pavel
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Networks and Communication
Master's thesis defence: Paralelní návrh a GPU implementace kompresního standardu HTJ2K | Theses on a related topic

10.
Havlíček, Jan
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Untimed LTL Model Checking of Timed Automata | Theses on a related topic

11.
Kačenga, Martin
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Implementace GPU akcelerovaného aritmetického kodéru pro GPUJPEG | Theses on a related topic

12.
Kiska, Jakub
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: GPU acceleration of the continuous heterogeneity analysis in Xmipp | Theses on a related topic

13.
Kremláček, Jakub
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Metody pro urychlení paralelních algoritmů s pomocí GPU | Theses on a related topic

14.
Kriho, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Enhanced parser for DVE modelling language | Theses on a related topic

15.
Kučera, Tadeáš
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Mathematics with Informatics
Master's thesis defence: API pro monitorování chování programů v kontextu nástroje DIVINE | Theses on a related topic

16.
Madzin, Matúš
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Source-to-source compilation of mapped functions sequences in CUDA | Theses on a related topic

17.
Matela, Jiří
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Implementace JPEG2000 komprese na GPU | Theses on a related topic

18.
Moráček, Martin
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Simulátor pro modelovací jazyk nástroje DiVinE | Theses on a related topic

19.
Mosnáček, Ondrej
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Key derivation functions and their GPU implementations | Theses on a related topic

20.
Novák, Peter
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Zlepšení metody predikce výkonu fúzovaných CUDA kernelů | Theses on a related topic

21.
Novosad, Jiří
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Predicate Abstraction of DiVinE Models | Theses on a related topic

22.
Olšák, Marek
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Refaktorizace kódu a implementace urychlujících algoritmů do programu AutoGrid | Theses on a related topic

23.
Rosecký, Václav
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Verifikační manažer pro explicitní ověřování modelu | Theses on a related topic

24.
Rusňák, Vít
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Návrh a implementace aritmetického kodéru pro platformu CUDA | Theses on a related topic

25.
Sečkář, Petr
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Výukový nástroj pro vlnkovou transformaci a jeho efektivní implementace s využitím GPU | Theses on a related topic

26.
Selečéni, Miloš
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Paralelizace intra-frame kódování v H.265 pro architektury grafických karet | Theses on a related topic

27.
Stibora, Radek
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Stavba SBVH na grafickém hardware | Theses on a related topic

28.
Šifalda, Michael
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: GPU akcelerace převodu mezi kartézskými a sférickými souřadnicemi | Theses on a related topic

29.
Šimeček, Pavel
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: DiVinE - Prostředí pro distribuovanou verifikaci | Theses on a related topic

30.
Španger, Jakub
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: GPU acceleration of GlobalQuake application | Theses on a related topic

31.
Šrom, Martin
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: GPU implementace adaptivního aritmetického kodéru pro JPEG2000 | Theses on a related topic

32.
Toma, Marek
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Evolution of Nvidia GPU from microarchitectures Pascal to Ampere | Theses on a related topic

33.
Tomáštík, Marek
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Porovnání nástrojů pro paralelní LTL model checking | Theses on a related topic

34.
Vašátko, Libor
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Vysoce propustná debayerizace pro snímání kamerami s vysokým temporálním rozlišením | Theses on a related topic

35.
Vinkler, Marek
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Sledování paprsku na programovatelných grafických kartách | Theses on a related topic

36.
Vinkler, Marek
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Construction of Acceleration Data Structures for Ray Tracing | Theses on a related topic

37.
Vinkler, Marek
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Computer Graphics
Advanced Master's thesis defence: Acceleration Data Structure Construction for Ray tracing | Theses on a related topic

39.
Andrášik, Daniel
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Geography, Lower Secondary School Teacher Training in History
Bachelor's thesis defence: Tematický atlas památek UNESCO v Polsku | Theses on a related topic

40.
Andrášik, Daniel
Faculty: Faculty of Education
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Geography, Lower Secondary School Teacher Training in History
Master's thesis defence: Terénní výuka zeměpisu na příkladu Jablunkovska | Theses on a related topic

41.
Babiak, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Výpočet charakteristických vzorců pro LTL | Theses on a related topic

42.
Babiak, Tomáš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Almost linear Bűchi automata | Theses on a related topic

43.
Babiak, Tomáš
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Translation of Linear Temporal Logic to Omega-Automata | Theses on a related topic

44.
Babiak, Tomáš
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Translation of LTL to omega-automata | Theses on a related topic

45.
Bača, Vladimír
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Počítačová podpora pro specifikaci požadavků v LTL | Theses on a related topic

46.
Báčová, Radka
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Bachelor's thesis defence: Koncepce tematické mapy vybraného prvku z oblasti životního prostředí | Theses on a related topic

47.
Baranová, Zuzana
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Compiling Applications for Analysis with DIVINE | Theses on a related topic

48.
Bařina, Karel
Faculty: Faculty of Science
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Geography / Geography and Cartography (combination/specialization: Cartography and Geoinformatics)
Master's thesis defence: Návrh koncepce a legendy mapy folklórních prvků na příkladu jihomoravské etnografické oblasti | Theses on a related topic

49.
Bauch, Petr
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: DiVinE-MC Win32 port | Theses on a related topic

50.
Bednářová, Hana
Faculty: Faculty of Social Studies
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / Media Studies and Journalism (combination/specialization: Journalism), Political Science
Bachelor's thesis defence: Návraty ke kořenům – série publicistických rozhovorů se slavnými rodáky Zlínského okresu | Theses on a related topic