Detail publikace

Parallel State Space Generation and Exploration on Shared-Memory Architectures

ČEŠKA, M., KŘENA, B., VOJNAR, T. Parallel State Space Generation and Exploration on Shared-Memory Architectures. In EUROCAST2005: Cast and Tools for Robotics, Vehicular and Communication Systems. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2005. p. 161-164. ISBN: 84-689-0432-5.
Název česky
Paralelní generování a procházení stavových prostorů na architekturách se sdílenou pamětí
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Češka Milan, prof. RNDr., CSc.
Křena Bohuslav, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Klíčová slova

Paralelní výpočty, architektury se sdílenou pamětí, problém stavové exploze, formální verifikace, objektově orientované Petriho sítě.

Abstrakt

Č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.

Rok
2005
Strany
161–164
Sborník
EUROCAST2005: Cast and Tools for Robotics, Vehicular and Communication Systems
ISBN
84-689-0432-5
Vydavatel
The Universidad de Las Palmas de Gran Canaria
Místo
Las Palmas de Gran Canaria
BibTeX 
@inproceedings{BUT21445,
  author="Milan {Češka} and Bohuslav {Křena} and Tomáš {Vojnar}",
  title="Parallel State Space Generation and Exploration on Shared-Memory Architectures",
  booktitle="EUROCAST2005: Cast and Tools for Robotics, Vehicular and Communication Systems",
  year="2005",
  pages="161--164",
  publisher="The Universidad de Las Palmas de Gran Canaria",
  address="Las Palmas de Gran Canaria",
  isbn="84-689-0432-5"
}
Nahoru