Parallel State Space Generation and Exploration on Shared-Memory Architectures

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F05%3APU55698" target="_blank" >RIV/00216305:26230/05:PU55698 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Parallel State Space Generation and Exploration on Shared-Memory Architectures
Original language description
In the paper, we discuss possibilities of parallel state space generation and exploration on shared-memory architectures for the case of Object Oriented Petri Nets. The goal is to combat the high time complexity of state spaces-based verification methods.<br>
Czech name
Paralelní generování a procházení stavových prostorů na architekturách se sdílenou pamětí
Czech description
Článek se zabývá možnostmi paralelního generování a procházení stavových prostorů na architekturách se sdílenou pamětí na případu objektově orientovaných Petriho sítí. Cílem je omezit vysokou časovou složitost metod verifikace založených na stavových prostorech.

Project
<a href="/en/project/GA102%2F04%2F0780" target="_blank" >GA102/04/0780: Automated methods and tools supporting development of reliable concurrent and distributed systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2005
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
EUROCAST2005: Cast and Tools for Robotics, Vehicular and Communication Systems
ISBN
84-689-0432-5
ISSN
—
e-ISSN
—
Number of pages
4
Pages from-to
161-164
Publisher name
The Universidad de Las Palmas de Gran Canaria
Place of publication
Las Palmas de Gran Canaria
Event location
Las Palmas de Gran Canaria, Canary Islands
Event date
Feb 7, 2005
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—

Similar results(10)