Verification of Parallel Applications – Ondřej Meca
Ondřej Meca
Disertační práce
Verification of Parallel Applications
Verification of Parallel Applications
Anotace:
Tato dizertační práce se zaměřuje na verifikaci paralelních aplikací. Konkrétně aplikací implementovaných pomocí MPI (rozhraní pro posílání zpráv mezi procesy). Text je rozdělen na dvě části. První část se zaměřuje na implementaci verifikace stavového prostoru do veřejně dostupného nástroje Kaira, který je vyvíjen na fakultě elektotechniky a informatiky na Vysoké škole báňské v Ostravě. Kaira představuje …víceAbstract:
This thesis focuses on verification of parallel applications. In particular, applications written in MPI (Message Passing Interface). The text is divided into two parts. The first part describes an implementation of state space verification into the publicly available tool Kaira developed at the Faculty of Electrical Engineering and Computer Science at the Technical University of Ostrava. Kaira is …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 30. 8. 2018
Identifikátor:
http://hdl.handle.net/10084/137504
Obhajoba závěrečné práce
- Obhajoba proběhla 10. 1. 2019
- Vedoucí: Petr Jančar
- Oponent: Ondřej Jakl, Adam Rogalewicz, Jan Strejček
Citační záznam
Citace dle ISO 690:
MECA, Ondřej. \textit{Verification of Parallel Applications} Online. Disertační práce. Ostrava: Vysoká škola báňská - Technická univerzita Ostrava, Fakulta elektrotechniky a informatiky. 2018. Dostupné z: https://theses.cz/id/3bczkt/. [cit. 2024-03-29].
Plný text práce
Právo: Plné texty vysokoškolských kvalifikačních prací obhájených na Vysoké škole báňské - Technické univerzitě Ostrava jsou uloženy v repozitáři DSpace. Přístup k plným textům mají všichni uživatelé bez omezení. Přístup je omezen pouze ve výjimečných případech, zpravidla z důvodu ochrany duševního vlastnictví. Nepřístupné práce jsou označeny jako closedAccess nebo embargoedAccess. Tištěné verze prácí jsou uloženy v Ústřední knihovně VŠB-TUO a jsou prezenčně přístupné ve studovně diplomových prací. Další nakládání s prací (kopírování, opisy, MVS)se řídí Knihovní a výpůjčním řádem Ústřední knihovny VŠB-TUO.
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- autentizovaným zaměstnancům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: VŠB - Technická univerzita OstravaVŠB - Technická univerzita Ostrava
Fakulta elektrotechniky a informatikyDoktorský studijní program / obor:
Informatika, komunikační technologie a aplikovaná matematika / Informatika
Práce na příbuzné téma
-
Designing Data-Parallel Graph Algorithms for Model Checking
Milan Češka -
Analysis of Parallel C++ Programs
Vladimír Štill -
Drobná próza české dekadence
Jiří SOUKUP -
Partial Order Reduction in Parallel Model Checking
Petr Ročkai