Automatické dokazování správnosti paralelních programů – Vojtěch Pikal
Vojtěch Pikal
Bakalářská práce
Automatické dokazování správnosti paralelních programů
Implementace systému zdrojů
Automatic verification of correctness of parallel programs
Anotace:
Práce popisuje systém zdrojů - nástroj pro paralelní programování, který pomáhá zajistit správnost vytvářeného programu. Systém zdrojů je programátorský nástroj, který slouží ke správě sdílených proměnných a zaručuje správný přístup k nim. Systém zajišťuje, že při nesprávném použití je při kompilaci kódu ohlášena chyba. V práci je proveden důkaz správnosti systému pomocí programové logiky a jsou diskutovány …víceAbstract:
The thesis describes a system of resources - a tool of parallel programming, which helps to ensure the correctness of the created program. The system of resources is a programmer toolkit that is used to manage shared variables and guarantees the right approach to them. The system ensures that the improper use will cause an error during compilation. The thesis prooves the correctness of the system exploiting …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 12. 8. 2010
Obhajoba závěrečné práce
- Obhajoba proběhla 24. 8. 2010
- Vedoucí: Michal Krupka
- Oponent: Jan Outrata
Citační záznam
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- Soubory jsou od 12. 8. 2010 dostupné: světu
Univerzita Palackého
Přírodovědecká fakultaBakalářský studijní program / obor:
Informatika / Informatika
Práce na příbuzné téma
-
Sada příkladů paralelního programování
Petr Semenišín -
Synchronizace sektoru bydlení s hospodářským cyklem
Barbora Bečková -
Synchronizace sektoru nemovitostí a hospodářského cyklu: Evropská perspektiva
Lucie Krausová -
Synchronizace
Jan Ševčík -
Synchronizace systémového času počítače
Miroslav Nečesaný -
Synchronizace v nelineárních dynamických systémech
Jan Revenda -
Zkoumání synchronizace hospodářského cyklu pomocí DSGE modelu
Hana Dittrichová -
Synchronizace hospodářských cyklů
Zuzana Knapeková
Název
Vložil
Vloženo
Práva