About: Generating parallel applications from models based on Petri nets

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Generating parallel applications from models based on Petri nets Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
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. (en)
Title	Generating parallel applications from models based on Petri nets Generating parallel applications from models based on Petri nets (en)
skos:prefLabel	Generating parallel applications from models based on Petri nets Generating parallel applications from models based on Petri nets (en)
skos:notation	RIV/61989100:27240/12:86084410!RIV13-GA0-27240___
http://linked.open...avai/predkladatel	Fakulta elektrotechniky a informatiky
http://linked.open...avai/riv/aktivita	P
http://linked.open...avai/riv/aktivity	P(ED1.1.00/02.0070), P(GAP202/11/0340)
http://linked.open...iv/cisloPeriodika	1
http://linked.open...vai/riv/dodaniDat	2013
http://linked.open...aciTvurceVysledku	Böhm, Stanislav Běhálek, Marek
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoká škola báňská - Technická univerzita Ostrava / Fakulta elektrotechniky a informatiky
http://linked.open...dnocenehoVysledku	137849
http://linked.open...ai/riv/idVysledku	RIV/61989100:27240/12:86084410
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Parallel-distributed applications; Modelling; Fast prototyping; Coloured Petri nets (en)
http://linked.open.../riv/klicoveSlovo	Modelling Coloured Petri nets Fast prototyping Parallel-distributed applications
http://linked.open...odStatuVydavatele	SK - Slovenská republika
http://linked.open...ontrolniKodProRIV	[3E8884CF3FDB]
http://linked.open...i/riv/nazevZdroje	Advances in Electrical and Electronic Engineering
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	IT4Innovations Centre of Excellence Modelling and verification of parallel systems
http://linked.open...UplatneniVysledku	2012
http://linked.open...v/svazekPeriodika	10
http://linked.open...iv/tvurceVysledku	Böhm, Stanislav Běhálek, Marek
issn	1336-1376
number of pages	7 (xsd:int)
http://localhost/t...ganizacniJednotka	27240
is http://linked.open...avai/riv/vysledek of	Generating parallel applications from models based on Petri nets

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 44 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software