Limit search to available items
Book Cover
Author International PARLE Conference (4th : 1992 : Paris, France)

Title PARLE '92, parallel architectures and languages Europe : 4th International PARLE Conference, Paris, France, June 15-18, 1992, proceedings / D. Etiemble, J.-C. Syre (eds.)
Published Berlin ; New York : Springer-Verlag, ©1992


Description 1 online resource (xvii, 984 pages) : illustrations
Series Lecture notes in computer science ; 605
Lecture notes in computer science ; 605.
Contents EDS: A parallel computer system for advanced information processing -- A decompositional approach to the design of efficient parallel programs -- Space-efficient parallel merging -- On embedding interconnection networks into rings of processors -- Asynchronous mobile processes and graph rewriting -- PTAH Introduction to a new parallel architecture for highly numeric processing -- The Topsy project: a position paper -- Optimal algorithms for dissemination of information in generalized communication modes -- Efficient parallel algorithms on interval graphs -- SYMPATIX: a SIMD computer performing the low and intermediate levels of image processing -- 1-Dimensional parallel FFT benchmark on SUPRENUM -- On designing fault-tolerant extensions with optimal fanout for complete bipartite networks -- Application-specific deadlock free wormhole routing on multicomputers -- Scalability problems in multiprocessors with private caches -- Promises and issues in optical computing -- A model to design reusable parallel software components -- Extensibility and reuse of object-oriented synchronization components -- Using parallelism and pipeline for the optimisation of join queries -- Performance evaluation of parallel transaction processing in shared nothing database systems -- Explicit expression of multidimensional data parallelism -- Programming massively parallel architectures with sequential object oriented languages -- A new program transformation to minimise communication in distributed memory architectures -- Distributed termination enforcement -- Verification of systolic architecture designs -- Reduction operators in Alpha -- An operational semantics for a parallel functional language with continuations -- A concurrent and distributed extension of scheme -- New techniques for Cycle Shrinking -- Loop restructuring techniques for thrashing problem -- Characterizing the paralation model using dynamic assignment -- An implementation of static functional process networks -- Translating concurrent programs into VLSI chips -- Message-brokers and communicating prolog processes -- Extensions to a parallel prolog system to support real-time applications -- Declarative programming for conventional MIMD multiprocessors -- Minimizing loop storage allocation for an argument-fetching dataflow architecture model -- Performance of Muse on the BBN Butterfly TC2000 -- And-or parallelism in full Prolog with paged Binding Arrays -- Improving the efficiency of virtual channels with time-dependent selection functions -- Using Opportunistic combining networks to reduce contention in multicomputers -- Mixed-mode multicomputers with load adaptability -- Architecture of parallel management kernel for PIE64 -- Concurrent data structures for hypercube machine -- Repeated matrix squaring for the parallel solution of linear systems -- Performance evaluation of cache memories in tightly coupled multiprocessor systems -- An evaluation of set-associativity in two-level caches for shared memory multiprocessors -- Reliable communication in VPL -- Paragon specifications: Structure, analysis and implementation -- Stanford DASH multiprocessor: The hardware and software approach -- Dynamic action scheduling in a parallel database system -- A compositional approach for the design of a parallel query processing language -- Back and forth bisimulations on prime event structures -- Dynamic concurrent processes -- Exegesis of DBC/1012 and P-90 -- industrial supercomputer database machines -- Exploiting parallelism in primitive operations on bulk data types -- Comparative semantics of Microlog -- A framework for parallel composition of protocols -- A case study: Parallel program development for a recursive numerical algorithm -- A distributed protocol for channel-based communication with choice -- A refinement of communicating processes -- Distributing finite transition systems extended abstract -- Coping with the process proliferation problem in concurrent object-based language implementations -- Correctness of flat data parallel algorithms: an axiomatic approach and examples -- Generating memory-efficient imperative data structures from systolic programs -- Geometric transforms on parallel architecture -- Implementing cut in a distributed data driven OR-parallel prolog environment -- Optical interconnects for parallel systems: Demonstration of an optical link with multiple-quantum-well opto-electronic arrays -- Parallel task assignment by graph partitioning -- Parallelizing recursive logic programs through decomposition -- Performance analysis of the network of the GFLOPS parallel architecture -- Prelude: A system for portable parallel software -- Routing in Hypercycles. Deadlock free and backtracking strategies -- Serialisation as a paradigm for the engineering of parallel programs -- SIMCDL: Simulating parallel programming in a sequential environment -- XFSM: A formal model of communicating state machines for implementation specifications -- XPRAM model and programming interface
Summary 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
Analysis Parallel computers Congresses
Parallel programming (Computer science) Congresses
Bibliography Includes bibliographical references and index
Notes Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL
Print version record
digitized 2011 HathiTrust Digital Library committed to preserve pda MiAaHDL
Subject Parallel computers -- Congresses
Parallel programming (Computer science) -- Congresses
Parallel computers -- Congresses
Parallel programming (Computer science) -- Congresses
Parallel computers.
Parallel programming (Computer science)
Parallélisme (informatique) -- Congrès.
Genre/Form Conference papers and proceedings.
Form Electronic book
Author Etiemble, D. (Daniel), 1947-
Syre, J.-C. (Jean-Claude)
ISBN 3540555994
Other Titles Parallel architectures and languages Europe