Mgr. Jan Tušil
Bakalářská práce
Partial Order redukce pro LLVM
Partial Order Reduction for LLVM
Anotace:
Cílem této práce je vytvořit nástroj pro: 1) překlad programů využívajících knihovnu posixových vláken (pthreads) z (podmnožiny) jazyka LLVM IR do jazyka pro popis přechodových systémů NTS 2) a následnou sekvencializace výsledného přechodovýho systému s využítím statické Partial Order redukce.Abstract:
The goal of this thesis is to create a tool, which can be able to: 1) translate programs, which use posix threads (pthreads), from (subset of) LLVM IR to NTS (Numerical Transition Systems) language 2) sequentialize resulting transition system with use of Static Partial Order Reduction
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 18. 5. 2015
Identifikátor:
https://is.muni.cz/th/f18pq/
Obhajoba závěrečné práce
- Obhajoba proběhla 19. 6. 2015
- Vedoucí: Mgr. Petr Bauch, Ph.D.
- Oponent: doc. RNDr. Jan Strejček, 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 informatikyBakalářský studijní program / obor:
Informatika / Programovatelné technické struktury
Práce na příbuzné téma
-
Partial Order Reduction in Parallel Model Checking
Petr Ročkai -
Disjunctive Modal Transition Systems
Nikola Beneš -
Modal Transition Systems: Extensions and Analysis
Jan Křetínský