An experiment in parallelizing an application using formal methods computer aided parallelization

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

Volumn 1427 LNCS, Issue , 1998, Pages 345-356

  Couturier, Raphaël ^a   Méry, Dominique ^a  

^a LORIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS; FORMAL METHODS; FORTRAN (PROGRAMMING LANGUAGE); GLUES; COMPUTER PROGRAMMING; SIGNAL ENCODING;

CLASSICAL PROGRAMMING; COMPUTER AIDED; MODEL PROBLEMS; PARALLELIZATIONS; PARALLELIZING; PROOF OBLIGATIONS; SCIENTISTS AND ENGINEERS; THEOREM PROVERS;

CODES (SYMBOLS);

EID: 0013077442     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0028757     Document Type: Conference Paper

References (15)

1. F. Anderson. A theorem prover for UNITY in Higher Order Logic. PhD thesis, Technical University Denmark, 1992.
2. K. M. Chandy and J. Misra. Parallel Program Design A Foundation. Addison-Wesley Publishing Company, 1988. ISBN 0-201-05866-9.
3. K.M. Chandy and S. Taylor. An Introduction to Parallel Programming. Jones and Bartlett, 1992.
4. J.-P. Gibson and D. Méry. A Unifying Model for Specification and Design. In D. Galmiche J.P. Bashoun, J. Fiadeiro and A. Yonezawa, editors, Proceedings of the Workshop on Proof Theory of Concurrent Object-Oriented Programming, Linz, July 1996.
5. J.-P. Gibson and D. Méry. A unifying framework for multi-semantic software development. In Max Mühlhäuser, editor, Special Issues in Object-Oriented Programming. Dpunkt, 1997.
6. C. B. Jones and R. C. Shaw. Case Studies in Systematic Soßware Development. Prentice-Hall International Series in Computer Science. Prentice-Hall, 1990. ISBNO-13-116088-5.
7. M. Kaltenbach. Model checking for unity. Technical Report TR94-31, Department of Computer Sciences, The University of Texas at Austin, December 1994.
8. Leslie Lamport. A temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, May 1994.
9. D. Hemer P. A. Lindsay. Reuse of verified design templates through extended pattern matching. Technical report, Queensland, 1997.
10. S. Owre, N. Shankar, and J. M. Rushby. The PVS specification language. Technical report, SRI International, June 14, 1993 1993.
11. B. Berche P.E. Berche, C. Chatelain. Aperiodicity-induced second-order phase transition in the 8-state potts model. Physical Review Letters. To appear.
12. W. Gropp E. Lusk A. Skjellum. Using MPI: portable parallel programming with the message passing interface. MIT Press, 1994.
13. J. M. Spivey. Understanding Z: a specification language and its formal semantics. Cambridge University Press, 1987.
14. A. Geist A. Beguelin J. Dongarra W. Jiang R. Manchek V. Sunderam. PVM: A Users' Guide and Tutorial for Networked Parallel Computing. MIT Press, 1994.
15. I. Vattulainen. News tests of random numbers for simulations in physical systems. PhD thesis, University of Helsinki, Finland, 1994.