00947nam0 22002771i 450 SUN002269420200114114337.753978-88-15-07155-20.0020040906d1999 |0itac50 baitaIT|||| |||||*Istituzioni medievaliMario Ascheri2. edBolognaIl mulino1999458 p.24 cm.001SUN00087502001 Strumenti. Storia210 BolognaIl mulino.BolognaSUNL000003342.450090221Ascheri, MarioSUNV008700127201Il mulinoSUNV000011650ITSOL20200120RICASUN0022694UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA00CONS XXIV.Eb.115 00 18589 20040906 Istituzioni medievali176269UNICAMPANIA07361nam 22007935 450 99646580500331620200706075605.03-540-44743-110.1007/3-540-44743-1(CKB)1000000000211536(SSID)ssj0000325514(PQKBManifestationID)11258851(PQKBTitleCode)TC0000325514(PQKBWorkID)10325006(PQKB)10527324(DE-He213)978-3-540-44743-6(MiAaPQ)EBC3072504(PPN)155165151(EXLCZ)99100000000021153620121227d2001 u| 0engurnn|008mamaatxtccrParallel Computing Technologies[electronic resource] 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 Proceedings /edited by Victor Malyshkin1st ed. 2001.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2001.1 online resource (XII, 524 p.) Lecture Notes in Computer Science,0302-9743 ;2127Bibliographic Level Mode of Issuance: Monograph3-540-42522-5 Includes bibliographical references at the end of each chapters and index.Theory -- 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.Lecture Notes in Computer Science,0302-9743 ;2127Software engineeringArchitecture, ComputerComputer programmingComputersAlgorithmsComputer organizationSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Computer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Computer Systems Organization and Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13006Software engineering.Architecture, Computer.Computer programming.Computers.Algorithms.Computer organization.Software Engineering/Programming and Operating Systems.Computer System Implementation.Programming Techniques.Computation by Abstract Devices.Algorithm Analysis and Problem Complexity.Computer Systems Organization and Communication Networks.004.35Malyshkin Victoredthttp://id.loc.gov/vocabulary/relators/edtInternational Conference on Parallel Computing TechnologiesMiAaPQMiAaPQMiAaPQBOOK996465805003316Parallel Computing Technologies772517UNISA