A case study: Parallel program development for a recursive numerical algorithm

  • Sergei Gorlatch
Part of the Lecture Notes in Computer Science book series (LNCS, volume 605)


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.

Unable to display preview. Download preview PDF.


  1. [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
  2. [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
  3. [FT89]
    I. Foster and S. Taylor. Strand: New concepts in parallel programming. Prentice-Hall, Englewood Cliffs, N.J., 1989.Google Scholar
  4. [Zen90]
    Chr. Zenger. Sparse grids. Technical Report SFB-Nr. 342/18/90 A, Techn. Univ. Muenchen, October 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Sergei Gorlatch
    • 1
  1. 1.Institut für Informatik TU MünchenMünchen 2Germany

Personalised recommendations