Deriving parallel numerical algorithms using data distribution algebras: Wang's algorithm

Proceedings of the Hawaii International Conference on System Sciences

Volumn 1, Issue , 1997, Pages 501-510

  Pepper, Peter ^a   Sudholt, Mario ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER SYSTEMS PROGRAMMING; DATA STRUCTURES; FUNCTIONS; MATHEMATICAL TRANSFORMATIONS;

DATA DISTRIBUTION ALGEBRA; WANG'S PARTITION ALGORITHMS;

PARALLEL ALGORITHMS;

EID: 0031348222     PISSN: 10603425     EISSN: None     Source Type: None    
DOI: 10.1109/HICSS.1997.667306     Document Type: Conference Paper

References (26)

1. M. Geerling Transformational Development of Data-Parallel Algorithms Feb 1996 Katholieke Universiteit Nijmegen
2. High Performance Fortran Scientific Programming 2 1 1993 HPF Forum
3. C. B. Jay J. R.B. Cockett ESOP '94 302 316 1994 Springer Verlag Shapely types and shape polymorphism
4. L. Meertens Algorithmics — towards programming as a mathematical activity In CWI Symposium on Mathematics and Computer Science 289 334 In CWI Symposium on Mathematics and Computer Science 1986
5. P. H. Michielse H. A- vac der Vorst Data transport in Wang's partition method Parallel Computing 7 87 95 1988
6. S. Pelagatti A Methodology for the Development and the Support of Massively Parallel Programs March 1993 Universita di Pisa-Genova-Udine
7. P. Pepper Parallel Algorithm Derivation and Program Transformation 1 53 1993 Kluwer Academic Deductive derivation of parallel programs
8. P. Pepper J. Exner M. Sudholt Formal Methods in Programming and Their Applications 217 238 1993 Springer Verlag Functional development of massively parallel programs
9. P. Pepper B. Moller Informatik und Mathematik 381 405 1991 Springer Verlag Programming with (finite) mappings
10. P. Pepper M. Siidholt Deriving numerical algorithms using data distribution algebras: Wang's algorithm June 1996 TU Berlin TR 96-2 http://Tiebb.cs.tii-berlin.de/papers/publish.ed/TR96-2. html
11. H. W. Schmidt Data-parallel object-oriented programming Fifth Australian Supercomputer Conference, Melbourne 263 272 Fifth Australian Supercomputer Conference, Melbourne 1992-December
12. D. B. Skillicorn Deriving parallel programs from specifications using cost information Science of Computer Programming 20 3 June 1993
13. W. F. Tichy M. Philippsen P. Hatcher A critique of the programming language C* Communications of the ACM 35 6 21 24 1992
14. H. A. van der Vorst Practical aspects of parallel scientific computing Future Generation Computer Systems 4 285 291 1989
15. H. H. Wang A parallel method for tridiagonal equations ACM Transactions on Mathematical Software 7 2 170 1S3 1981
16. R. Backhouse An exploration of the Bird-Meertens Formalism 1988 CS8810 Department of Mathematics and Computing Science, University of Groningen
17. F. L Bauer The Munich Project CIP. Vol. I: The Wide Spectrum Language CIP-L 1985 Springer Verlag Berlin, Heidelberg, New York, Berlin
18. R. S. Bird Constructive Methods in Computing Science 55 151 216 1989 Springer Lectures on constructive functional programming
19. T. A Bratvold Implementation of Functional Languages 1993 U. Nijmegen A Skeleton-based parallelising compiler for ML
20. M. Cole Algorithmic Skeletons: Structured Management of Parallel Computation 1989 MIT Press
21. D. B. Culler Parallel programming in Split-C. In Supercomputing 1993
22. J. Darlington Parallel programming using skeleton functions PARLE '93 146 160 PARLE '93 1993
23. K. Didrich A. Fett C. Gerke W. Grieskamp P. Pepper Programming Languages and System Architectures 228 244 1994 Springer Verlag Zurich OPAL: Design and Implementation of an Algebraic Programming Language
24. M. S. Feather Program Specification & Transformation 1987 North-Holland A survey and classification of some program transformation approaches and techniques
25. E. Gamma R. Helm R. Johnson J. Vlissides Design Patterns. Elements of Reusable Object-oriented Software 1995 Addison-Wesley Reading