PARLE '91. Parallel Architectures and Languages Europe: Volume I: Parallel Architectures and Algorithms. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings (Lecture Notes in Computer Science)

The innovative progress in the development oflarge-and small-scale parallel computing systems and their increasing availability have caused a sharp rise in interest in the scientific principles that underlie parallel computation and parallel programming. The biannual "Parallel Architectures and Languages Europe" (PARLE) conferences aim at presenting current research material on all aspects of the theory, design, and application of parallel computing systems and parallel processing. At the same time, the goal of the PARLE conferences is to provide a forum for researchers and practitioners to ex{u00AD} change ideas on recent developments and trends in the field of parallel com{u00AD} puting and parallel programming. The first ~wo conferences, PARLE '87 and PARLE '89, have succeeded in meeting this goal and made PARLE a conference that is recognized worldwide in the field of parallel computation. PARLE '91 again offers a wealth of high-quality research material for the benefit of the scientific community. Compared to its predecessors, the scope of PARLE '91 has been broadened so as to cover the area of parallel algo{u00AD} rithms and complexity, in addition to the central themes of parallel archi{u00AD} tectures and languages. The proceedings of the PARLE '91 conference contain the text of all con{u00AD} tributed papers that were selected for the programme and of the invited papers by leading experts in the field 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 "The innovative progress in the development of large- and small-scale parallel computing systems and their increasing availability have caused a sharp rise in interest in the scientific principles that underlie parallel computation and parallel programming. The biannual Parallel Architectures and Languages Europe (PARLE) conferences aim at presenting current research on all aspects of the theory, design and application of parallel computing systems and parallel processing. PARLE '91, the third conference in the series, again offers a wealth of high-quality research material for the benefit of the scientific community. Compared to its predecessors, the scope of PARLE '91 has been broadened so as to cover the area of parallel algorithms and complexity, in addition to the central themes of parallel architectures and languages. The two-volume proceedings of the PARLE '91 conference contain the text of all contributed papers that were selected for the programme and of the invited papers by leading experts in the field."--PUBLISHER'S WEBSITE

the Innovative Progress In The Development Of Large- And Small-scale Parallel Computing Systems And Their Increasing Availability Have Caused A Sharp Rise In Interest In The Scientific Principles That Underlie Parallel Computation And Parallel Programming. The Biannual Parallel Architectures And Languages Europe (parle) Conferences Aim At Presenting Current Research On All Aspects Of The Theory, Design And Application Of Parallel Computing Systems And Parallel Processing. Parle '91, The Third Conference In The Series, Again Offers A Wealth Of High-quality Research Material For The Benefit Of The Scientific Community. Compared To Its Predecessors, The Scope Of Parle '91 Has Been Broadened So As To Cover The Area Of Parallel Algorithms And Complexity, In Addition To The Central Themes Of Parallel Architectures And Languages. The Two-volume Proceedings Of The Parle '91 Conference Contain The Text Of All Contributed Papers That Were Selected For The Programme And Of The Invited Papers By Leading Experts In The Field.

Innovative progress in the development of parallel computing systems has caused a rise of interest in the scientific principles that underlie parallel computation. This volume presents current research on the theory, design and application of parallel algorithms and architectures.