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

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

Namespace Prefixes

PrefixIRI
n16http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989100%3A27240%2F12%3A86084410%21RIV13-GA0-27240___/
dctermshttp://purl.org/dc/terms/
n9http://localhost/temp/predkladatel/
n12http://linked.opendata.cz/resource/domain/vavai/projekt/
n10http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n7http://linked.opendata.cz/resource/domain/vavai/subjekt/
n6http://linked.opendata.cz/ontology/domain/vavai/
shttp://schema.org/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
skoshttp://www.w3.org/2004/02/skos/core#
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n11http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n17http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n5http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61989100%3A27240%2F12%3A86084410%21RIV13-GA0-27240___
rdf:type
skos:Concept n6:Vysledek
dcterms:description
Parallel and distributed systems play an important role in the development of information technologies and their application. These systems are very useful but their development and usage is inherently more difficult. A solution can be a tool focused on systematic, well-arranged design, analysis and verifications these systems. This article briefly describes the tool Kaira 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 the variant of Coloured Petri nets. The important feature of our tool is automatic generation of standalone parallel applications from models. The final application can be generated with different parallel back-ends, currently it can be threads or MPI. Parallel and distributed systems play an important role in the development of information technologies and their application. These systems are very useful but their development and usage is inherently more difficult. A solution can be a tool focused on systematic, well-arranged design, analysis and verifications these systems. This article briefly describes the tool Kaira 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 the variant of Coloured Petri nets. The important feature of our tool is automatic generation of standalone parallel applications from models. The final application can be generated with different parallel back-ends, currently it can be threads or MPI.
dcterms:title
Generating parallel applications from models based on Petri nets Generating parallel applications from models based on Petri nets
skos:prefLabel
Generating parallel applications from models based on Petri nets Generating parallel applications from models based on Petri nets
skos:notation
RIV/61989100:27240/12:86084410!RIV13-GA0-27240___
n6:predkladatel
n7:orjk%3A27240
n4:aktivita
n17:P
n4:aktivity
P(ED1.1.00/02.0070), P(GAP202/11/0340)
n4:cisloPeriodika
1
n4:dodaniDat
n5:2013
n4:domaciTvurceVysledku
n10:9330771 n10:9565256
n4:druhVysledku
n14:J
n4:duvernostUdaju
n19:S
n4:entitaPredkladatele
n16:predkladatel
n4:idSjednocenehoVysledku
137849
n4:idVysledku
RIV/61989100:27240/12:86084410
n4:jazykVysledku
n15:eng
n4:klicovaSlova
Parallel-distributed applications; Modelling; Fast prototyping; Coloured Petri nets
n4:klicoveSlovo
n11:Modelling n11:Coloured%20Petri%20nets n11:Fast%20prototyping n11:Parallel-distributed%20applications
n4:kodStatuVydavatele
SK - Slovenská republika
n4:kontrolniKodProRIV
[3E8884CF3FDB]
n4:nazevZdroje
Advances in Electrical and Electronic Engineering
n4:obor
n8:IN
n4:pocetDomacichTvurcuVysledku
2
n4:pocetTvurcuVysledku
2
n4:projekt
n12:ED1.1.00%2F02.0070 n12:GAP202%2F11%2F0340
n4:rokUplatneniVysledku
n5:2012
n4:svazekPeriodika
10
n4:tvurceVysledku
Běhálek, Marek Böhm, Stanislav
s:issn
1336-1376
s:numberOfPages
7
n9:organizacniJednotka
27240