Akcelerace procesu verifikace pomocí grafické karty – Bc. Tomáš Lamr
Bc. Tomáš Lamr
Diplomová práce
Akcelerace procesu verifikace pomocí grafické karty
GPU accelerated LTL Model Checking
Anotace:
Programové systémy zastávají čím dál více úloh, ve kterých není přípustné jejich selhání. Například při řízení letového provozu by chyba programu mohla ohrozit nejen majetek leteckých společností ale i zdraví a životy cestujících. Z toho důvodu jsou vyvíjeny metody formální verifikace, které matematicky dokáží korektnost, tj. bezchybnost daného programového vybavení. Jedním z nejpoužívanějších přístupů …víceAbstract:
Modern computer systems plays important role that affects our lifes in many cases. For example, if a system for air traffic control would fail, there could be many losses on possession of Air transport companies, or even passengers could be in danger. These systems needs to be verified. It's important to be sure, that there are no bugs inside of them. Many methods of formal verification arose, one …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 25. 5. 2009
Identifikátor:
https://is.muni.cz/th/lx49p/
Obhajoba závěrečné práce
- Obhajoba proběhla 3. 7. 2009
- Vedoucí: prof. RNDr. Jiří Barnat, Ph.D.
- Oponent: RNDr. Milan Češka, Ph.D.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyMagisterský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika
Práce na příbuzné téma
-
Designing Data-Parallel Graph Algorithms for Model Checking
Milan Češka -
Diferenciální lokalizace MAP65-2 a MAP65-3 v Arabidopsis
Renáta ŠNAUROVÁ -
Identifikace aminokyselin fosforylovaných proteinkinasou GSK3 v proteinu MAP2c
Róbert Šándor -
Regulace fosforylace MAP2c pomocí GSK3 beta po aktivaci různými kinázami a vliv fosforylace na její interakce.
Róbert Šándor -
Efekt fosforylace proteinu MAP2c prolinem řízenými kinázami
Václav Dvorský -
Regulace energetického metabolizmu lidských pluripotentních kmenových buněk prostřednictvím modulace MAP kinázové a PI3 kinázové signální dráhy
Kateřina Holomková -
User-centered map visualization of career growth
Markéta Kučerová -
Patrolling Games Map Editor
Petr Balnar