default search action
DIMACS Workshop: Specification of Parallel Algorithms 1994
- Guy E. Blelloch, K. Mani Chandy, Suresh Jagannathan:
Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 18, DIMACS/AMS 1994, ISBN 978-0-8218-0253-3 - Foreward. Specification of Parallel Algorithms 1994: ix-
- Preface. Specification of Parallel Algorithms 1994: xi-
- Andrew A. Chien, Mark Straka, Julian Dolby, Vijay Karamcheti, John Plevyak, Xingbin Zhang:
A Case Study in Irregular Parallel Programming. 1-20 - William F. McColl:
BSP Programming. 21-35 - Peter Wegner:
Beyond Computable Functions or Escape from the Turing Tarpit. 37-50 - K. Mani Chandy, Beverly A. Sanders:
Compositional Specifications of Parallel Programs: NondeterministicData Flow. 51-63 - David B. Skillicorn:
Building Categorical Data Type Programs. 65-73 - Rance Cleaveland, Jayesh N. Gada, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky, Shipei Zhang:
The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems. 75-89 - Yih-Kuen Tsay, Rajive L. Bagrodia:
Operational Implication of Conditional Unity Properties. 91-100 - Susan Flynn Hummel:
On the Implementation of Set-based Parallel Algorithms. 101-114 - Michel Hurfin, Noël Plouzeau, Michel Raynal:
On Granularity of Events in Distributed Computations. 115-124 - Nancy A. Lynch:
Atomic Transactions for Multiprocessor Programming: A Formal Approach. 125-142 - Lawrence Snyder:
A Practical Parallel Programming Model. 143-160 - Shakil Ahmed, Nicholas Carriero, David Gelernter:
A Program Building Tool for Parallel Applications. 161-178 - Daniel Le Métayer:
Higher-Order Multiset Programming. 179-200 - Boleslaw K. Szymanski
:
Specifying Parallel Programs in a Functional Language: The EPL Experience. 201-223 - Thomas DeBoni, John Feo, Hugh Caffey, Frederick H. Hausheer:
Developing Molecular Dynamics Simulation Codes Using Mixed Language Programming. 225-238 - Gul A. Agha, WooYoung Kim, Rajendra Panwar:
Actor Languages for Specification of Parallel Computations. 239-258 - Kazunori Ueda:
The Mode System of Moded Flat GHC. 259-274 - Kenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa:
ABCL/f: A Future-Based Polymorphic Typed Concurrent Object-Oriented Language- Its Design and Implementation. 275-291 - Leslie Lamport:
TLA in Pictures. 293-307 - Patrick Lincoln, Narciso Martí-Oliet, José Meseguer:
Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic. 309-339 - Anish Arora, Mohamed G. Gouda, George Varghese:
Constraint Satisfaction as a Basis for Designing Nonmasking Fault-Tolerance. 341-356 - Jayadev Misra:
A Discipline of Multiprogramming. 357-381 - Allen Goldberg, Peter Mills, Lars S. Nyland, Jan F. Prins, John H. Reif, James Riely
Specification and Development of Parallel Algorithms with the Proteus System. 383-399
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: