Parallel Algorithm Derivation and Program Transformation

Parallel Algorithm Derivation and Program Transformation edited by Robert Paige, J.H. Reif, Ralph Wachter.

This book contains selected papers from the ONR Workshop on Parallel Algorithm Design and Program Transformation that took place at New York University, Courant Institute, from Aug. 30 to Sept. 1, 1991. The aim of the workshop was to bring together computer scientists in transformational programming...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Paige, Robert (Editor), Reif, J.H (Editor), Wachter, Ralph (Editor)
Format: eBook
Language:English
Published: New York, NY : Springer US : Imprint: Springer, 1993.
Edition:1st ed. 1993.
Series:The Springer International Series in Engineering and Computer Science, 231
Springer eBook Collection.
Subjects:
Software engineering.
Microprocessors.
Computer science.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • Deductive Derivation of Parallel Programs
  • Derivation of Parallel Sorting Algorithms
  • Some Experiments in Transforming Towards Parallel Executability
  • The Use of the Tupling Strategy in the Development of Parallel Programs
  • Scheduling Program Task Graphs on MIMD Architectures
  • Derivation of Randomized Sorting and Selection Algorithms
  • Time-Space Optimal Parallel Computation.

Similar Items