Number of the records: 1  

Automatické dokazování správnosti paralelních programů

  1. Title statementAutomatické dokazování správnosti paralelních programů [rukopis] : Implementace systému zdrojů / Vojtěch Pikal
    Additional Variant TitlesAutomatické dokazování správnosti paralelních programů
    Personal name Pikal, Vojtěch (dissertant)
    Translated titleAutomatic verification of correctness of parallel programs
    Issue data2010
    Phys.des.59 s. + 1 CD
    NoteVed. práce Michal Krupka
    Another responsib. Krupka, Michal (thesis advisor)
    Outrata, Jan (opponent)
    Another responsib. Univerzita Palackého. Katedra informatiky (degree grantor)
    Keywords správnost programů * synchronizace * paralelní programování * kritická sekce * sdílené proměnné * vzájemné vyloučení * program verification * synchronization * parallel programing * critical section * shared variables * mutual exclusion
    Form, Genre bakalářské práce bachelor's theses
    UDC (043)378.22
    CountryČesko
    Languagečeština
    Document kindPUBLIKAČNÍ ČINNOST
    TitleBc.
    Degree programBakalářský
    Degree programInformatika
    Degreee disciplineInformatika
    book

    book

    Kvalifikační práceDownloadedSizedatum zpřístupnění
    133885-890015313.pdf34207.3 KB12.08.2010
    PosudekTyp posudku
    133885-ved-792573965.txtPosudek vedoucího
    133885-opon-653348680.txtPosudek oponenta

    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 další možnosti rozšíření funkcionalit systému.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 program logic and possibilities of further extension of the functionality of the system are discussed.

Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.