Theses on a related topic (having the same keywords):
parallel, cluster, ltl model checking, distributed memoryKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Vaněk, Libor
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Paralelní souborové systémy pro Linux | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Paralelní souborové systémy pro Linux | Theses on a related topic
2.
Appl, Jiří
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Quantitative Probabilistic Verification in Distributed Environment | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Quantitative Probabilistic Verification in Distributed Environment | Theses on a related topic
3.
Augustinová, Jitka
Faculty: Faculty of Social Studies
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / Media Studies and Journalism, Social Policy and Social Work
Bachelor's thesis defence: Aplikace clusterové analýzy v televizním výzkumu středoškolského publika
Faculty: Faculty of Social Studies
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / Media Studies and Journalism, Social Policy and Social Work
Bachelor's thesis defence: Aplikace clusterové analýzy v televizním výzkumu středoškolského publika
4.
Blažečka, Roman
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Disaster recovery & business continuity for Datacenter | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Disaster recovery & business continuity for Datacenter | Theses on a related topic
5.
Cisár, Denis
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Philology / English Language and Literature
Master's thesis defence: Narrative Structure, Corruption and Social Class in the First Series of 'The Wire' | Theses on a related topic
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Philology / English Language and Literature
Master's thesis defence: Narrative Structure, Corruption and Social Class in the First Series of 'The Wire' | Theses on a related topic
6.
Černocký, Dalibor
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: What matters in EdTech: An Analysis of Education Technology Trends | Theses on a related topic
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: What matters in EdTech: An Analysis of Education Technology Trends | Theses on a related topic
7.
Finstrle, Luděk
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Distribuovaný souborový systém
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Distribuovaný souborový systém
8.
Fišerová, Petra
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / English-language Translation
Master's thesis defence: The En-Cz-Cz Dubbing Corpus: Introduction, Analysis | Theses on a related topic
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / English-language Translation
Master's thesis defence: The En-Cz-Cz Dubbing Corpus: Introduction, Analysis | Theses on a related topic
9.
Fouček, Šimon
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Detection of hardware and software problems using ML | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Detection of hardware and software problems using ML | Theses on a related topic
10.
Grufíková, Zdeňka
Faculty: Faculty of Economics and Administration
Year: 2005, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Priority podnikatelských aktivit v regionu jižní Moravy
Faculty: Faculty of Economics and Administration
Year: 2005, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Priority podnikatelských aktivit v regionu jižní Moravy
11.
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
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
12.
Hruška, Michal
Faculty: Faculty of Informatics
Year: 2016, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Systems
Master's thesis defence: Studie modernich features HW | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Systems
Master's thesis defence: Studie modernich features HW | Theses on a related topic
13.
Chlumský, Václav
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Plánování úloh na Gridech pomocí lokálního prohledávání | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Plánování úloh na Gridech pomocí lokálního prohledávání | Theses on a related topic
14.
Ivánek, Pavel
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Porovnání metod migrace virtuálních strojů a procesů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Porovnání metod migrace virtuálních strojů a procesů | Theses on a related topic
15.
Janík, Richard
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Výkon EJB3 v JBoss clustri | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Výkon EJB3 v JBoss clustri | Theses on a related topic
16.
Jankovič, Jaroslav
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Integrace Infinispan vlastností do Android platformy | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Integrace Infinispan vlastností do Android platformy | Theses on a related topic
17.
Jelínek, Martin
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Mobilní klient pro systém Torque | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Mobilní klient pro systém Torque | Theses on a related topic
18.
Kajsík, Marián
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Aplikace matematického software Maple pro výpočty v Gridu | Theses on a related topic
Master's thesis defence: Aplikace matematického software Maple pro výpočty v Gridu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Aplikace matematického software Maple pro výpočty v Gridu | Theses on a related topic
Master's thesis defence: Aplikace matematického software Maple pro výpočty v Gridu | Theses on a related topic
19.
Kakaš, Richard
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Automatizovaná paralelizace zpracování vstupních dat na základě kauzality | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Automatizovaná paralelizace zpracování vstupních dat na základě kauzality | Theses on a related topic
20.
Locker, Jiří
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Systém pro řízení spouštění procesů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Systém pro řízení spouštění procesů | Theses on a related topic
21.
Matela, Jiří
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Designing Image Compression Algorithms for Massively Parallel Processors | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Designing Image Compression Algorithms for Massively Parallel Processors | Theses on a related topic
22.
Matela, Jiří
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Applied Informatics
Advanced Master's thesis defence: Domain-Specific Optimizations Supporting Real-Time Image Compression | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Applied Informatics
Advanced Master's thesis defence: Domain-Specific Optimizations Supporting Real-Time Image Compression | Theses on a related topic
23.
Michalov, Ján
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Clusterable Task Scheduler | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Clusterable Task Scheduler | Theses on a related topic
24.
Pastva, Samuel
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Škálovatelná syntéza parametrů pro hypotézy formulované v logice CTL | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Škálovatelná syntéza parametrů pro hypotézy formulované v logice CTL | Theses on a related topic
25.
Pavlusíková, Zuzana
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Humanities / French Language and Literature, History of Arts
Bachelor's thesis defence: L'analyse et la comparaison des personnages féminins principaux dans l'oeuvre Isabelle Bruges de Christian Bobin | Theses on a related topic
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Humanities / French Language and Literature, History of Arts
Bachelor's thesis defence: L'analyse et la comparaison des personnages féminins principaux dans l'oeuvre Isabelle Bruges de Christian Bobin | Theses on a related topic
26.
Petriščáková, Katarína
Faculty: Faculty of Arts
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Philology / General Linguistics, Spanish Language and Literature
Master's thesis defence: Pohl'ad na problematiku dvojčlenných konsonantických skupín v slovenčine | Theses on a related topic
Faculty: Faculty of Arts
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Philology / General Linguistics, Spanish Language and Literature
Master's thesis defence: Pohl'ad na problematiku dvojčlenných konsonantických skupín v slovenčine | Theses on a related topic
27.
Petrović, Miloš
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Architectural Study for Building of a Restaurant as Part of Reconstruction of the Exhibition Grounds at "Cerna louka" (Black Meadow) in Ostrava | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Architectural Study for Building of a Restaurant as Part of Reconstruction of the Exhibition Grounds at "Cerna louka" (Black Meadow) in Ostrava | Theses on a related topic
28.
Povalová, Radoslava
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Webový nástroj/framework pro snazší analýzu malware | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Webový nástroj/framework pro snazší analýzu malware | Theses on a related topic
29.
Rábara, Radoslav
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Paralelizace časově náročných operací korpusového manažeru | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Paralelizace časově náročných operací korpusového manažeru | Theses on a related topic
30.
Ročkai, Petr
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Multi-Threaded Nested DFS | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Multi-Threaded Nested DFS | Theses on a related topic
31.
Ročkai, Petr
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Partial Order Reduction in Parallel Model Checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Partial Order Reduction in Parallel Model Checking | Theses on a related topic
32.
Ročkai, Petr
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Model Checking Software | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Model Checking Software | Theses on a related topic
33.
Ročkai, Petr
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Model Checking Software | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Model Checking Software | Theses on a related topic
34.
Sedlatá, Hana
Faculty: Faculty of Economics and Administration
Year: 2005, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Regional Development and Administration
Master's thesis defence: Kvalita podnikatelského prostředí v ČR a inovační potenciál
Faculty: Faculty of Economics and Administration
Year: 2005, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Regional Development and Administration
Master's thesis defence: Kvalita podnikatelského prostředí v ČR a inovační potenciál
35.
Sorentíny, Michal
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: JGroups Configurator and Visualiser | Theses on a related topic
Master's thesis defence: JGroups Configurator and Visualiser | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: JGroups Configurator and Visualiser | Theses on a related topic
Master's thesis defence: JGroups Configurator and Visualiser | Theses on a related topic
36.
Šedová, Magdaléna
Faculty: Faculty of Economics and Administration
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Management
Bachelor's thesis defence: Možnosti vzniku vinařského klastru v jihomoravském regionu
Faculty: Faculty of Economics and Administration
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Management
Bachelor's thesis defence: Možnosti vzniku vinařského klastru v jihomoravském regionu
37.
Šimeček, Pavel
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: External Memory LTL Model Checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: External Memory LTL Model Checking | Theses on a related topic
38.
Šlegr, Zdeněk
Faculty: Faculty of Economics and Administration
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Regional Development and Administration
Bachelor's thesis defence: Regionální inovační strategie (RIS) | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Regional Development and Administration
Bachelor's thesis defence: Regionální inovační strategie (RIS) | Theses on a related topic
39.
Štefek, Miroslav
Faculty: Faculty of Law
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Law and Business
Bachelor's thesis defence: Smlouvy bankovních služeb (obchodní podmínky) | Theses on a related topic
Faculty: Faculty of Law
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Law and Business
Bachelor's thesis defence: Smlouvy bankovních služeb (obchodní podmínky) | Theses on a related topic
40.
Štěrba, Martin
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Business Management
Bachelor's thesis defence: Možnosti a hranice regionálních klastrů v teorii a v praxi | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Business Management
Bachelor's thesis defence: Možnosti a hranice regionálních klastrů v teorii a v praxi | Theses on a related topic
41.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: LLVM Transformations for Model Checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: LLVM Transformations for Model Checking | Theses on a related topic
42.
Tomeček, Jaroslav
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Distribuovaná databáze virtuálních clusterů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Distribuovaná databáze virtuálních clusterů | Theses on a related topic
43.
Xydas, Tefkros
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Musicology
Bachelor's thesis defence: Alfred Schnittke a Polystylismus | Theses on a related topic
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Musicology
Bachelor's thesis defence: Alfred Schnittke a Polystylismus | Theses on a related topic