Kaira: Development environment for MPI applications

Result code in 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>
Alternative codes found
RIV/61989100:27740/14:86092193
Result on the web
<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>

Result language
angličtina
Original language name
Kaira: Development environment for MPI applications
Original language description
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.
Czech name
—
Czech description
—

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
2014
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)