Parle ’91 Parallel Architectures and Languages Europe: Volume I: Parallel Architectures and Algorithms Eindhoven, The Netherlands, June 10–13, 1991 Proceedings

Front Matter....Pages I-XXVIII
Parallel Evaluation of Functional Programs: The 〈 v, G 〉-machine approach (Summary)....Pages 1-5
Towards a Single Model of Efficient Computation in Real Parallel Machines....Pages 6-24
Neural Computing and the GALATEA Project....Pages 25-33
A Novel High-Speed Memory Organization for Fine-Grain Multi-Thread Computing....Pages 34-51
Evaluation of Futurebus hierarchical caching....Pages 52-68
Efficient Global Computations on a Processor Network with Programmable Logic....Pages 69-82
POMP or How to design a massively parallel machine with small developments....Pages 83-100
The Function Processor: An Architecture for Efficient Execution of Recursive Functions....Pages 101-118
The G-Line a Distributed Processor for Graph Reduction....Pages 119-136
The Derivation of Distributed Termination Detection Algorithms from Garbage Collection Schemes (Extended Abstract)....Pages 137-149
Indirect Reference Counting: A Distributed Garbage Collection Algorithm....Pages 150-165
Periodic Multiprocessor Scheduling....Pages 166-178
Embeddings of shuffle-like graphs in hypercubes....Pages 179-190
Mapping Uniform Recurrences onto Small Size Arrays....Pages 191-208
Area Complexity of Multilective Merging....Pages 209-218
Deriving Fully Efficient Systolic Arrays by Quasi-Linear Allocation Functions....Pages 219-235
Affine Timings for Systems of Affine Recurrence Equations....Pages 236-251
On the Computational Complexity of Optimal Sorting Network Verification....Pages 252-269
Managing a Parallel Heap Efficiently....Pages 270-287
Parallel complexity in the design and analysis of concurrent systems....Pages 288-303
 FORK : A High-Level Language for PRAMs ....Pages 304-320
Neural Network-Based Decision Making for Large Incomplete Databases....Pages 321-337
An Optical Content-Addressable Parallel Processor for Fast Searching and Retrieving....Pages 338-354
Towards an Efficient Hybrid Dataflow Architecture Model....Pages 355-371
Data Flow Implementation of Generalized Guarded Commands....Pages 372-389
On the Design of Deadlock-Free Adaptive Routing Algorithms for Multicomputers: Design Methodologies....Pages 390-405
A Toolkit for Debugging Parallel Lisp Programs....Pages 406-422
Loosely-Coupled Processes (Preliminary Version)....Pages 423-448
Rendez-Vous with Metric Semantics....Pages 449-479
Embeddings Among Concurrent Programming Languages....Pages 480-480
Invariants and Paradigms of Concurrency Theory....Pages 481-496
Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems....Pages 497-513
Models for dynamically placed concurrent processes....Pages 514-531
Formalisation of the Behavior of Actors by Colored Petri Nets and Some Applications....Pages 532-549
Program Refinement in Fair Transition Systems....Pages 550-569
Communication Abstraction and Refinement....Pages 570-587
On the semantics of languages for massively parallel SIMD architectures....Pages 588-605
A Denotational Real-Time Semantics for Shared Processors....Pages 606-623
Concurrent Clean....Pages 624-641
The Scriptic Programming Language....Pages 642-659
Structural Operational Semantics for Kernel Andorra Prolog....Pages 660-675
Customization of First-Class Tuple-Spaces in a Higher-Order Language....Pages 676-698
A Formal Specification of the Process Trellis....Pages 699-716
Strong Bisimilarity on Nets Revisited....Pages 717-734
A Configuration Approach to Parallel Programming....Pages 735-752
Chaotic Linear System Solvers in a Variable-Grain Data-Driven Multiprocessor System....Pages 753-770
Parallel Associative Combinator Evaluation....Pages 771-788
Static Analysis of Term Graph Rewriting Systems....Pages 789-806
Scheduling of OR-parallel Prolog on a Scalable, Reconfigurable, Distributed-Memory Multiprocessor....Pages 807-824
Flexible Scheduling of Or-parallelism in Aurora: The Bristol Scheduler....Pages 825-842
Virtual Memory Support for OR-Parallel Logic Programming Systems....Pages 843-860
Interfacing Engines and Schedulers in Or-Parallel Prolog Systems....Pages 861-875
Reduction of Code Space in Parallel Logic Programming Systems....Pages 876-892
Search Level Parallel Processing of Production Systems....Pages 893-910
Back Matter....Pages 911-916