Akcelerace procesu verifikace pomocí grafické karty – Bc. Tomáš Lamr
Bc. Tomáš Lamr
Master's thesis
Akcelerace procesu verifikace pomocí grafické karty
GPU accelerated LTL Model Checking
Anotácia:
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ů …viacAbstract:
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 …viac
Jazyk práce: Czech
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
- Vedúci: 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 informatikyMasaryk University
Faculty of InformaticsMaster programme / odbor:
Applied Informatics / Applied Informatics
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ý -
Construction of a voxel map of obstacles from sparse beam distance measurements
Samuel Toman -
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á