Attributes | Values |
---|
rdf:type
| |
rdfs:seeAlso
| |
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
- 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 (en)
|
Title
| |
skos:prefLabel
| |
skos:notation
| - RIV/61989100:27740/14:86089964!RIV15-MSM-27740___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(ED1.1.00/02.0070), P(GAP202/11/0340)
|
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...onomickeParametry
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/61989100:27740/14:86089964
|
http://linked.open...terniIdentifikace
| |
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - visual programming, Message Passing Interface, parallel programming, performance analysis (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...echnickeParametry
| - 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.
|
http://linked.open...iv/tvurceVysledku
| - Böhm, Stanislav
- Šurkovský, Martin
- Běhálek, Marek
- Meca, Ondřej
|
http://linked.open...avai/riv/vlastnik
| |
http://linked.open...itiJinymSubjektem
| |
http://localhost/t...ganizacniJednotka
| |