LEADER 01155nam a2200325 i 4500 001 991001307849707536 005 20020507191055.0 008 951030s1980 us ||| | eng 020 $a0273084461 035 $ab10829489-39ule_inst 035 $aLE01310269$9ExL 040 $aDip.to Matematica$beng 082 0 $a512.4 084 $aAMS 16P 100 1 $aChatters, A. W.$0536708 245 10$aRings with chain conditions /$cA. W. Chatters & C. R. Hajarnavis 260 $aBoston :$bPitman Advanced Publ. Program,$cc1980 300 $a197 p. ;$c25 cm. 490 0 $aPitman research notes in mathematics series, ISSN 02693674 ;$v44 500 $aBibliography: p. 183-195. 500 $aIncludes index 650 4$aChain conditions 650 4$aNoncommutative rings-chain conditions 700 1 $aHajarnavis, C. R. 907 $a.b10829489$b23-02-17$c28-06-02 912 $a991001307849707536 945 $aLE013 16P CHA11 (1980)$g1$i2013000038957$lle013$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10937845$z28-06-02 996 $aRings with chain conditions$9924577 997 $aUNISALENTO 998 $ale013$b01-01-95$cm$da $e-$feng$gus $h0$i1 LEADER 08106nam 22008295 450 001 9910143592003321 005 20251116234203.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(BIP)13627176 035 $a(BIP)7358084 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 $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 08$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. 330 $aThis book constitutes the refereed proceedings of the 6th International Conference on Parallel Computing Technologies, PaCT 2001, held in Novosibirsk, Russia in September 2001. The 36 revised full papers and 13 posters presented together with 4 invited papers were carefully reviewed and selected from 81 submissions. The papers presented span the whole range of parallel processing from theory and software through architecture and applications. Among the topics addressed are shared memory systems, formal methods, networks of processes, cellular automata, mobile data access systems, Java programming, neuro-cluster computing, network clusters, load balancing, etc. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2127 606 $aSoftware engineering 606 $aComputer architecture 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$aComputer architecture. 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 V. E?$g(Viktor E?mmanuilovich),$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 $a9910143592003321 996 $aParallel Computing Technologies$92557659 997 $aUNINA