Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 256061

Modeling and Verification of MPI Based Distributed Software


Grudenić, Igor; Bogunović, Nikola
Modeling and Verification of MPI Based Distributed Software // Lecture Notes in Computer Science, 4192 (2006), 1; 123-132 (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



POVEZANOST RADA


Projekti:
0036051

Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb

Profili:

Avatar Url Igor Grudenić (autor)

Avatar Url Nikola Bogunović (autor)

Citiraj ovu publikaciju

Grudenić, Igor; Bogunović, Nikola
Modeling and Verification of MPI Based Distributed Software // Lecture Notes in Computer Science, 4192 (2006), 1; 123-132 (međunarodna recenzija, članak, znanstveni)
Grudenić, I. & Bogunović, N. (2006) Modeling and Verification of MPI Based Distributed Software. Lecture Notes in Computer Science, 4192 (1), 123-132.
@article{article, year = {2006}, pages = {123-132}, keywords = {MPI software modeling, MPI software verification, abstract state machines (ASMs)}, journal = {Lecture Notes in Computer Science}, volume = {4192}, number = {1}, issn = {0302-9743}, title = {Modeling and Verification of MPI Based Distributed Software}, keyword = {MPI software modeling, MPI software verification, abstract state machines (ASMs)} }
@article{article, year = {2006}, pages = {123-132}, keywords = {MPI software modeling, MPI software verification, abstract state machines (ASMs)}, journal = {Lecture Notes in Computer Science}, volume = {4192}, number = {1}, issn = {0302-9743}, title = {Modeling and Verification of MPI Based Distributed Software}, keyword = {MPI software modeling, MPI software verification, abstract state machines (ASMs)} }

Časopis indeksira:


  • Web of Science Core Collection (WoSCC)
    • SCI-EXP, SSCI i/ili A&HCI
  • Scopus





Contrast
Increase Font
Decrease Font
Dyslexic Font