Theses on the same topic (having an identical keyword):
formal verificationKeywords ordered alphabetically | Keywords ordered by occurrence rate
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 | Theses on a related topic
GPU Accelerated Enumerative Model Checking
(Milan Češka)2009, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/dlvdw/ | Informatika / | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
GPU Accelerated Enumerative Model Checking
(Milan Češka)2009, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/dlvdw/ | Informatika / | Theses on a related topic
Grafické karty a kryptoměny
(Martin Portych)2024, Bakalářská práce, Fakulta informatiky a managementu / Univerzita Hradec Králové
• http://evskp.uhk.cz/eB15125 | Aplikovaná informatika / | Theses on a related topic
Sada testovacích úloh pro grafické karty
(Josef Oškera)2024, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//3eu767// | Informační technologie a umělá inteligence / | Theses on a related topic
Paralelizace metod pro analýzu dynamických systémů pomocí grafické karty
(Jan Papoušek)2011, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/tzeos/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic
Analýza možností zvýšení výkonu notebooku pomocí externí grafické karty
(Michal Gadlena)2016, Bakalářská práce, Fakulta aplikované informatiky / Univerzita Tomáše Bati ve Zlíně
• http://theses.cz/id//omlerd// | Inženýrská informatika / Informační technologie v administrativě | Theses on a related topic
Využití grafické karty pro počítačovou simulaci komplexní tekutiny
(Lukáš CHRASTINA)2016, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA JANA EVANGELISTY PURKYNĚ V ÚSTÍ NAD LABEM
• http://theses.cz/id//5v5y7w// | Aplikovaná informatika / Informační systémy | Theses on a related topic