06524nam a22005415i 4500001001800000003000900018005001700027007001500044008004100059020001800100024003100118050001500149050001500164072001600179072002300195072002300218082001400241245018500255264006100440300003300501336002600534337002600560338003600586347002400622490005800646505400400704520059804708650002205306650002705328650002805355650002605383650001505409650001605424650002505440650002205465650003605487650006005523650006205583650003705645650004705682650002905729700003205758710003405790773002005824776003605844830005805880856004405938978-3-540-69525-7DE-He21320170515111448.0cr nn 008mamaa121227s1997 gw | s |||| 0|eng d a97835406952577 a10.1007/3-540-63371-52doi 4aQA76.9.A73 4aQA76.9.S88 7aUYD2bicssc 7aCOM0320002bisacsh 7aCOM0670002bisacsh04a003.322310aParallel Computing Technologiesh[electronic resource] :b4th International Conference, PaCT-97 Yaroslavl, Russia, September 8–12, 1997 Proceedings /cedited by Victor Malyshkin. 1aBerlin, Heidelberg :bSpringer Berlin Heidelberg,c1997. aXV, 461 p.bonline resource. atextbtxt2rdacontent acomputerbc2rdamedia aonline resourcebcr2rdacarrier atext filebPDF2rda1 aLecture Notes in Computer Science,x0302-9743 ;v12770 aParallel computations on finite partially ordered sets -- Tight lower bounds for computing shortest paths on proper interval and bipartite permutation graphs -- Using run-time uncertainty to robustly schedule parallel computation -- A Tuple-based data structure for distributed parallel processing of 3D dynamic meshes -- The application of parallel computations technique to the solution of certain hydrodynamic stability problems -- A formal framework for the analysis of recursive-parallel programs -- Systematic design of 3-dimensional fixed-size array processors -- On proving large distributed systems: Petri net modules verification -- Influence of self-connection weights on cellular-neural network stability -- Estimating the parallel start-up overhead for parallelizing compilers -- Parallel and distributed evolutionary computation with MANIFOLD -- Parallel computation of fractal sets with the help of neural networks and cellular automata -- On a technology of design and analysis of dataflow programs -- An integer linear programming model of software pipelining for the MIPS R8000 processor -- Computations on cellular automata with defects -- Efficient implementation of the improved unsymmetric Lanczos process on massively distributed memory computers -- A spatial grid file for multimedia data representation -- Optimization techniques and performance analysis for different serial and parallel RISC-based computers -- Analysis of a distributed election algorithm using COVERS 3.0 — A case study -- A unified software pipeline construction scheme for modulo scheduled loops -- An HPF case study of a domain-decomposition based irregular application -- Hybrid approach to task allocation in distributed systems -- Viability of multithreading on networks of workstations -- Task migration and fine grain parallelism on distributed memory architectures -- A scheme for building visual debugging environment with dynamic debugging method for parallel systems -- Control-driven coordination programming in shared dataspace -- Performance analysis of geometric modeling algorithm -- 3D visual tool supporting derivation of parallel programs for MIMD systems -- Scheduling algorithms for parallel transaction processing systems -- Communications in parallel architectures and networks of workstations: From standardisation to new standards -- A multithreaded vector co-processor -- Hardware support for 3D cellular processing -- Cellular neural-like algorithms with heuristics for solving combinatorial optimization problems -- Analysis of methods for solving large-scale non-symmetric linear systems with sparsed matrices -- Parallel simulation of non-linear phenomena with cellular automata -- Modelling of seismic waves propagation for 2D media (direct and inverse problems) -- Decomposition on a group and parallel convolution and fast Fourier transform algorithms -- Parallel implementation of symmetric alternating direction implicit methods -- Construction of composed ALT-models of cellular architectures -- Parallel computation of an unsteady compressible flow -- Parallel simulation technologies for stochastic systems -- Parallel direct algorithms for solution of sparse linear systems -- Scheduling parallel programs involving parallel database interactions -- The base module of multiprocessor system with structural-procedural organization of computing -- Bitwise processing — a paradigm for deriving parallel algorithms -- Tuning shared network cache size vs. second-level cache size in clusters-based multiprocessors -- A simple, multi-architecture, parallel procedure for generating combinations -- Processing and debugging of parallel programs on the level of task model -- Systolic modular exponentiation -- The highly parallel incomplete Gram-Schmidt preconditioner -- COVERS 3.0 — A C++ based graphical modeling and simulation tool -- Simulating cellular computations with ALT. A tutorial -- SPARTH: A family of systems for parallel high-accuracy computations. aThis book constitutes the refereed proceedings of the Fourth International Conference on Parallel Computing Technologies, PaCT-97, held in Yaroslavl, Russia, in September 1997. The volume presents a total of 54 contributions: 21 full papers, 20 short papers, 10 posters, and three tutorials. All papers were selected for inclusion in the proceedings from numerous submissions on the basis of three independent reviews. The volume covers all current topics in parallel processing; it is divided into sections on theory, software, hardware and architecture, applications, posters, and tutorials. 0aComputer science. 0aComputer organization. 0aArchitecture, Computer. 0aSoftware engineering. 0aComputers. 0aAlgorithms. 0aComputer simulation.14aComputer Science.24aComputer System Implementation.24aSoftware Engineering/Programming and Operating Systems.24aComputer Systems Organization and Communication Networks.24aComputation by Abstract Devices.24aAlgorithm Analysis and Problem Complexity.24aSimulation and Modeling.1 aMalyshkin, Victor.eeditor.2 aSpringerLink (Online service)0 tSpringer eBooks08iPrinted edition:z9783540633716 0aLecture Notes in Computer Science,x0302-9743 ;v127740uhttp://dx.doi.org/10.1007/3-540-63371-5