Unity

• 
  Jayadev Misra: A Perspective on Parallel Program Design. 2-5
• 
  Indranil Chakravarty, Michael F. Kleyn, Thomas Y. C. Woo, Rajive Bagrodia, Vernon Austel: UNITY to UC: A Case Study in the Derivation of Parallel Programs. 6-20
• 
  Gruia-Catalin Roman, H. Conrad Cunningham: Reasoning About Synchronic Groups. 21-38
• 
  Antonio Pizzarello: An Industrial Experience in the Use of UNITY. 39-49
• 
  Beverly A. Sanders: On the UNITY Design Decisions. 50-63
• 
  Ambuj K. Singh, Ying Liu: Flexible Program Structures for Concurrent Programming. 64-71

Linda

• 
  David Gelernter: Current Research on Linda. 74-76
• 
  Suresh Jagannathan: Expressing Fine-Grained Parallelism Using Concurrent Data Structures. 77-92
• 
  Brian G. Anderson, Dennis Shasha: Persistant Linda: Linda + Transactions + Query Processing. 93-109
• 
  Paolo Ciancarini: Parallel Logic Programming Using the Linda Model of Computation. 110-125
• 
  Paul Butcher, Hussein Zedan: Lucinda - A Polymorphic Linda. 126-146
• 
  Steven Ericsson Zenith: A Rationale for Programming with Ease. 147-156
• 
  Craig Faasen: Intermediate Uniformly Distributed Tuple Space on Transputer Meshes. 157-173
• 
  Julian A. Padget, Peter A. Broadbery, David Hutchinson: Mixing Concurrency Abstractions and Classes. 174-186
• 
  Susanne Hupfer, David Kaminsky, Nicholas Carriero, David Gelernter: Coordination Applications of Linda. 187-194

Gamma

• 
  Daniel Le Métayer: The Chemical Reaction Model. 196
• 
  Jean-Pierre Banâtre, Daniel Le Métayer: Introduction to Gamma. 197-202
• 
  Louis Mussat: Parallel Programming with Bags. 203-218
• 
  Christian Creveuil: Implementation of Gamma on the Connection Machine. 219-230
• 
  Rachel Harrison: Parallel Programming with Pure Functional Languages. 231-252
• 
  José Meseguer, Timothy C. Winkler: Parallel Programmming in Maude. 253-293

Parallel Program Design

• 
  Jean-Pierre Banâtre: Parallel Program Design. 296-297
• 
  Hervé Le Verge, Patrice Quinton: The Palindrome Systolic Array Revisited. 298-308
• 
  Michael Barnett, Christian Lengauer: The Synthesis of Systolic Programs. 309-325
• 
  Henrik Hulgaard, Per H. Christensen, Jørgen Staunstrup: Synthesizing Delay Insensitive Circuits from Verified Programs. 326-337
• 
  H. Peter Hofstee, Johan J. Lukkien, Jan L. A. van de Snepscheut: A Distributed Implementation of a Task Pool. 338-348
• 
  Michel Sintzoff: Invariance and Contraction by Infinite Iterations of Relations. 349-373
• 
  Daniel Herman, Laurent Trilling: Constructing a Parallel Sort Program on Hypercube by Using Distributively Callable Procedures. 374-385

last updated on Sat May 18 04:58:26 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page