Verification of MPI Applications

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F15%3A86090479" target="_blank" >RIV/61989100:27240/15:86090479 - isvavai.cz</a>

Alternative codes found

RIV/61989100:27740/15:86090479

Result on the web

<a href="http://dx.doi.org/10.1063/1.4913034" target="_blank" >http://dx.doi.org/10.1063/1.4913034</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1063/1.4913034" target="_blank" >10.1063/1.4913034</a>

Result language

angličtina

Original language name

Verification of MPI Applications

Original language description

MPI programs are non-deterministic in general, hence standard testing methods do not guarantee a full coverage of possible behaviors even for fixed input. This text is focused on analytical tools for MPI applications that provide such guarantee by systematic exploration of programs' state space. Tools in area are introduced and when possible, benchmarked on two basic programs. In addition, we briefly introduce and compare our approach for verification of MPI applications that is implemented in our toolKaira.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

IN - Informatics

OECD FORD branch

—

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2015

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

AIP Conference Proceedings. Volume 1648

ISBN

978-0-7354-1287-3

ISSN

0094-243X

e-ISSN

—

Number of pages

4

Pages from-to

"830008-1"-"830008-4"

Publisher name

American Institute of Physics

Place of publication

Melville

Event location

Rhodos

Event date

Sep 22, 2014

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

000355339705031