Kaira: Development environment for 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%2F14%3A86092193" target="_blank" >RIV/61989100:27240/14:86092193 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/61989100:27740/14:86092193
Výsledek na webu
<a href="http://download.springer.com/static/pdf/40/chp%253A10.1007%252F978-3-319-07734-5_22.pdf?auth66=1426168592_a675c63201f6c8aed4b9235d7ce965c9&ext=.pdf" target="_blank" >http://download.springer.com/static/pdf/40/chp%253A10.1007%252F978-3-319-07734-5_22.pdf?auth66=1426168592_a675c63201f6c8aed4b9235d7ce965c9&ext=.pdf</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-07734-5_22" target="_blank" >10.1007/978-3-319-07734-5_22</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Kaira: Development environment for MPI applications
Popis výsledku v původním jazyce
This tool paper presents Kaira (http://verif.cs.vsb.cz/ kaira/) - a tool for simplifying development of parallel applications in the area of scientific and engineering computations for distributed memory systems. Our goal is to provide an environment inwhich a user can implement and experiment with his or her ideas in a short time; create a real running program; and verify its performance, scalability, and correctness. A unifying element in our approach is a visual programming language inspired by Colored Petri Nets that is used to define the parallel behavior, to show an inner state of a developed application back to the user, and for configurations of analyzes.
Název v anglickém jazyce
Kaira: Development environment for MPI applications
Popis výsledku anglicky
This tool paper presents Kaira (http://verif.cs.vsb.cz/ kaira/) - a tool for simplifying development of parallel applications in the area of scientific and engineering computations for distributed memory systems. Our goal is to provide an environment inwhich a user can implement and experiment with his or her ideas in a short time; create a real running program; and verify its performance, scalability, and correctness. A unifying element in our approach is a visual programming language inspired by Colored Petri Nets that is used to define the parallel behavior, to show an inner state of a developed application back to the user, and for configurations of analyzes.
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í
2014
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
Lecture Notes in Computer Science. Volume 8489
ISBN
978-3-319-07733-8
ISSN
0302-9743
e-ISSN
—
Počet stran výsledku
10
Strana od-do
385-394
Název nakladatele
Springer Verlag
Místo vydání
London
Místo konání akce
Tunis
Datum konání akce
23. 6. 2014
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—