Specification of Parallel Algorithms

Keyphrases

Publications

1994

David B. Skillicorn
Building Categorical Data Type Programs. Specification of Parallel Algorithms (1994)
Peter Wegner
Beyond Computable Functions or Escape from the Turing Tarpit. Specification of Parallel Algorithms (1994)
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. Specification of Parallel Algorithms (1994)
Kenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa
ABCL/f: A Future-Based Polymorphic Typed Concurrent Object-Oriented Language- Its Design and Implementation. Specification of Parallel Algorithms (1994)
K. Mani Chandy, Beverly A. Sanders
Compositional Specifications of Parallel Programs: NondeterministicData Flow. Specification of Parallel Algorithms (1994)
Andrew A. Chien, Mark Straka, Julian Dolby, Vijay Karamcheti, John Plevyak, Xingbin Zhang
A Case Study in Irregular Parallel Programming. Specification of Parallel Algorithms (1994)
Leslie Lamport
TLA in Pictures. Specification of Parallel Algorithms (1994)
Shakil Ahmed, Nicholas Carriero, David Gelernter
A Program Building Tool for Parallel Applications. Specification of Parallel Algorithms (1994)
Anish Arora, Mohamed G. Gouda, George Varghese
Constraint Satisfaction as a Basis for Designing Nonmasking Fault-Tolerance. Specification of Parallel Algorithms (1994)
Kazunori Ueda
The Mode System of Moded Flat GHC. Specification of Parallel Algorithms (1994)
Boleslaw K. Szymanski
Specifying Parallel Programs in a Functional Language: The EPL Experience. Specification of Parallel Algorithms (1994)
Michel Hurfin, Noël Plouzeau, Michel Raynal
On Granularity of Events in Distributed Computations. Specification of Parallel Algorithms (1994)
Lawrence Snyder
A Practical Parallel Programming Model. Specification of Parallel Algorithms (1994)
Patrick Lincoln, Narciso Martí-Oliet, José Meseguer
Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic. Specification of Parallel Algorithms (1994)
Preface. Specification of Parallel Algorithms (1994)
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. Specification of Parallel Algorithms (1994)
Daniel Le Métayer
Higher-Order Multiset Programming. Specification of Parallel Algorithms (1994)
Gul A. Agha, WooYoung Kim, Rajendra Panwar
Actor Languages for Specification of Parallel Computations. Specification of Parallel Algorithms (1994)
Nancy A. Lynch
Atomic Transactions for Multiprocessor Programming: A Formal Approach. Specification of Parallel Algorithms (1994)
Jayadev Misra
A Discipline of Multiprogramming. Specification of Parallel Algorithms (1994)
William F. McColl
BSP Programming. Specification of Parallel Algorithms (1994)
Foreward. Specification of Parallel Algorithms (1994)
Thomas DeBoni, John Feo, Hugh Caffey, Frederick H. Hausheer
Developing Molecular Dynamics Simulation Codes Using Mixed Language Programming. Specification of Parallel Algorithms (1994)
Yih-Kuen Tsay, Rajive L. Bagrodia
Operational Implication of Conditional Unity Properties. Specification of Parallel Algorithms (1994)
Susan Flynn Hummel
On the Implementation of Set-based Parallel Algorithms. Specification of Parallel Algorithms (1994)

volume 18, 1994

Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994 Specification of Parallel Algorithms 18 (1994)