Pregled bibliografske jedinice broj: 65777
Communication Based Design of Parallel Programs
Communication Based Design of Parallel Programs // Annals of DAAAM for 1999 & Proceedings / Katalinic, Branko (ur.).
Beč: DAAAM International Vienna, 1999. str. 49-50 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 65777 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Communication Based Design of Parallel Programs
Autori
Blašković, Bruno ; Knežević, Petar ; Dembitz, Šandor
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Annals of DAAAM for 1999 & Proceedings
/ Katalinic, Branko - Beč : DAAAM International Vienna, 1999, 49-50
Skup
10th International DAAAM Symposium "Intelligent Manufacturing & Automation: Past - Present - Future
Mjesto i datum
Beč, Austrija, 21.10.1999. - 23.10.1999
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
parallel program verification; model checking; PVM; SPIN; protocol syinthesis
Sažetak
IN this paper an approach for parallel program design based on protocol syinthesis methodology is described. The components of a parallel program are expressed as concurrent processes and analysed with a model checker, Modified protokol synthesis methodology is used for conversion from parallel virtual machine (PVM) into the PROMELA/SPIN model checker. Such approach yields verification of critical intertask communication in earlier development phase.
Izvorni jezik
Engleski
Znanstvena područja
Elektrotehnika
