LEADER 08130nam 22007695 450 001 996466155103316 005 20200703042835.0 010 $a3-540-44769-5 024 7 $a10.1007/BFb0020448 035 $a(CKB)1000000000234325 035 $a(SSID)ssj0000322994 035 $a(PQKBManifestationID)11227174 035 $a(PQKBTitleCode)TC0000322994 035 $a(PQKBWorkID)10289940 035 $a(PQKB)11366920 035 $a(DE-He213)978-3-540-44769-6 035 $a(PPN)155204858 035 $a(EXLCZ)991000000000234325 100 $a20121227d1995 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aEURO-PAR '95: Parallel Processing$b[electronic resource] $eFirst International EURO-PAR Conference, Stockholm, Sweden, August 29 - 31, 1995. Proceedings /$fedited by Seif Haridi, Khayri Ali, Peter Magnusson 205 $a1st ed. 1995. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1995. 215 $a1 online resource (XVI, 730 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v966 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-60247-X 327 $aMainstream parallelism: Taking sides on the SMP/MPP/cluster debate -- The Oz Programming model -- Parallelism in computational algorithms and the physical world -- Execution of distributed reactive systems -- Relating data-parallelism and (and-) parallelism in logic programs -- On the duality between Or-parallelism and And-parallelism in logic programming -- Functional skeletons for parallel coordination -- On the scalability of demand-driven parallel systems -- Bounds on memory bandwidth in streamed computations -- StarT-NG: Delivering seamless parallel computing -- Costs and benefits of multithreading with off-the-shelf RISC processors -- Transformation techniques in Pei -- On the completeness of a proof system for a simple data-parallel programming language (extended abstract) -- An implementation of race detection and deterministic replay with MPI -- Formal and experimental validation of a low overhead execution replay mechanism -- On efficient embeddings of grids into grids in PARIX -- Optimal emulation of meshes on meshes of trees -- Optimal embeddings in the Hamming cube networks -- Hierarchical adaptive routing under hybrid traffic load -- Tight bounds on parallel list marking -- Optimization of PRAM-programs with input-dependent memory access -- Optimal circular arc representations -- Exploiting parallelism in cache coherency protocol engines -- Verifying distributed directory-based cache coherence protocols: S3.mp, a case study -- Efficient software data prefetching for a Loop with large arrays -- Generation of synchronous code for automatic parallelization of while loops -- Implementing flexible computation rules with subexpression-level loop transformations -- Synchronization migration for performance enhancement in a DOACROSS loop -- An array partitioning analysis for parallel loop distribution -- A model for efficient programming of dynamic applications on distributed memory multiprocessors -- Efficient solutions for mapping parallel programs -- Optimal data distributions for LU decomposition -- Detecting quantified global predicates in parallel programs -- Using knowledge-based techniques for parallelization on parallelizing compilers -- Automatic vectorization of communications for data-parallel programs -- The program compaction revisited: The functional framework -- Featherweight threads and ANDF compilation of concurrency -- Parallel N-body simulation on a large-scale homogeneous distributed system -- Analysis of parallel scan processing in Shared Disk database systems -- Polynomial time scheduling of low level computer vision algorithms on networks of heterogeneous machines -- Mapping neural network back-propagation onto parallel computers with computation/communication overlapping -- Super Monaco: Its portable and efficient parallel runtime system -- Quiescence detection in a distributed KLIC implementation -- Compiler optimizations in Reform Prolog: Experiments on the KSR-1 multiprocessor -- Bidirectional ring: An alternative to the hierarchy of unidirectional rings -- A formal study of the Mcube interconnection network -- Multiwave interconnection networks for MCM-based parallel processing -- Scheduling master-slave multiprocessor systems -- Time space sharing scheduling: A simulation analysis -- ?Agency scheduling? A model for dynamic task scheduling -- FFTs on a linear SIMD array -- Tolerating faults in faulty hypercubes using maximal fault-free subcube-ring -- Communication in multicomputer with nonconvex faults -- Parallelising programs with algebraic programming tools -- Parallel Prolog with uncertainty handling -- A special-purpose coprocessor for qualitative simulation -- Portable Software Tools for Parallel Architectures -- Boosting the performance of workstations through WARPmemory -- A monitoring system for software-heterogeneous distributed environments -- A metacircular data-parallel functional language -- Efficient run-time program allocation on a parallel coprocessor -- A program manipulation system for fine-grained architectures -- Real-time image compression using data-parallelism -- Congestion control in wormhole networks: First results. 330 $aThis book presents the proceedings of the First International EURO-PAR Conference on Parallel Processing, held in Stockholm, Sweden in August 1995. EURO-PAR is the merger of the former PARLE and CONPAR-VAPP conference series; the aim of this merger is to create the premier annual scientific conference on parallel processing in Europe. The book presents 50 full revised research papers and 11 posters selected from a total of 196 submissions on the basis of 582 reviews. The scope of the contributions spans the full spectrum of parallel processing ranging from theory over design to application; thus the volume is a "must" for anybody interested in the scientific aspects of parallel processing or its advanced applications. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v966 606 $aArchitecture, Computer 606 $aMicroprocessors 606 $aComputer communication systems 606 $aSpecial purpose computers 606 $aComputer programming 606 $aSoftware engineering 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 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 615 0$aArchitecture, Computer. 615 0$aMicroprocessors. 615 0$aComputer communication systems. 615 0$aSpecial purpose computers. 615 0$aComputer programming. 615 0$aSoftware engineering. 615 14$aComputer System Implementation. 615 24$aProcessor Architectures. 615 24$aComputer Communication Networks. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 676 $a004/.35 702 $aHaridi$b Seif$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aAli$b Khayri$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMagnusson$b Peter$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational EURO-PAR Conference 906 $aBOOK 912 $a996466155103316 996 $aEURO-PAR '95: Parallel Processing$92831021 997 $aUNISA