From Transformations to Methodology in Parallel Program Development: A Case Study (1996)

by Sergei Gorlatch
Venue:Microprocessing and Microprogramming
Citations:4 - 1 self

Active Bibliography

Efficient Functional Programming Communication Functions on the AP1000 – Seng Wai Loke - 1994
2 Abstraction and Performance in the Design of Parallel Programs – Sergei Gorlatch, Der Fakultat, Mathematik Informatik, Zusammenfassung Der Veroffentlichungen - 1997
4 Parallelization of Divide-and-Conquer in the Bird-Meertens Formalism – Sergei Gorlatch, Christian Lengauer - 1995
1 Solving Large Systems of Differential Equations in Parallel Using Covers and Skeletons – Sudholt Piepenbrock, M. Sudholt, C. Piepenbrock, K. Obermayer - 1997
8 Data Distribution Algebras - A Formal Basis for Programming Using Skeletons – Mario Südholt - 1994
12 Extracting and Implementing List Homomorphisms in Parallel Program Development – Sergei Gorlatch - 1997
26 Systematic Efficient Parallelization of Scan and Other List Homomorphisms – Sergei Gorlatch - 1996
3 A lazy, self-optimising parallel matrix library – David N. Turner (ed, Paul H. J. Kellyill, Simon Govier, Simon Govier, Paul H J Kelly - 1995
9 Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms – Klaus Achatz, Wolfram Schulte - 1995
23 Parallel Programming, List Homomorphisms and the Maximum Segment Sum Problem – Murray Cole - 1993
9 List Homomorphic Parallel Algorithms for Bracket Matching – Murray Cole - 1993
4 Deriving Parallel Numerical Algorithms using Data Distribution Algebras: Wang's Algorithm – Peter Pepper, Des Fachbereichs Informatik, Mario Südholt, Mario Sudholt, Fachgebiet Programmiersprachen Und - 1996
20 Towards Parallel Programming by Transformation: The FAN Skeleton Framework – Marco Aldinucci, Sergei Gorlatch, S. Gorlatch, Susanna Pelagatti, Christian Lengauer, S. Pelagatti - 2001
5 Formal Derivation of Divide-and-Conquer Programs: A Case Study in the Multidimensional FFT's – Sergei Gorlatch, Holger Bischof - 1997
58 A cost calculus for parallel functional programming – D. B. Skillicorn - 1995
12 Parallelization of Divide-and-Conquer by Translation to Nested Loops – Christoph A. Herrmann, Christian Lengauer - 1997
2 Transformational Derivation of (parallel) Programs Using Skeletons – Eerke A. Boiten, A. Max Geerling, Helmut A. Partsch
2 Formal Derivation and Implementation of Divide-and-Conquer on a Transputer Network – Sergei Gorlatch - 1994
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997