Formal Derivation of Divide-and-Conquer Programs: A Case Study in the Multidimensional FFT's (1997)

by Sergei Gorlatch , Holger Bischof
Venue:Formal Methods for Parallel Programming: Theory and Applications. Workshop at IPPS'97
Citations:4 - 3 self

Active Bibliography

2 Abstraction and Performance in the Design of Parallel Programs – Sergei Gorlatch, Der Fakultat, Mathematik Informatik, Zusammenfassung Der Veroffentlichungen - 1997
12 Extracting and Implementing List Homomorphisms in Parallel Program Development – Sergei Gorlatch - 1997
8 (De)Composition Rules for Parallel Scan and Reduction – Sergei Gorlatch, Christian Lengauer - 1998
25 Systematic Efficient Parallelization of Scan and Other List Homomorphisms – Sergei Gorlatch - 1996
12 Parallelization of Divide-and-Conquer by Translation to Nested Loops – Christoph A. Herrmann, Christian Lengauer - 1997
19 Optimization Rules for Programming with Collective Operations – Sergei Gorlatch, Christoph Wedler, Christian Lengauer - 1999
9 Optimizing Compositions of Scans and Reductions in Parallel Program Derivation – Sergei Gorlatch - 1997
2 Parallelizing Functional Programs by Term Rewriting – Alfons Geser, Sergei Gorlatch - 1997
4 From Transformations to Methodology in Parallel Program Development: A Case Study – Sergei Gorlatch - 1996
4 Parallelization of Divide-and-Conquer in the Bird-Meertens Formalism – Sergei Gorlatch, Christian Lengauer - 1995
5 Practical Parallel Divide-and-Conquer Algorithms – Jonathan Hardwick - 1997
9 Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms – Klaus Achatz, Wolfram Schulte - 1995
2 Towards polytypic parallel programming – Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki - 1998
7 Parallelizing Functional Programs by Generalization – Alfons Geser, Sergei Gorlatch - 1997
8 Diffusion: Calculating Efficient Parallel Programs – Zhenjiang Hu , Masato Takeichi, Hideya Iwasaki - 1999
13 Towards the Classification of Algorithmic Skeletons – Duncan K. G. Campbell - 1996
3 A Compositional Framework for Developing Parallel Programs on Two Dimensional Arrays – Kento Emoto, Kento Emoto, Zhenjiang Hu, Zhenjiang Hu, Kazuhiko Kakehi, Kazuhiko Kakehi, Masato Takeichi, Masato Takeichi - 2005
10 A library of constructive skeletons for sequential style of parallel programming – Kiminori Matsuzaki, Hideya Iwasaki - 2006
55 Powerlist: a structure for parallel recursion – Jayadev Misra - 1994