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
Table of Contents
Front/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