AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution

Specification of Parallel Algorithms

About this Title

G Blelloch, Carnegie Mellon University, Pittsburgh, PA, M Chandy, California Institute of Technology, Pasadena, CA and S Jagannathan, NEC Research Institute, Princeton, NJ, Editors

Publication: DIMACS Series in Discrete Mathematics and Theoretical Computer Science
Publication Year: 1994; Volume 18
ISBNs: 978-0-8218-0253-3 (print); 978-1-4704-3976-7 (online)
DOI: https://doi.org/10.1090/dimacs/018

Read more about this volume

Table of Contents

Front/Back Matter

• View this volume's front and back matter

Chapters

• A case study in irregular parallel programming
• BSP programming
• Beyond computable functions or escape from the Turing tarpit
• Compositional specifications of parallel programs: Nondeterministic data flow
• Building categorical data type programs
• The concurrency factory - Practical tools for specification, simulation, verification, and implementation of concurrent systems
• Operational implication of conditional unity properties
• On the implementation of set-based parallel algorithm specifications
• On granularity of events in distributed computations
• Atomic transactions for multiprocessor programming: A formal approach
• A practical parallel programming model
• A program building tool for parallel applications
• Higher-order multiset programming
• Specifying parallel programs in a functional language: The EPL experience
• Developing molecular dynamics simulation codes using mixed language programming
• Actor languages for specification of parallel computations
• The mode system of moded flat GHC
• ABCL/f: A future-based polymorphic typed concurrent object-oriented language-Its design and implementation
• TLA in pictures
• Specification, transformation, and programming of concurrent systems in rewriting logic
• Constraint satisfaction as a basis for designing nonmasking fault-tolerance
• A discipline of multiprogramming
• Specification and development of parallel algorithms with the Proteus system

View full volume PDF