Wonder Club world wonders pyramid logo
×

Specification of Parallel Algorithms: DIMACS Workshop, May 9-11, 1994 Book

Specification of Parallel Algorithms: DIMACS Workshop, May 9-11, 1994
Specification of Parallel Algorithms: DIMACS Workshop, May 9-11, 1994, , Specification of Parallel Algorithms: DIMACS Workshop, May 9-11, 1994 has a rating of 3.5 stars
   2 Ratings
X
Specification of Parallel Algorithms: DIMACS Workshop, May 9-11, 1994, , Specification of Parallel Algorithms: DIMACS Workshop, May 9-11, 1994
3.5 out of 5 stars based on 2 reviews
5
0 %
4
50 %
3
50 %
2
0 %
1
0 %
Digital Copy
PDF format
1 available   for $99.99
Original Magazine
Physical Format

Sold Out

  • Specification of Parallel Algorithms: DIMACS Workshop, May 9-11, 1994
  • Written by author Giy E. Blelloch
  • Published by American Mathematical Society, December 1994
Buy Digital  USD$99.99

WonderClub View Cart Button

WonderClub Add to Inventory Button
WonderClub Add to Wishlist Button
WonderClub Add to Collection Button

Book Categories

Authors

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


Login

  |  

Complaints

  |  

Blog

  |  

Games

  |  

Digital Media

  |  

Souls

  |  

Obituary

  |  

Contact Us

  |  

FAQ

CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!!

X
WonderClub Home

This item is in your Wish List

Specification of Parallel Algorithms: DIMACS Workshop, May 9-11, 1994, , Specification of Parallel Algorithms: DIMACS Workshop, May 9-11, 1994

X
WonderClub Home

This item is in your Collection

Specification of Parallel Algorithms: DIMACS Workshop, May 9-11, 1994, , Specification of Parallel Algorithms: DIMACS Workshop, May 9-11, 1994

Specification of Parallel Algorithms: DIMACS Workshop, May 9-11, 1994

X
WonderClub Home

This Item is in Your Inventory

Specification of Parallel Algorithms: DIMACS Workshop, May 9-11, 1994, , Specification of Parallel Algorithms: DIMACS Workshop, May 9-11, 1994

Specification of Parallel Algorithms: DIMACS Workshop, May 9-11, 1994

WonderClub Home

You must be logged in to review the products

E-mail address:

Password: