09251nmm a2200541 u 4500001001200000003002700012005001700039007002400056008004100080020001800121100002500139245025900164250001700423260006300440300003300503505032800536505017400864505094801038505096201986505094602948505054003894505065204434505072105086505066605807505050906473653002806982653002507010653002507035653003407060653001507094653002907109653003807138653002007176653002207196653002707218653004607245653002507291700003007316700002707346700003007373710003407403041001907437989003807456490003807494856006807532082001007600520109907610EB000657784EBX0100000000000000051086600000000000000.0cr|||||||||||||||||||||140122 ||| eng a97835404730601 aBouge, Luce[editor]00aParallel Processing: CONPAR 92 — VAPP VhElektronische RessourcebSecond Joint International Conference on Vector and Parallel Processing, Lyon, France, September 1–4, 1992 Proceedingscedited by Luc Bouge, Michel Cosnard, Yves Robert, Denis Trystram a1st ed. 1992 aBerlin, HeidelbergbSpringer Berlin Heidelbergc1992, 1992 aXVII, 853 pbonline resource0 aConcepts and implementation -- How to compile systems of recurrence equations into networks of communicating processes -- Parallel algorithms simulation applied to differential — Algebraic systems, and electrical network application -- Optimal performances and scheduling for parallel algorithms with equal cost tasks -- 0 aA Shared Virtual Memory for the iPSC/2 hypercube -- A scalable distributed shared memory -- Cost prediction for load-balancing: Application to algebraic computations -- 0 aAn overview -- P++, a C++ virtual shared grids based programming environment for architecture-independent development of structured grid applications -- Detection of concurrency-related errors in Joyce -- Analysis of an efficient distributed algorithm for mutual exclusion (average-case analysis of path reversal) -- Invariance properties in distributed systems -- Synchronization of parallel processes in distributed systems -- Statistical probabilistic clock synchronization algorithm -- A SIMD architecture for medical imaging -- Computing the inner product on reconfigurable buses with shift switching -- A novel sorting array processor -- The time-parallel solution of parabolic partial differential equations using the frequency-filtering method -- The combination technique for parallel sparse-grid-preconditioning or -solution of PDE's on workstation networks -- Comparing the DAP, meiko and suprenum with a fluid dynamic benchmark -- 0 aOn the simulation of pipelining of fully digit on-line floating-point adder networks on massively parallel computers -- A parallel expert system using a backward chaining strategy -- Optimal speedup conditions for a parallel back-propagation algorithm -- A time-bounded binding access with low task-switching cost in an OR-parallel prolog -- Threads and subinstruction level parallelism in a data flow architecture -- A hybrid dataflow architecture with multiple tokens -- Parallelism control scheme in a dataflow architecture -- A Petri-Net-based method to the design of parallel programs for a multiprocessor system -- A parallel structure for static iterative transformation algorithms -- The construction of numerical mathematical software for the AMT DAP by program transformation -- On using object oriented parallel programming to build distributed algebraic abstractions -- Implementation of the self-organizing feature map on parallel computers -- 0 aLoad balancing in a neighbourhood-based multiprocessor -- A DAP-based implementation of a portable parallel image processing machine -- The design of a parallel algorithm to solve the word problem for free partially commutative groups -- A VLSI multigrid poisson solver amenable to biharmonic equation -- Monochrome image coding using hierarchical closed loop vector quantizer on a multiprocessing system -- Superscalar floating-point vector computation in scheme -- An efficient parallel algorithm for maximal matching -- Minimal, adaptive and deadlock-free routing for multiprocessors -- A theoretical study of reconfigurability for numerical algorithms on a reconfigurable network -- Multiprocessor simulation using object-oriented programming -- Real-number codes for fault-tolerant matrix inversion on processor arrays -- Automatic mapping of parallel programs onto processor networks -- Dynamic allocation on the transputer network -- 0 aA RISC approach to software for RISC devices -- Partitioning and mapping for parallel nested dissection on distributed memory architectures -- On the accuracy of solving triangular systems in parallel-III -- Linear algebra calculations on the BBN TC2000 -- Parallel homotopy algorithm for large sparse generalized eigenvalue problems: Application to hydrodynamic stability analysis -- Parallel algorithms for solving linear recurrence systems -- A new parallel factorization A = DD tBC for band symmetric positive definite matrices -- 0 aTowards a concise parallel language -- Broadcasting in faulty Cube-Connected-Cycles with minimum recovery time -- Parallel robot motion planning in a dynamic environment -- A hypergraph-based interconnection network for large multicomputers -- Greedy permutation routing on Cayley graphs -- Experimenting upon the CG algorithm within the C_NET programming environment -- An algorithm of broadcasting in the mesh of trees -- Complexity estimation in the pips parallel programming environment -- A graphical Petri net based editor for a visualization of distributed and parallel systems -- Automatic parallelization of divide- and-conquer algorithms0 aTo improve data manipulations and representations on parallel computers -- F-Code: A portable software platform for data-parallel languages -- A parallel best-first B & B with synchronization phases -- On tests of uniform tree circuits -- Improved parallel sorting of presorted sequences -- MIMD dictionary machines: From theory to practice -- Parallel searching for 3D-objects -- Parallel Gcd and lattice basis reduction -- Parallel minimum spanning forest algorithms on the star and pancake interconnection networks -- Parallel algorithms for the distance transformation -- A multiprocessor system for displaying quadric CSG models -- Efficient image computations on reconfigurable meshes (preliminary version) -- 0 aA simple algorithm with close to optimum performance -- Automatic parallelization of grid-based applications for the iPSC/860 -- Semantic analysis for parallelizing C -- A task scheduling algorithm for the parallel expression evaluation in a reconfigurable fully digit on-line network -- Unimodularity considered non-essential (extended abstract) -- PEPSIM-ST: A simulator tool for benchmarking -- Performance modeling of sparse matrix methods for distributed memory architectures -- ParSim: A tool for the analysis of parallel and distributed programs -- Estimating the effective performance of program parallelization on shared memory MIMD multiprocessors -- 0 aA mechanism for integrating a visualization tool with a symbolic debugger -- The software-monitor DELTA-T and its use for performance measurements of some farming variants on the multi-transputer system DAMP -- Visualization of message passing parallel programs -- Parallel physical optimization algorithms for data mapping -- Profiling on a massively parallel computer -- A multiprocessor multiwindow visualization subsystem -- Data race detection based on execution replay for parallel applications -- aProcessor Architectures aSoftware engineering aComputer programming aOperating systems (Computers) aAlgorithms aComputer system failures aSystem Performance and Evaluation aMicroprocessors aOperating Systems aProgramming Techniques aAlgorithm Analysis and Problem Complexity aSoftware Engineering1 aCosnard, Michele[editor]1 aRobert, Yvese[editor]1 aTrystram, Denise[editor]2 aSpringerLink (Online service)07aeng2ISO 639-2 bSBAaSpringer Book Archives -20040 aLecture Notes in Computer Science uhttps://doi.org/10.1007/3-540-55895-0?nosfx=yxVerlag3Volltext0 a004.1 aThis volume presents the proceedings of the joint meeting CONPAR 92 - VAPP V, held in Lyon, France, September 1992. The international Conferences on Parallel Processing (CONPAR) and the meetings on Vector and Parallel Processors in computational science (VAPP) have been held jointly since CONPAR 90 - VAPP IV, held in Zurich. The aim of the meeting presented in this volume is to review hardware and architecture developmentstogether with languages and software tools for supporting parallel processing and to highlight advances in models, algorithms, andapplications software on vector and parallel architectures. The papers in the volume are organized into sections on networks, software tools, distributed algorithms, dedicated architectures, numerical applications, systolic algorithms, parallel linear algebra, architectures, shared virtual memory, load balancing, data parallelism, parallel algorithms, image processing, compiling and scheduling, simulation and performance analysis, parallel artificialintelligence, dataflow architectures, parallel programming, and poster presentations