Abstract
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.
The author, a senior research associate at the Institute of Cybernetics (Kiev, the Ukraine), is currently in Munich under the sponsorship of the Alexander von Humboldt Foundation (Germany)
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
I. Foster and S. Taylor. Strand: New concepts in parallel programming. Prentice-Hall, Englewood Cliffs, N.J., 1989.
Chr. Zenger. Sparse grids. Technical Report SFB-Nr. 342/18/90 A, Techn. Univ. Muenchen, October 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gorlatch, S. (1992). A case study: Parallel program development for a recursive numerical algorithm. In: Etiemble, D., Syre, JC. (eds) PARLE '92 Parallel Architectures and Languages Europe. PARLE 1992. Lecture Notes in Computer Science, vol 605. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55599-4_134
Download citation
DOI: https://doi.org/10.1007/3-540-55599-4_134
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55599-5
Online ISBN: 978-3-540-47250-6
eBook Packages: Springer Book Archive