LEADER 07187nam 22007455 450 001 996466153603316 005 20200702090813.0 010 $a3-540-44754-7 024 7 $a10.1007/3-540-60222-4 035 $a(CKB)1000000000234323 035 $a(SSID)ssj0000325516 035 $a(PQKBManifestationID)11253537 035 $a(PQKBTitleCode)TC0000325516 035 $a(PQKBWorkID)10325478 035 $a(PQKB)11318617 035 $a(DE-He213)978-3-540-44754-2 035 $a(PPN)155233734 035 $a(EXLCZ)991000000000234323 100 $a20121227d1995 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aParallel Computing Technologies$b[electronic resource] $eThird International Conference, PaCT-95, St. Petersburg, Russia, September 12-15, 1995. Proceedings /$fedited by Victor Malyshkin 205 $a1st ed. 1995. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1995. 215 $a1 online resource (XII, 504 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v964 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-60222-4 327 $aSynchronous-asynchronous cellular computations -- Parallel computations and finite automata on semilattices -- Linear Fibonacci forms and parallel algorithms for high dimension arithmetic -- Cellular-Neural computations. Formal model and possible applications -- An efficient verifier of truly concurrent properties -- Optimal loop scheduling on multiprocessors: A pumping lemma for p-processor schedules -- Parallel and distributed processing of cellular hypergraphs -- Computer models of 3D cellular structures -- Comparison of two MST algorithms for associative parallel processors -- Petri net modelling of Estelle-specified communication protocols -- Dynamic scheduling of parallel applications -- A method for analyzing combinatorial properties of static connecting topologies -- cT: an imperative language with parallelizing features supporting the computation model ?autotransformation of the evaluation network? -- Vienna fortran 90 ? An advanced data parallel language -- Programming abstracts for synchronization and communication in parallel programs -- A program manipulation system for fine-grained architectures -- Compilation of CDL for different target architectures -- Performance evaluation and visualization with VISPAT -- Dataparallel programming with intelligent communication -- Optimization scheme on execution of logic program in a dataflow environment -- COVERS ? A tool for the design of real-time concurrent systems -- Status and prospect of ZM4/SIMPLE/PEPP: An event-oriented evaluation environment for parallel and distributed programs -- The separating decomposition of discrete Fourier transform and vectorization of its calculation -- PFSLib ? A parallel file system for workstation clusters -- Data structures, computational, and communication kernels for distributed memory sparse iterative solvers -- PARMA: A multiattribute file structure for parallel database machines -- T++: An object-oriented language to express task and data parallelism on Multi-SIMD computers -- mEDA-2: An extension of PVM -- Parallel iterative solution of systems of linear equations with dynamically changed length of operands -- Parallelization of computer code MASTAC three-dimensional finite elements method implementing -- New trends in simulation of distributed shared memory architectures -- Standard microprocessors versus custom processing elements for massively parallel architectures -- Further pipelining and multithreading to improve RISC processor speed. A proposed architecture and simulation results -- The massively parallel computer system MBC-100 -- DFS-superMPx: Low-cost parallel processing system for machine vision and image processing -- Architectural issues of distributed workflow management systems -- Parallelization of the solution of 3D Navier-Stokes equations for fluid flow in a cavity with moving covers -- Distributing search and knowledge using a coordination language -- Design and evaluation of a multi-threaded architecture for parallel graph reduction -- Implementation of the multigrid method for solving the boundary-value problems for the Poisson and Helmholtz equations on the massively parallel computers -- Parallel seismic data processing method for MEMSY multiprocessor system -- Hardware and software platform for information processing -- Numerical simulation of reacting mixing layer with a parallel implementation -- Parallel computing in Russia -- Early approaches to parallel processing: Increasing performance and dependability. 330 $aThis book constitutes the proceedings of the Third International Conference on Parallel Computing Technologies, PaCT '95, held in St. Petersburg, Russia in September 1995. The volume presents 45 revised full papers selected from a total of 98 submissions, including six invited presentations. The proceedings is organized in parts on theory, software, hardware and architecture, and applications to large-scale problems. Parallel processing technologies are shown to be the touchstone of parallel theories, models, languages, and programming systems. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v964 606 $aArchitecture, Computer 606 $aMicroprocessors 606 $aComputer communication systems 606 $aSpecial purpose computers 606 $aComputer system failures 606 $aComputer programming 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 $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 615 0$aArchitecture, Computer. 615 0$aMicroprocessors. 615 0$aComputer communication systems. 615 0$aSpecial purpose computers. 615 0$aComputer system failures. 615 0$aComputer programming. 615 14$aComputer System Implementation. 615 24$aProcessor Architectures. 615 24$aComputer Communication Networks. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aSystem Performance and Evaluation. 615 24$aProgramming Techniques. 676 $a004/.35 702 $aMalyshkin$b Victor$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on Parallel Computing Technologies 906 $aBOOK 912 $a996466153603316 996 $aParallel Computing Technologies$9772517 997 $aUNISA