Pregled bibliografske jedinice broj: 256061
Modeling and Verification of MPI Based Distributed Software
Modeling and Verification of MPI Based Distributed Software // Lecture notes in computer science, 4192 (2006), 1; 123-132 doi:10.1007/11846802_23 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 256061 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Modeling and Verification of MPI Based Distributed Software
Autori
Grudenić, Igor ; Bogunović, Nikola
Izvornik
Lecture notes in computer science (0302-9743) 4192
(2006), 1;
123-132
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
MPI software modeling ; MPI software verification ; abstract state machines (ASMs)
Sažetak
Communication between processes in a distributed environment is implemented using either shared memory or message passing paradigm. The message passing paradigm is used more often due to the lesser hardware requirements. MPI is a standardized message passing API with several independent implementations. Specification and verification of distributed systems is generally a challenging task. In this paper we present a case study of specification and verification of MPI based software using abstract state machines (ASMs).
Izvorni jezik
Engleski
Znanstvena područja
Računarstvo
Citiraj ovu publikaciju:
Časopis indeksira:
- Web of Science Core Collection (WoSCC)
- Science Citation Index Expanded (SCI-EXP)
- SCI-EXP, SSCI i/ili A&HCI
- Scopus
