Kaira

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F14%3A86089964" target="_blank" >RIV/61989100:27240/14:86089964 - isvavai.cz</a>
Alternative codes found
RIV/61989100:27740/14:86089964
Result on the web
<a href="http://verif.cs.vsb.cz/kaira" target="_blank" >http://verif.cs.vsb.cz/kaira</a>
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Kaira
Original language description
Kaira is a rapid prototyping environment that uses Message Passing Interface (MPI). It allows to automatically generate MPI programs from an abstract description and allow to verify their performance, scalability, and correctness. A unifying element in the approach is a visual programming language inspired by Colored Petri Nets. Web: http://verif.cs.vsb.cz/kaira
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ů

Internal product ID
019/13-10-2014_SW
Technical parameters
Nástroj obsahuje uživatelské rozhraní, ve kterém je možné editovat vizuální program a vkládat sekvenční C++ kód. S takto vytvořeného programu je možné automaticky vygenerovat samostatnou MPI aplikaci. Dále je možné vyvíjený program spouštět v simulátoru,sbírat jeho výkonnostní data, provádět predikci výkonu a provádět state-space analýzu. Závislosti: Linux, MPI, C++ překladač, Python.
Economical parameters
Neaplikovatelné
Owner IČO
61989100
Owner name
Vysoká škola báňská - Technická univerzita Ostrava

Similar results(10)