Skip to main content
SpringerLink
Log in

Parallel Algorithm Derivation and Program Transformation

  • Book
  • © 1993

Overview

Editors:
  1. Robert Paige

    1. New York University, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. John Reif

    1. Duke University, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Raplh Watcher

    1. Office of Naval Reserach, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: The Springer International Series in Engineering and Computer Science (SECS, volume 231)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (7 chapters)

  1. Front Matter

    Pages I-XX
    Download chapter PDF

  2. Deductive Derivation of Parallel Programs

    • Peter Pepper
    Pages 1-53

  3. Derivation of Parallel Sorting Algorithms

    • Douglas R. Smith
    Pages 55-69

  4. Some Experiments in Transforming Towards Parallel Executability

    • H. A. Partsch
    Pages 71-109

  5. The Use of the Tupling Strategy in the Development of Parallel Programs

    • Alberto Pettorossi, Enrico Pietropoli, Maurizio Proietti
    Pages 111-151

  6. Scheduling Program Task Graphs on MIMD Architectures

    • Apostolos Gerasoulis, Tao Yang
    Pages 153-186

  7. Derivation of Randomized Sorting and Selection Algorithms

    • Sanguthevar Rajasekaran, John H. Reif
    Pages 187-205

  8. Time-Space Optimal Parallel Computation

    • Michael A. Langston
    Pages 207-223

  9. Back Matter

    Pages 225-228
    Download chapter PDF
Back to top

Keywords

About this book

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 and parallel algorithm design in order to encourage a sharing of ideas that might benefit both communities. It was hoped that exposurt: to algorithm design methods developed within the algorithm community would stimulate progress in software development for parallel architectures within the transformational community. It was also hoped that exposure to syntax directed methods and pragmatic programming concerns developed within the transformational community would encourage more realistic theoretical models of parallel architectures and more systematic and algebraic approaches to parallel algorithm design within the algorithm community. The workshop Organizers were Robert Paige, John Reif, and Ralph Wachter. The workshop was sponsored by the Office of Naval Research under grant number N00014-90-J-1421. There were 44 attendees, 28 presentations, and 5 system demonstrations. All attendees were invited to submit a paper for publication in the book. Each submitted paper was refereed by participants from the Workshop. The final decision on publication was made by the editors. There were several motivations for holding the workshop and for publishing papers contributed by its participants. Transformational programming and parallel computation are two emerging fields that may ultimately depend on each other for success.

Editors and Affiliations

  • New York University, USA

    Robert Paige

  • Duke University, USA

    John Reif

  • Office of Naval Reserach, USA

    Raplh Watcher

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation