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 (308 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
Specification, Algebra, and Software
Language: en
Pages: 675
Authors: Shusaku Iida
Categories: Computers
Type: BOOK - Published: 2014-03-01 - Publisher: Springer

DOWNLOAD EBOOK

This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods a
Inat
Language: da
Pages: 159
Authors: Scott Taylor
Categories: Kosovo (Republic)
Type: BOOK - Published: 2000-01-01 - Publisher: Esprit de Corps Books

DOWNLOAD EBOOK

En bog om Kosovokonflikten, hvor forfatteren beskriver situationen set fra den serbiske side.
Principles of Security and Trust
Language: en
Pages: 304
Authors: David Basin
Categories: Computers
Type: BOOK - Published: 2013-02-17 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Second International Conference on Principles of Security and Trust, POST 2013, held as part of the Europe
The Treatment of Epilepsy
Language: en
Pages: 1131
Authors: Simon Shorvon
Categories: Medical
Type: BOOK - Published: 2009-07-14 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

A practical reference to the medical and surgicaltreatment of epilepsy The third edition of The Treatment of Epilepsy has beenthoroughly updated. It is a refere