SCOPUS 정보 검색 플랫폼

Electronic Notes in Theoretical Computer Science

Volumn 89, Issue 1, 2003, Pages 84-98

Benchmarking explicit state parallel model checkers

(5) Jones, Mike a Mercer, Eric G a Bao, Tonglaga a Kumar, Rahul a Lamborn, Peter a

a 3361 TMCB (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARKING; COMPUTATIONAL METHODS; COMPUTER SCIENCE; COMPUTER TESTING; COMPUTER WORKSTATIONS; ERROR ANALYSIS; PARAMETER ESTIMATION; RANDOM PROCESSES; SYNCHRONIZATION;

ASYNCHRONOUS COMMUNICATION; NETWORK OF WORKSTATIONS (NOW); PARALLEL EXPLICIT STATE MODEL CHECKING; RANDOM WALK;

PARALLEL ALGORITHMS;

EID: 16244387063 PISSN: 15710661 EISSN: None Source Type: Journal
DOI: 10.1016/S1571-0661(05)80098-2 Document Type: Conference Paper

Times cited : (3)

References (8)

1
- 0038242695
- MPI home page. http://www-unix.mcs.anl.gov/mpi/index.html.
- MPI Home Page

2
- 84870883222
- MPICH home page. http://www-unix.mcs.anl.gov/mpi/mpich/indexold.html.
- MPICH Home Page

3
- 18544388114
- Property driven distribution of nested DFS
- Barnat J., Brim L., Černá I. Property driven distribution of nested DFS. Technical Report VCL-2002, Faculty of Informatics, Masaryk University. 2002
- (2002) Technical Report VCL-2002, Faculty of Informatics, Masaryk University
- Barnat, J.¹ Brim, L.² Černá, I.³

4
- 0002479933
- Reporting computational experiments with parallel algorithms: Issues
- Barr R., Hickman B. Reporting computational experiments with parallel algorithms: Issues. measures, and experts. INFORMS Journal on Computing. 5:(1):1993;2-18
- (1993) Measures, and Experts. INFORMS Journal on Computing , vol.5 , Issue.1 , pp. 2-18
- Barr, R.¹ Hickman, B.²

5
- 18944396910
- A performance study of distributed timed automata reachability analysis
- Mislove Michael Brno, Czech Republic: Springer-Verlag
- Behrmann G. A performance study of distributed timed automata reachability analysis. Mislove Michael. Workshop on Parrallel and Distributed Model Checking 2002, volume 68 of Electronic Notes in Theorical Computer Science. 7:23, August 2002;Springer-Verlag, Brno, Czech Republic
- (2002) Workshop on Parrallel and Distributed Model Checking 2002, Volume 68 of Electronic Notes in Theorical Computer Science , vol.7
- Behrmann, G.¹

6
- 13044254875
- Introduction to Parallel Computing: Design and Analysis of Algorithms
- Kumar Vipin, Grama Ananth, Gupta Anshul, Karypis Geroge. Introduction to Parallel Computing: Design and Analysis of Algorithms. Benjamin/Cummings Publishing Company. 1993
- (1993) Benjamin/Cummings Publishing Company
- Kumar, V.¹ Grama, A.² Gupta, A.³ Karypis, G.⁴

7
- 22844454480
- Distributed-memory model checking in SPIN
- The SPIN Workshop Springer
- Lerda F., Sisto R. Distributed-memory model checking in SPIN. The SPIN Workshop. olume 1680 of Lecture Notes in Computer Science. 1999;Springer
- (1999) Olume 1680 of Lecture Notes in Computer Science
- Lerda, F.¹ Sisto, R.²

8
- 84947425596
- Parallelizing the Mur' verifier
- Orna Grumburg. Haifa, Israel: Springer-Verlag
- Stern Ulrich, Dill David L. Parallelizing the Mur' verifier. Grumburg Orna. omputer-Aided Verification, CAV '97, volume 1254 of Lecture Notes in Computer Science. June 1997;256-267 Springer-Verlag, Haifa, Israel
- (1997) Omputer-Aided Verification, CAV '97, Volume 1254 of Lecture Notes in Computer Science , pp. 256-267
- Stern, U.¹ Dill, D.L.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.