Research Directions in High-Level Parallel Programming Languages Mont Saint-Michel, France, June 17-19, 1991 Proceedings

Name: Research Directions in High-Level Parallel Programming Languages Mont Saint-Michel, France, June 17-19, 1991 Proceedings
Availability: OutOfStock
ISBN: 9780387551609

ISBN-10: 0387551603

ISBN-13: 9780387551609

Edition: N/A

Authors: J. P. Banatre, D. Le Metayer, G. Goos, J. Hartmanis

List price: $71.95

30 day, 100% satisfaction guarantee!

Out of stock

We're sorry. This item is currently unavailable.

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Book details

List price: $71.95
Publisher: Springer
Binding: Paperback
Pages: 387
Language: English




Unity


A Perspective on Parallel Program Design



UNITY to UC: A Case Study in the Derivation of Parallel Programs



Reasoning About Synchronic Groups



An Industrial Experience in the Use of UNITY



On the UNITY Design Decisions



Flexible Program Structures for Concurrent Programming




Linda


Current Research on Linda



Expressing Fine-Grained Parallelism Using Concurrent Data Structures



Persistent Linda: Linda + Transactions + Query Processing



Parallel Logic Programming Using the Linda Model of Computation



Lucinda--A Polymorphic Linda



A Rationale for Programming with Ease



Intermediate Uniformly Distributed Tuple Space on Transputer Meshes



Mixing Concurrency Abstractions and Classes



Coordination Applications of Linda




Gamma


The Chemical Reaction Model



Introduction to Gamma



Parallel Programming with Bags



Implementation of Gamma on the Connection Machine



Parallel Programming with Pure Functional Languages



Parallel Programming in Maude




Parallel Program Design


Parallel Program Design



The Palindrome Systolic Array Revisited



The Synthesis of Systolic Programs



Synthesizing Delay Insensitive Circuits from Verified Programs



A Distributed Implementation of a Task Pool



Invariance and Contraction by Infinite Iterations of Relations



Constructing a Parallel Sort Program on Hypercube by Using Distributively Callable Procedures