Developing parallel applications using Kaira

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F11%3A86080888" target="_blank" >RIV/61989100:27240/11:86080888 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-642-22389-1_22" target="_blank" >http://dx.doi.org/10.1007/978-3-642-22389-1_22</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-642-22389-1_22" target="_blank" >10.1007/978-3-642-22389-1_22</a>

Result language
angličtina
Original language name
Developing parallel applications using Kaira
Original language description
We are developing a tool named Kaira. This tool is intended for modelling, simulation and generation of parallel applications. Modelling is based on the variant of Coloured Petri Nets. Coloured Petri Nets provide the theoretical background and we use their syntax and semantics. Moreover our tool can automatically generate standalone parallel applications from the model. In this paper we present how to develop parallel applications in Kaira. Like an example we use two dimensional heat flow problem solvedby Jacobi finite difference method. We present different aspects and different approaches how to model this problem in Kaira on different levels of abstraction.
Czech name
—
Czech description
—

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
IN - Informatics
OECD FORD branch
—

Project
<a href="/en/project/GAP202%2F11%2F0340" target="_blank" >GAP202/11/0340: Modelling and verification of parallel systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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

Similar results(10)