Toward formally-based design of message passing programs

IEEE Transactions on Software Engineering

Volumn 26, Issue 3, 2000, Pages 276-287

  Gorlatch, Sergei ^a  

^a UNIVERSITY OF PASSAU   (Germany)

Author keywords

Message passing, mpi, collective operations, program transformations, systematic program design, reduction, scan, homomorphisms, skeletons, maximum segment sum

Indexed keywords

EID: 0001064241     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.842952     Document Type: Article

References (6)

1. D. Skillicorn, Foundations of Parallel Programming. Cambridge Univ. Press. 1994.
2. S. Gorlatch, "Abstraction and Performance in the Design of Parallel Programs," Habilitation thesis, Universität Passau, MIP-9802, 1998.
3. B. Bacci, M. Danelutto, S. Orlando, S. Pelagatti, and M. Vanneschi., "P3L: A Structured High Level Programming Language and Its Structured Support," Concurrency: Practice and Experience, vol. 7, no. 3, pp. 225-255, 1995.
4. M.I. Cole, Algorithmic Skeletons: A Structured Approach to the Management of Parallel Computation. Pitman, 1989.
5. J. O'Donnell and G. Rünger, "A Methodology for Deriving Parallel Programs with a Family of Abstract Parallel Machines," Proc. Parallel Processing, Euro-Par '97, C. Lengauer, M. Griebl, and S. Gorlatch, eds., pp. 661-668,1997.
6. B. Jay, M. Cole, M. Sekanina, and P. Sleekier, "A Monadic Calculus for Parallel Costing of a Functional Language of Arrays," Proc. Parallel Processing. Euro-Par '97, C. Lengauer, M. Griebl, and S. Gorlatch, eds., pp. 650-661,1997.