PARLE ¿92. Parallel Architectures and Languages Europe | 4th International PARLE Conference, Paris, France, June 15¿18, 1992 Proceedings | Jean-Claude Syre (u. a.) | Taschenbuch | Paperback | XVII - Taschenbuch

EAN (ISBN-13): 9783540555995
ISBN (ISBN-10): 3540555994
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1992
Herausgeber: Springer Berlin

Buch in der Datenbank seit 2007-11-30T23:49:21+01:00 (Zurich)
Detailseite zuletzt geändert am 2024-01-30T18:58:26+01:00 (Zurich)
ISBN/EAN: 3540555994

ISBN - alternative Schreibweisen:
3-540-55599-4, 978-3-540-55599-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: etiemble, daniels, daniel, syre, jean claude, poster
Titel des Buches: europe, architecture france, architecture language, parallel, etiemble, architectural, computer architecture, the architecture paris, conference international proceedings, lecture notes computer science, languages, science 1992, not architecture, proceedings june 1992, parle

---

Daten vom Verlag:

Autor/in: Daniel Etiemble; Jean-Claude Syre
Titel: Lecture Notes in Computer Science; PARLE ’92. Parallel Architectures and Languages Europe - 4th International PARLE Conference, Paris, France, June 15–18, 1992 Proceedings
Verlag: Springer; Springer Berlin
990 Seiten
Erscheinungsjahr: 1992-06-03
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XVII, 990 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Systemanalyse und -design; Verstehen; Scheduling; algorithm; algorithms; formal method; functional programming; modeling; optimization; programming; semantics; Computer System Implementation; Processor Architectures; Programming Techniques; Computer Communication Networks; Operating Systems; Special Purpose and Application-Based Systems; Rechnerarchitektur und Logik-Entwurf; Computerprogrammierung und Softwareentwicklung; Netzwerk-Hardware; Betriebssysteme; Wissensbasierte Systeme, Expertensysteme; EA

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 ?Log.- 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.