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íce
Abstract:
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

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

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 Ostrava

VŠB - Technická univerzita Ostrava

Fakulta elektrotechniky a informatiky

Doktorský studijní program / obor:
Informatika, komunikační technologie a aplikovaná matematika / Informatika

Práce na příbuzné téma