Parallel algorithm derivation and program transformation
by Paige, Robert A. Reif, J. H., (John H.) Wachter, R. F.
Transformational programming and parallel computation are two emerging fields that may ultimately depend on each other for success. Perhaps because ad hoc programming on sequential machines is so straightforward, sequential programming methodology has had little impact outside the academic community, and transformational methodology has had little impact at all. However, because ad hoc programming for parallel machines is so hard, and because progress in software construction has lagged behind …
Read More ↓Title Statements
- Full title :Parallel algorithm derivation and program transformation / edited by Robert Paige, John Reif, Ralph Wachter.
Summary
Transformational programming and parallel computation are two emerging fields that may ultimately depend on each other for success. Perhaps because ad hoc programming on sequential machines is so straightforward, sequential programming methodology has had little impact outside the academic community, and transformational methodology has had little impact at all. However, because ad hoc programming for parallel machines is so hard, and because progress in software construction has lagged behind architectural advances for such machines, there is a much greater need to develop parallel programming and transformational methodologies. Parallel Algorithm Derivation and Program Transformation stimulates the investigation of formal ways to overcome problems of parallel computation, with respect to both software development and algorithm design. It represents perspectives from two different communities: transformational programming and parallel algorithm design, to discuss programming, transformational, and compiler methodologies for parallel architectures, and algorithmic paradigms, techniques, and tools for parallel machine models. Parallel Algorithm Derivation and Program Transformation is an excellent reference for graduate students and researchers in parallel programming and transformational methodology. Each chapter contains a few initial sections in the style of a first-year, graduate textbook with many illustrative examples. The book may also be used as the text for a graduate seminar course or as a reference book for courses in software engineering, parallel programming or formal methods in program development.
Read More ↓Edition Statements
- Publication Date:©1993.
Publication Statements
- Publisher(s):Kluwer Academic
- Place of Publication:Boston
- Language:eng
- Publication Date:©1993.
The Physical Object
- Description:1 online resource (xx, 228 pages) : : illustrations
Edition Identifiers
- ISBN:0585273308, 9780585273303
- oclc:ocm45732724
- LC Classification:QA76.642
- Dewey Decimal:005.2/752
Table of Contents
""TABLE OF CONTENTS ""; ""LIST OF ATTENDEES AT THE ONR WORKSHOP ON PARALLEL ALGORITHM DERIVATION AND PROGRAM TRANSFORMATION""; ""SPEAKERS""; ""SYSTEM DEMONSTRATIONS""; ""Preface""; ""1 Deductive Derivation of Parallel Programs Peter Pepper""; ""2 Derivation of Parallel Sorting Algorithms""; ""3 Some Experiments in Transforming Towards Parallel Executability""; ""4 The Use of the Tupling Strategy in the Development of Parallel Programs""; ""5 Scheduling Program Task Graphs on MIMD Architectures""; ""6 Derivation of Randomized Sorting and Selection Algorithms""
Read More ↓Subjects
Writers
More from this Series
No reviews yet. Be the first to rate this work.
Related Works
more →
Communicating sequential processes
Object-oriented behavioral specifications
Programming iOS 9
Principles of Distributed Systems: 7th International Conference, OPODIS 20…
Papatriantafilou, Marina
Principles of Distributed Systems: 7th International Conference, OPODIS 20…
OPODIS (Conference), Martinique)
Introduction to Reconfigurable Computing: Architectures, Algorithms, and Applicat…
Bobda, Christophe
Rate & Review