Parallel Algorithm Derivation and Program Transformation

Parallel Algorithm Derivation and Program Transformation
Author :
Publisher : Springer Science & Business Media
Total Pages : 228
Release :
ISBN-10 : 9780585273303
ISBN-13 : 0585273308
Rating : 4/5 (03 Downloads)

Book Synopsis Parallel Algorithm Derivation and Program Transformation by : Robert Paige

Download or read book Parallel Algorithm Derivation and Program Transformation written by Robert Paige and published by Springer Science & Business Media. This book was released on 2007-08-28 with total page 228 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Parallel Algorithm Derivation and Program Transformation Related Books

Parallel Algorithm Derivation and Program Transformation
Language: en
Pages: 228
Authors: Robert Paige
Categories: Computers
Type: BOOK - Published: 2007-08-28 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book contains selected papers from the ONR Workshop on Parallel Algorithm Design and Program Transformation that took place at New York University, Courant
Languages and Compilers for Parallel Computing
Language: en
Pages: 410
Authors: Samuel P. Midkiff
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the papers presented at the 13th International Workshop on Languages and Compilers for Parallel Computing. It also contains extended abstra
Program Design Calculi
Language: en
Pages: 418
Authors: Manfred Broy
Categories: Computers
Type: BOOK - Published: 2013-12-01 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that mor
Process Algebra for Parallel and Distributed Processing
Language: en
Pages: 440
Authors: Michael Alexander
Categories: Mathematics
Type: BOOK - Published: 2008-12-22 - Publisher: CRC Press

DOWNLOAD EBOOK

Collects the Latest Research Involving the Application of Process Algebra to ComputingExploring state-of-the-art applications, Process Algebra for Parallel and
Parallel Computing: Fundamentals, Applications and New Directions
Language: en
Pages: 765
Authors: E.H. D'Hollander
Categories: Computers
Type: BOOK - Published: 1998-07-22 - Publisher: Elsevier

DOWNLOAD EBOOK

This volume gives an overview of the state-of-the-art with respect to the development of all types of parallel computers and their application to a wide range o