Kaira: Generating parallel libraries and their usage with Octave
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F13%3A86088839" target="_blank" >RIV/61989100:27240/13:86088839 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/61989100:27740/13:86088839
Výsledek na webu
<a href="http://dx.doi.org/10.1007/978-3-642-37658-0_20" target="_blank" >http://dx.doi.org/10.1007/978-3-642-37658-0_20</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-642-37658-0_20" target="_blank" >10.1007/978-3-642-37658-0_20</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Kaira: Generating parallel libraries and their usage with Octave
Popis výsledku v původním jazyce
We are developing a tool Kaira, it is intended for modelling, simulation and generation of parallel applications. A developer is able to model parallel programs and different aspects of communication using Kaira. Models are based on our own variant of Coloured Petri Nets. Petri nets are a well established graphical and mathematical modelling language for a description of concurrent systems, but Petri nets are rarely used in the area of high performance computing. An important feature of our tool is an automatic generation of standalone parallel applications from models. In this paper we want to focus on the new Kaira's feature, the ability to generate parallel libraries. Kaira supports C++ libraries and also it is possible to generate parallel libraries for Octave. Their usage is demonstrated on a real example, parallelization of Total-FETI domain decomposition method.
Název v anglickém jazyce
Kaira: Generating parallel libraries and their usage with Octave
Popis výsledku anglicky
We are developing a tool Kaira, it is intended for modelling, simulation and generation of parallel applications. A developer is able to model parallel programs and different aspects of communication using Kaira. Models are based on our own variant of Coloured Petri Nets. Petri nets are a well established graphical and mathematical modelling language for a description of concurrent systems, but Petri nets are rarely used in the area of high performance computing. An important feature of our tool is an automatic generation of standalone parallel applications from models. In this paper we want to focus on the new Kaira's feature, the ability to generate parallel libraries. Kaira supports C++ libraries and also it is possible to generate parallel libraries for Octave. Their usage is demonstrated on a real example, parallelization of Total-FETI domain decomposition method.
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í
2013
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 7760
ISBN
978-3-642-37657-3
ISSN
0302-9743
e-ISSN
—
Počet stran výsledku
2
Strana od-do
268-269
Název nakladatele
Springer Verlag
Místo vydání
London
Místo konání akce
Tokyo
Datum konání akce
11. 9. 2012
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—