loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second International Symposium on Parallel and Distributed Computing
Parallel Explicit State Reachability Analysis and State Space Construction
Ljubljana, Slovenia
October 13-October 14
ISBN: 0-7695-2069-3
ASCII Text
x 
 
Dana Petcu, "Parallel Explicit State Reachability Analysis and State Space Construction," Parallel and Distributed Computing, International Symposium on, pp. 207, Second International Symposium on Parallel and Distributed Computing, 2003.
 
 
BibTex
x
 
@article{ 10.1109/ISPDC.2003.1267665,
author = {Dana Petcu},
title = {Parallel Explicit State Reachability Analysis and State Space Construction},
journal ={Parallel and Distributed Computing, International Symposium on},
volume = {0},
year = {2003},
isbn = {0-7695-2069-3 },
pages = {207},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISPDC.2003.1267665},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Parallel and Distributed Computing, International Symposium on
TI - Parallel Explicit State Reachability Analysis and State Space Construction
SN - 0-7695-2069-3
SP
EP
A1 - Dana Petcu,
PY - 2003
KW - null
VL - 0
JA - Parallel and Distributed Computing, International Symposium on
ER -
 
Dana Petcu, Western University of Timisoara
An improvement is proposed for the algorithm described in [Proc. 8th Inter. SPIN Workshop] which allows the construction of the state space associated to a system. The improvement concerns the load balancing strategy. Different message-passing implementations on a cluster of workstations are also discussed.
Citation:
Dana Petcu, "Parallel Explicit State Reachability Analysis and State Space Construction," ispdc, pp.207, Second International Symposium on Parallel and Distributed Computing, 2003
Usage of this product signifies your acceptance of the Terms of Use.