LEADER 09263nam 22007455 450 001 996465782503316 005 20200629141900.0 010 $a3-540-47250-9 024 7 $a10.1007/3-540-55599-4 035 $a(CKB)1000000000548875 035 $a(SSID)ssj0000325545 035 $a(PQKBManifestationID)11239200 035 $a(PQKBTitleCode)TC0000325545 035 $a(PQKBWorkID)10323865 035 $a(PQKB)10884544 035 $a(DE-He213)978-3-540-47250-6 035 $a(PPN)155190563 035 $a(EXLCZ)991000000000548875 100 $a20121227d1992 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aPARLE ?92. Parallel Architectures and Languages Europe$b[electronic resource] $e4th International PARLE Conference, Paris, France, June 15?18, 1992 Proceedings /$fedited by Daniel Etiemble, Jean-Claude Syre 205 $a1st ed. 1992. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1992. 215 $a1 online resource (XVII, 990 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v605 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-55599-4 327 $aEDS: 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. 330 $aThe 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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v605 606 $aArchitecture, Computer 606 $aMicroprocessors 606 $aComputer programming 606 $aComputer communication systems 606 $aOperating systems (Computers) 606 $aSpecial purpose computers 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aProcessor Architectures$3https://scigraph.springernature.com/ontologies/product-market-codes/I13014 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 615 0$aArchitecture, Computer. 615 0$aMicroprocessors. 615 0$aComputer programming. 615 0$aComputer communication systems. 615 0$aOperating systems (Computers). 615 0$aSpecial purpose computers. 615 14$aComputer System Implementation. 615 24$aProcessor Architectures. 615 24$aProgramming Techniques. 615 24$aComputer Communication Networks. 615 24$aOperating Systems. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a003.3 702 $aEtiemble$b Daniel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSyre$b Jean-Claude$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465782503316 996 $aPARLE ?92. Parallel Architectures and Languages Europe$92830040 997 $aUNISA