Specification of Parallel Algorithms

Specification of Parallel Algorithms

by Guy E. Blelloch
     
 

This volume contains papers presented at the DIMACS workshop on Specification of Parallel Algorithms, held in May 1994 at Princeton University. The goal of the workshop was to bring together some of the best researchers in parallel languages, algorithms, and systems to present and discuss recent developments in their areas of expertise. Among the topics discussed

See more details below

Overview

This volume contains papers presented at the DIMACS workshop on Specification of Parallel Algorithms, held in May 1994 at Princeton University. The goal of the workshop was to bring together some of the best researchers in parallel languages, algorithms, and systems to present and discuss recent developments in their areas of expertise. Among the topics discussed were new specification techniques for concurrent and distributed systems, behavioral and operational specification techniques, new parallel language and system abstractions, novel concurrent architectures and systems, large-scale parallel systems, specification tools and environments, and proof techniques for concurrent systems.

Product Details

ISBN-13:
9780821802533
Publisher:
American Mathematical Society
Publication date:
12/12/1994
Series:
DIMACS: Series in Discrete Mathematics and Theoretical Computer Science Ser., #18
Pages:
399
Product dimensions:
7.09(w) x 10.63(h) x (d)

Table of Contents

Foreword
Preface
A Case Study in Irregular Parallel Programming1
BSP Programming21
Beyond Computable Functions or Escape from the Turing Tarpit37
Compositional Specifications of Parallel Programs: Nondeterministic Data Flow51
Building Categorical Data Type Programs65
The Concurrency Factory - Practical Tools for Specification, Simulation, Verification, and Implementation of Concurrent Systems75
Operational Implication of Conditional Unity Properties91
On the Implementation of Set-based Parallel Algorithms101
On Granularity of Events in Distributed Computations115
Atomic Transactions for Multiprocessor Programming: A Formal Approach125
A Practical Parallel Programming Model143
A Program Building Tool for Parallel Applications161
Higher-Order Multiset Programming179
Specifying Parallel Programs in a Functional Language: The EPL experience201
Developing Molecular Dynamics Simulation Codes Using Mixed Language Programming225
Actor Languages for Specification of Parallel Computations239
The Mode System of Moded Flat GHC259
ABCL/f: A Future-Based Polymorphic Typed Concurrent Object-Oriented Language - Its Design and Implementation275
TLA in Pictures293
Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic309
Constraint Satisfaction as a Basis for Designing Nonmasking Fault-Tolerance341
A Discipline of Multiprogramming357
Specification and Development of Parallel Algorithms with the Proteus System383

Read More

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >