This HTML5 document contains 45 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n22http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
n17http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989100%3A27240%2F11%3A86081257%21RIV13-GA0-27240___/
dctermshttp://purl.org/dc/terms/
n13http://localhost/temp/predkladatel/
n7http://purl.org/net/nknouf/ns/bibtex#
n21http://linked.opendata.cz/resource/domain/vavai/projekt/
n4http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n11http://linked.opendata.cz/resource/domain/vavai/subjekt/
n10http://linked.opendata.cz/ontology/domain/vavai/
n6https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n14http://bibframe.org/vocab/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n9http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n20http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n18http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n23http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n16http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61989100%3A27240%2F11%3A86081257%21RIV13-GA0-27240___
rdf:type
skos:Concept n10:Vysledek
dcterms:description
The main goal of this paper is to introduce the tool Kaira that we are developing. This tool 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. The used model is based on the variant of Coloured Petri Nets. Coloured Petri Nets provide the theoretical background. We use their syntax and semantics for our model. Moreover our tool can automatically generate standalone parallel applications from the model. The parallelism of the final application is currently based on threads or MPI. The main goal of this paper is to introduce the tool Kaira that we are developing. This tool 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. The used model is based on the variant of Coloured Petri Nets. Coloured Petri Nets provide the theoretical background. We use their syntax and semantics for our model. Moreover our tool can automatically generate standalone parallel applications from the model. The parallelism of the final application is currently based on threads or MPI.
dcterms:title
Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications
skos:prefLabel
Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications
skos:notation
RIV/61989100:27240/11:86081257!RIV13-GA0-27240___
n10:predkladatel
n11:orjk%3A27240
n3:aktivita
n18:P
n3:aktivity
P(GAP202/11/0340)
n3:dodaniDat
n16:2013
n3:domaciTvurceVysledku
n4:9330771 n4:9565256
n3:druhVysledku
n15:D
n3:duvernostUdaju
n20:S
n3:entitaPredkladatele
n17:predkladatel
n3:idSjednocenehoVysledku
207022
n3:idVysledku
RIV/61989100:27240/11:86081257
n3:jazykVysledku
n12:eng
n3:klicovaSlova
simulation; modelling; high level tool; code generation; Coloured Petri Nets
n3:klicoveSlovo
n9:high%20level%20tool n9:Coloured%20Petri%20Nets n9:simulation n9:modelling n9:code%20generation
n3:kontrolniKodProRIV
[756B984A656E]
n3:mistoKonaniAkce
Cambridge
n3:mistoVydani
345 E 47TH ST, NEW YORK, NY 10017 USA
n3:nazevZdroje
Proceedings - 2011 UKSim 13th International Conference on Modelling and Simulation
n3:obor
n23:IN
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
2
n3:projekt
n21:GAP202%2F11%2F0340
n3:rokUplatneniVysledku
n16:2011
n3:tvurceVysledku
Běhálek, Marek Böhm, Stanislav
n3:typAkce
n22:WRD
n3:zahajeniAkce
2011-03-30+02:00
s:numberOfPages
6
n14:doi
10.1109/UKSIM.2011.83
n7:hasPublisher
IEEE
n6:isbn
978-0-7695-4376-5
n13:organizacniJednotka
27240