product iamge

PARLE '92 Parallel Architectures and Languages Europe: 4th International PARLE Conference Paris, France, June 15–18, 1992 Proceedings

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

The 1992 Parallel Architectures and Languages Europe conference continues the tradition - of a wide and representative international meeting of specialists from academia and industry in theory, design, and application of parallel computer systems - set by the previous PARLE conferences held in Eindhoven in 1987, 1989, and 1991. This volume contains the 52 regular and 25 poster papers that were selected from 187 submitted papers for presentation and publication. In addition, five invited lectures areincluded. The regular papers are organized into sections on: implementation of parallel programs, graph theory, architecture, optimal algorithms, graph theory and performance, parallel software components, data base optimization and modeling, data parallelism, formal methods, systolic approach, functional programming, fine grain parallelism, Prolog, data flow systems, network efficiency, parallel algorithms, cache systems, implementation of parallel languages, parallel scheduling in data base systems, semantic models, parallel data base machines, and language semantics.

Author(s): C. J. Skelton, C. Hammer, M. Lopez (auth.), Daniel Etiemble, Jean-Claude Syre (eds.)
Series: Lecture Notes in Computer Science 605
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1992

Language: English
Pages: 990
Tags: Processor Architectures; Programming Techniques; Computer Communication Networks; Operating Systems; Special Purpose and Application-Based Systems; Computation by Abstract Devices

EDS: A parallel computer system for advanced information processing....Pages 1-18
A decompositional approach to the design of efficient parallel programs....Pages 19-36
Space-efficient parallel merging....Pages 37-49
On embedding interconnection networks into rings of processors....Pages 51-62
Asynchronous mobile processes and graph rewriting....Pages 63-78
PTAH Introduction to a new parallel architecture for highly numeric processing....Pages 79-96
The Topsy project: a position paper....Pages 97-112
Optimal algorithms for dissemination of information in generalized communication modes....Pages 113-130
Efficient parallel algorithms on interval graphs....Pages 131-143
SYMPATIX: a SIMD computer performing the low and intermediate levels of image processing....Pages 145-161
1-Dimensional parallel FFT benchmark on SUPRENUM....Pages 163-174
On designing fault-tolerant extensions with optimal fanout for complete bipartite networks....Pages 175-191
Application-specific deadlock free wormhole routing on multicomputers....Pages 193-208
Scalability problems in multiprocessors with private caches....Pages 209-230
Promises and issues in optical computing....Pages 231-242
A model to design reusable parallel software components....Pages 243-260
Extensibility and reuse of object-oriented synchronization components....Pages 261-275
Using parallelism and pipeline for the optimisation of join queries....Pages 277-294
Performance evaluation of parallel transaction processing in shared nothing database systems....Pages 295-310
Explicit expression of multidimensional data parallelism....Pages 311-328
Programming massively parallel architectures with sequential object oriented languages....Pages 329-344
A new program transformation to minimise communication in distributed memory architectures....Pages 345-362
Distributed termination enforcement....Pages 363-378
Verification of systolic architecture designs....Pages 379-396
Reduction operators in Alpha....Pages 397-411
An operational semantics for a parallel functional language with continuations....Pages 413-430
A concurrent and distributed extension of scheme....Pages 431-446
New techniques for Cycle Shrinking....Pages 447-464
Loop restructuring techniques for thrashing problem....Pages 465-480
Characterizing the paralation model using dynamic assignment....Pages 481-496
An implementation of static functional process networks....Pages 497-512
Translating concurrent programs into VLSI chips....Pages 513-532
Message-brokers and communicating prolog processes....Pages 533-549
Extensions to a parallel prolog system to support real-time applications....Pages 551-565
Declarative programming for conventional MIMD multiprocessors....Pages 567-583
Minimizing loop storage allocation for an argument-fetching dataflow architecture model....Pages 585-600
Performance of Muse on the BBN Butterfly TC2000....Pages 601-616
And-or parallelism in full Prolog with paged Binding Arrays....Pages 617-632
Improving the efficiency of virtual channels with time-dependent selection functions....Pages 633-650
Using Opportunistic combining networks to reduce contention in multicomputers....Pages 651-666
Mixed-mode multicomputers with load adaptability....Pages 667-683
Architecture of parallel management kernel for PIE64....Pages 685-700
Concurrent data structures for hypercube machine....Pages 701-724
Repeated matrix squaring for the parallel solution of linear systems....Pages 725-732
Performance evaluation of cache memories in tightly coupled multiprocessor systems....Pages 733-750
An evaluation of set-associativity in two-level caches for shared memory multiprocessors....Pages 751-766
Reliable communication in VPL....Pages 767-782
Paragon specifications: Structure, analysis and implementation....Pages 783-798
Stanford DASH multiprocessor: The hardware and software approach....Pages 799-805
Dynamic action scheduling in a parallel database system....Pages 807-824
A compositional approach for the design of a parallel query processing language....Pages 825-840
Back and forth bisimulations on prime event structures....Pages 841-858
Dynamic concurrent processes....Pages 859-874
Exegesis of DBC/1012 and P-90 - industrial supercomputer database machines....Pages 875-892
Exploiting parallelism in primitive operations on bulk data types....Pages 893-908
Comparative semantics of μLog....Pages 909-926
A framework for parallel composition of protocols....Pages 927-942
A case study: Parallel program development for a recursive numerical algorithm....Pages 943-946
A distributed protocol for channel-based communication with choice....Pages 947-948
A refinement of communicating processes....Pages 949-950
Distributing finite transition systems extended abstract....Pages 951-952
Coping with the process proliferation problem in concurrent object-based language implementations....Pages 953-954
Correctness of flat data parallel algorithms: an axiomatic approach and examples....Pages 955-956
Generating memory-efficient imperative data structures from systolic programs....Pages 957-958
Geometric transforms on parallel architecture....Pages 959-960
Implementing cut in a distributed data driven OR-parallel prolog environment....Pages 961-962
Optical interconnects for parallel systems: Demonstration of an optical link with multiple-quantum-well opto-electronic arrays....Pages 963-964
Parallel task assignment by graph partitioning....Pages 965-966
Parallelizing recursive logic programs through decomposition....Pages 967-968
Performance analysis of the network of the GFLOPS parallel architecture....Pages 969-970
Prelude: A system for portable parallel software....Pages 971-972
Routing in Hypercycles. Deadlock free and backtracking strategies....Pages 973-974
Serialisation as a paradigm for the engineering of parallel programs....Pages 975-976
SIMCDL: Simulating parallel programming in a sequential environment....Pages 977-978
XFSM: A formal model of communicating state machines for implementation specifications....Pages 979-980
XPRAM model and programming interface....Pages 981-982