A case study: Parallel program development for a recursive numerical algorithm
A systematic approach to the parallel program development for a new class of numerical methods on sparse grids is presented. It combines formal design and verification methods based on stream processing functions with simple tools for efficiency evaluation. The use of the approach is demonstrated on the real-life example: two-dimensional integration algorithm.
Unable to display preview. Download preview PDF.
- [BDD+92]M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, and R.Weber. The design of distributed systems-an introduction to FOCUS. Technical Report SFB-Nr. 342/2/92., Techn. Univ. Muenchen, January 1992.Google Scholar
- [Den85]J. Dennis. Data flow computation. In M. Broy, editor, Control Flow and Data Flow, volume 14 of NATO ASI Series F: Computer and System Sciences, pages 346–397. Springer, 1985.Google Scholar
- [FT89]I. Foster and S. Taylor. Strand: New concepts in parallel programming. Prentice-Hall, Englewood Cliffs, N.J., 1989.Google Scholar
- [Zen90]Chr. Zenger. Sparse grids. Technical Report SFB-Nr. 342/18/90 A, Techn. Univ. Muenchen, October 1990.Google Scholar