default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDResearch Directions in High-Level Parallel Programming Languages 1991: Mont Saint-Michel, France
- Jean-Pierre Banâtre, Daniel Le Métayer:
Research Directions in High-Level Parallel Programming Languages, Mont Saint-Michel, France, June 17-19, 1991, Procedings. Lecture Notes in Computer Science 574, Springer 1992, ISBN 3-540-55160-3
Unity
- Jayadev Misra:
A Perspective on Parallel Program Design. 2-5 - Indranil Chakravarty, Michael F. Kleyn, Thomas Y. C. Woo, Rajive L. 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 E. 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
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-11-04 20:48 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:
