Sold Out
Book Categories |
Foreword | ||
Preface | ||
A Case Study in Irregular Parallel Programming | 1 | |
BSP Programming | 21 | |
Beyond Computable Functions or Escape from the Turing Tarpit | 37 | |
Compositional Specifications of Parallel Programs: Nondeterministic Data Flow | 51 | |
Building Categorical Data Type Programs | 65 | |
The Concurrency Factory - Practical Tools for Specification, Simulation, Verification, and Implementation of Concurrent Systems | 75 | |
Operational Implication of Conditional Unity Properties | 91 | |
On the Implementation of Set-based Parallel Algorithms | 101 | |
On Granularity of Events in Distributed Computations | 115 | |
Atomic Transactions for Multiprocessor Programming: A Formal Approach | 125 | |
A Practical Parallel Programming Model | 143 | |
A Program Building Tool for Parallel Applications | 161 | |
Higher-Order Multiset Programming | 179 | |
Specifying Parallel Programs in a Functional Language: The EPL experience | 201 | |
Developing Molecular Dynamics Simulation Codes Using Mixed Language Programming | 225 | |
Actor Languages for Specification of Parallel Computations | 239 | |
The Mode System of Moded Flat GHC | 259 | |
ABCL/f: A Future-Based Polymorphic Typed Concurrent Object-Oriented Language - Its Design and Implementation | 275 | |
TLA in Pictures | 293 | |
Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic | 309 | |
Constraint Satisfaction as a Basis for Designing Nonmasking Fault-Tolerance | 341 | |
A Discipline of Multiprogramming | 357 | |
Specification and Development of Parallel Algorithms with the Proteus System | 383 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionSpecification of Parallel Algorithms: DIMACS Workshop, May 9-11, 1994
X
This Item is in Your InventorySpecification of Parallel Algorithms: DIMACS Workshop, May 9-11, 1994
X
You must be logged in to review the productsX
X
X
Add Specification of Parallel Algorithms: DIMACS Workshop, May 9-11, 1994, , Specification of Parallel Algorithms: DIMACS Workshop, May 9-11, 1994 to the inventory that you are selling on WonderClubX
X
Add Specification of Parallel Algorithms: DIMACS Workshop, May 9-11, 1994, , Specification of Parallel Algorithms: DIMACS Workshop, May 9-11, 1994 to your collection on WonderClub |