Detail publikace

Parallel State Space Generation and Exploration on Shared-Memory Architectures

KŘENA, B., ČEŠKA, M., VOJNAR, T. Parallel State Space Generation and Exploration on Shared-Memory Architectures. In Computer Aided Systems Theory - EUROCAST 2005. Lecture Notes in Computer Science 3643. Berlin: Springer Verlag, 2005. p. 275-280. ISBN: 978-3-540-29002-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
Křena Bohuslav, Ing., Ph.D. (UITS)
Češka Milan, prof. RNDr., CSc.
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
275–280
Sborník
Computer Aided Systems Theory - EUROCAST 2005
Řada
Lecture Notes in Computer Science 3643
ISBN
978-3-540-29002-5
Vydavatel
Springer Verlag
Místo
Berlin
BibTeX 
@inproceedings{BUT29277,
  author="Bohuslav {Křena} and Milan {Češka} and Tomáš {Vojnar}",
  title="Parallel State Space Generation and Exploration on Shared-Memory Architectures",
  booktitle="Computer Aided Systems Theory - EUROCAST 2005",
  year="2005",
  series="Lecture Notes in Computer Science 3643",
  pages="275--280",
  publisher="Springer Verlag",
  address="Berlin",
  isbn="978-3-540-29002-5"
}
Nahoru