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

paralelni model

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

« 1 2 3 » (celkem 22 prací)
Porovnání nástrojů pro paralelní LTL model checking
 (Marek Tomáštík)

2013, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/dk1b6/ | Informatika / Matematická informatika | Práce na příbuzné téma

Untimed LTL Model Checking of Timed Automata
 (Jan Havlíček)

2013, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/mohwa/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma

Designing Data-Parallel Graph Algorithms for Model Checking
 (Milan Češka)

2012, Disertační práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/v5ksv/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma

Model spolupráce různých evolučních algoritmů
 (Dávid WESZTER)

2018, Diplomová práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA

http://theses.cz/id//vmgtgo// | Informatika / Informační systémy | Práce na příbuzné téma

Partial Order Reduction in Parallel Model Checking
 (Petr Ročkai)

2010, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/p04i0/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma

GPU Accelerated Enumerative Model Checking
 (Milan Češka)

2009, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/dlvdw/ | Informatika / | Práce na příbuzné téma

Memory-Model-Aware Analysis of Parallel Programs
 (Vladimír Štill)

2017, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/uuunu/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma

Model spolehlivosti technické soustavy se zálohou
 (Martin Kuzniarský)

2016, Diplomová práce, Fakulta metalurgie a materiálového inženýrství / VŠB - Technická univerzita Ostrava

http://hdl.handle.net/10084/114316 | Ekonomika a řízení průmyslových systémů / Automatizace a počítačová technika v průmyslových technologiích | Práce na příbuzné téma

Model sedimentární a erozivní historie boskovické brázdy
 (Petr Holzer)

2018, Diplomová práce, Přírodovědecká fakulta / Masarykova univerzita

https://is.muni.cz/th/j85jz/ | Geologie / Geologie aplikovaná a environmentální | Práce na příbuzné téma

Optimalizační model výroby v potravinářském průmyslu
 (Katrin Blachová)

2016, Diplomová práce, Vysoká škola ekonomická v Praze

http://www.vse.cz/vskp/eid/52677 | Kvantitativní metody v ekonomice / Ekonometrie a operační výzkum | Práce na příbuzné téma

« 1 2 3 » (celkem 22 prací)