SPINning parallel systems software

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2318 LNCS, Issue , 2002, Pages 213-220

  Matlin, Olga Shumsky ^a   Lusk, Ewing ^a   McCune, William ^a  

^a ARGONNE NATIONAL LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

DISTRIBUTED COLLECTIONS; DYNAMIC NATURE; MULTI-PURPOSE; NETWORK SOCKETS; PARALLEL PROCESS; PARALLEL SYSTEM; PERFORMANCE AND SCALABILITIES;

MODEL CHECKING;

EID: 84893589236     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46017-9_16     Document Type: Conference Paper

References (13)

1. R. Butler, W. Gropp, and E. Lusk. A scalable process-management environment for parallel programs. In J. Dongarra, P. Kacsuk, and N. Podhorszki, editors, Recent Advances in Parallel Virutal Machine and Message Passing Interface, LNCS 1908, pages 168-175. Springer Verlag, September 2000.
2. R. Butler, W. Gropp, and E. Lusk. Components and interfaces of a process management system for parallel programs. Parallel Computing, 27:1417-1429, 2001.
3. E. Fersman and B. Jonsson. Abstraction of communication channels in Promela: A case study. In K. Havelund, J. Penix, and W. Visser, editors, Proceedings of the 7th International SPIN Workshop, LNCS 1885, pages 187-204. Springer Verlag, 2000.
4. W. Gropp and E. Lusk. MPICH. ftp://info.mcs.anl.gov/pub/mpi.
5. W. Gropp, E. Lusk, N. Doss, and A. Skjellum. A high-performance, portable implementation of the MPI Message-Passing Interface standard. Parallel Computing, 22(6):789-828, 1996.
6. G. J. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 22(5):279-295, May 1997.
7. M. Kaufmann, P. Manolios, and J S. Moore. Computer-Aided Reasoning: An Approach. Kluwer Academic Publishers, 2000.
8. O. S. Matlin, E. Lusk, and W. McCune. SPINning parallel systems software. Preprint ANL/MCS-P921-1201, Argonne National Laboratory, 2001.
9. W. McCune and E. Lusk. ACL2 for parallel systems software. In M. Kaufmann and J S. Moore, editors, Proceedings of the 2nd ACL2 Workshop. University of Texas, 2000. http://www.cs.utexas.edu/users/moore/acl2/workshop-2000.
10. Message Passing Interface Forum. MPI: A Message-Passing Interface standard. International Journal of Supercomputer Applications, 8(3/4):165-414, 1994.
11. Message Passing Interface Forum. MPI2: A message passing interface standard. International Journal of High Performance Computing Applications, 12(1-2):1-299, 1998.
12. T. C. Ruys. Low-fat recipes for SPIN. In K. Havelund, J. Penix, and W. Visser, editors, Proceedings of the 7th International SPIN Workshop, LNCS 1885, pages 287-321. Springer Verlag, 2000.
13. W. R. Stevens. Unix Network Programming, Volume 1. Prentice Hall PTR, second edition, 1998.