Verification of MPI Applications
Identifikátory výsledku
Kód výsledku v 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>
Nalezeny alternativní kódy
RIV/61989100:27740/15:86090479
Výsledek na webu
<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>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Verification of MPI Applications
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Verification of MPI Applications
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2015
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
AIP Conference Proceedings. Volume 1648
ISBN
978-0-7354-1287-3
ISSN
0094-243X
e-ISSN
—
Počet stran výsledku
4
Strana od-do
"830008-1"-"830008-4"
Název nakladatele
American Institute of Physics
Místo vydání
Melville
Místo konání akce
Rhodos
Datum konání akce
22. 9. 2014
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
000355339705031