LEADER 07361nam 22007935 450 001 996465805003316 005 20200706075605.0 010 $a3-540-44743-1 024 7 $a10.1007/3-540-44743-1 035 $a(CKB)1000000000211536 035 $a(SSID)ssj0000325514 035 $a(PQKBManifestationID)11258851 035 $a(PQKBTitleCode)TC0000325514 035 $a(PQKBWorkID)10325006 035 $a(PQKB)10527324 035 $a(DE-He213)978-3-540-44743-6 035 $a(MiAaPQ)EBC3072504 035 $a(PPN)155165151 035 $a(EXLCZ)991000000000211536 100 $a20121227d2001 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aParallel Computing Technologies$b[electronic resource] $e6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 Proceedings /$fedited by Victor Malyshkin 205 $a1st ed. 2001. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001. 215 $a1 online resource (XII, 524 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2127 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-42522-5 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aTheory -- A Hybrid Approach to Reaction-Diffusion Processes Simulation -- Formal Verification of Coherence for a Shared Memory Multiprocessor Model -- Static Analysis for Secrecy and Non-interference in Networks of Processes -- Consensus in One Communication Step -- Design Space Exploration for Massively Parallel Processor Arrays -- GCA: Global Cellular Automata. A Flexible Parallel Model -- Cellular-Pipelined Algorithm Architecture for Polynomial Computing -- MetaPL: A Notation System for Parallel Program Description and Performance Analysis -- First-Order 2D Cellular Neural Networks Investigation and Learning -- Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles -- A Transaction Processing Model for the Mobile Data Access System -- Characterizing Timed Net Processes Categorically -- Mapping Heterogeneous Task Graphs onto Networks: Execution Time Optimization -- An O[n 3/z 3] Reduction Procedure for Determining the Maximum Degree of Parallelism in Parallel Applications -- Software and Architecture -- ARTCP: Efficient Algorithm for Transport Protocol for Packet Switched Networks -- Extension of Java Environment by Facilities Supporting Development of SPMD Java-Programs -- Mechanisms of Parallel Computing Organization for NeuroCluster -- Parallel SPMD-Tasks Graph Description Language for Network Clusters -- Optimizing Metacomputing with Communication-Computation Overlap -- WebCluster: A Web-Accessible Cluster Computing System Based on Coordination and Mobility -- On Using SPiDER to Examine and Debug Real-World Data-Parallel Applications -- Experimental Version of Parallel Programs Translator from Petri Nets to C++ -- Typing the ISA to Cluster the Processor -- Send-Recv Considered Harmful? Myths and Truths about Parallel Programming -- UNICORE: A Grid Computing Environment for Distributed and Parallel Computing -- Parallel Adaptive Mesh Refinement with Load Balancing for Finite Element Method -- Concurrent Implementation of Structurally Synthesized Programs -- An Associative Version of the Bellman-Ford Algorithm for Finding the Shortest Paths in Directed Graphs -- Fusion of Concurrent Invocations of Exclusive Methods -- Computational Portal: Remote Access to High-Performance Computing -- Event Logic Programming -- Techniques for Increasing Performance of CORBA Parallel Distributed Applications -- Manager-Worker Parallelism versus Dataflow in a Distributed Computer Algebra System -- Communication Interface CoIn -- Design of a Tool for Providing Dynamic Network Information to an Application -- Compilation Principle of a Specification Language Dedicated to Signal Processing -- An Approach to Composing Parallel Programs -- Web-Based Parallel Simulation of AGVs Using Java and JINI -- Applications -- On the Parallelezation of Domain Decomposition Methods for 3-D Boundary Value Problems -- Parallel Generation of Percolation Beds Based on Stochastic Cellular Automata -- Parallel Simulation of 3D Incompressible Flows and Performance Comparison for Several MPP and Cluster Platforms -- Distributed Simulation of Hybrid Systems with HLA Support -- Application of the Parallel Computing Technology to a Wave Front Model Using the Finite Element Method -- A General Parallel Computing Approach Using the Finite Element Method and the Objects Oriented Programming by Selected Data Technique -- Parallel Implementation of a Corrected DSMC Method -- Parallel Algorithms for Non-stationary Problems: Survey of New Generation of Explicit Schemes -- Tool Environments in CORBA-Based Medical High Performance Computing -- Parallel Algorithms for the Analysis of Biological Sequences -- Some Parallel Monte Carlo Algorithms -- Implementation of the Parallel Four Points Modified Explicit Group Iterative Algorithm on Shared Memory Parallel Computer -- A Parallel Expressed Sequence Tag (EST) Clustering Program -- Protein Sequence Comparison on the Instruction Systolic Array -- SCI-Based LINUX PC-Clusters as a Platform for Electromagnetic Field Calculations. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2127 606 $aSoftware engineering 606 $aArchitecture, Computer 606 $aComputer programming 606 $aComputers 606 $aAlgorithms 606 $aComputer organization 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006 615 0$aSoftware engineering. 615 0$aArchitecture, Computer. 615 0$aComputer programming. 615 0$aComputers. 615 0$aAlgorithms. 615 0$aComputer organization. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aComputer System Implementation. 615 24$aProgramming Techniques. 615 24$aComputation by Abstract Devices. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aComputer Systems Organization and Communication Networks. 676 $a004.35 702 $aMalyshkin$b Victor$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on Parallel Computing Technologies 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465805003316 996 $aParallel Computing Technologies$9772517 997 $aUNISA