Load balancing parallel explicit state model checking

Electronic Notes in Theoretical Computer Science

Volumn 128, Issue 3, 2005, Pages 19-34

  Kumar, Rahul ^a   Mercer, Eric G ^a  

^a 3361 TMCB   (United States)

Author keywords

Communication; Distributed; Error detection; GDE; Load balancing; Model checking; Parallel; Queue size

Indexed keywords

ALGORITHMS; COMPUTER ARCHITECTURE; DISTRIBUTED COMPUTER SYSTEMS; ERROR ANALYSIS; MATHEMATICAL MODELS; PROBLEM SOLVING; SUPERCOMPUTERS;

DISTRIBUTED; GDE; LOAD BALANCING; MODEL CHECKING; PARALLEL; QUEUE SIZE;

PARALLEL PROCESSING SYSTEMS;

EID: 16244369137     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.10.016     Document Type: Conference Paper

References (16)

1. VV Lab Model Database http://vv.cs.byu.edu
2. G. Behrmann A performance study of distributed timed automata reachability analysis Electronic Notes in Theoretical Computer Science 68 2002 Elsevier
3. E.M. Clarke, T. Filkorn, and S. Jha Exploiting symmetry in temporal logic model checking Proceedings of the 5th International Conference on Computer Aided Verification 1993 Springer-Verlag 450 462
4. C. Demartini, R. Iosif, and R. Sisto. dSPIN: A dynamic extension of SPIN. In SPIN, pages 261-276, 1999
5. O. Grumberg, E.M. Clarke Jr., and D.A. Peled Model checking 2002 pages 9-11
6. P. Godefroid, and P. Wolper Using partial orders for the efficient verification of deadlock freedom and safety properties Proceedings of the 3rd International Workshop on Computer Aided Verification 1992 Springer-Verlag 332 342
7. G.J. Holzmann An analysis of bitstate hashing Proc. 15th Int. Conf on Protocol Specification, Testing, and Verification, INWG/IFIP Warsaw, Poland 1995 Chapman and Hall 301 314
8. G.J. Holzmann The model checker spin IEEE Trans. Softw. Eng. 23 5 1997 279 295
9. M. Jones, E. Mercer, T. Bao, R. Kumar, and P. Lamborn Benchmarking explicit state parallel model checkers Electronic Notes in Theoretical Computer Science 89 2003 Elsevier
10. R. Kumar, M. Jones, J. Lesuer, and E. Mercer. Exploring dynamic partitioning schemes in hopper. Technical Report 3, Verification and Validation Laboratory, Computer Science Department, Brigham Young University, Provo, Utah, September 2003
11. F. Lerda, and W. Visser Addressing dynamic issues of program model checking Lecture Notes in Computer Science 2057 2001 80 100
12. D.M. Nicol, and G. Ciardo Automated parallelization of discrete state-space generation Journal of Parallel and Distributed Computing 47 2 1997 153 167
13. U. Stern, and D.L. Dill Improved Probabilistic Verification by Hash Compaction Correct Hardware Design and Verification Methods, volume 987, Stanford University, USA 1995 Springer-Verlag 206 224
14. U. Stern, and D.L. Dill Parallelizing the Murphi verifier 1997 pages 256-278
15. M.H. Willebeek-LeMair, and A.P. Reeves Strategies for dynamic load balancing on highly parallel computers IEEE Trans. Parallel Distrib. Syst. 4 9 1993 979 993
16. C. Xu and F. Lau. Iterative dynamic load balancing in multicomputers