- Pravděpodobně máte vypnutý JavaScript. Některé funkce portálu nebudou funkční.
Výsledky výzkumu a vývoje
Detail publikace
| Originální název: | Parallel State Space Generation and Exploration on Shared-Memory Architectures |
|---|---|
| Český název: | Paralelní generování a procházení stavových prostorů na architekturách se sdílenou pamětí |
| Anglický název: | Parallel State Space Generation and Exploration on Shared-Memory Architectures |
| Autor(ři): | ČEŠKA, M., KŘENA, B., VOJNAR, T. |
| Typ: | článek ve sborníku |
| Jazyk: | en |
| Originální abstrakt: | 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. |
| Český 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. |
| Anglický abstrakt: | 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. |
| 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ě. |
| Rok RIV: | 2005 |
| Vydáno: | 11.02.2005 |
| Nakladatel: | The Universidad de Las Palmas de Gran Canaria |
| Místo: | Las Palmas de Gran Canaria |
| ISBN: | 84-689-0432-5 |
| Kniha: | EUROCAST2005: Cast and Tools for Robotics, Vehicular and Communication Systems |
| Edice: | NEUVEDEN |
| Číslo edice: | NEUVEDEN |
| Strany od: | 161 |
| Strany do: | 164 |
| Strany počet: | 4 |
