Práce na stejné téma (mají shodná klíčová slova):
formal verificationKlíčová slova abecedně | Klíčová slova dle četnosti
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
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
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
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
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
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 / | Práce na příbuzné téma
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 / | Práce na příbuzné téma
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 | Práce na příbuzné téma
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ě | Práce na příbuzné téma
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 | Práce na příbuzné téma