| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465905203316 |
|
|
Titolo |
Parallel Computing Technologies [[electronic resource] ] : 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings / / edited by Malyshkin Victor |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
|
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2005.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 472 p.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 3606 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer systems |
Computer programming |
Computer engineering |
Computer networks |
Algorithms |
Computer simulation |
Software Engineering |
Computer System Implementation |
Programming Techniques |
Computer Engineering and Networks |
Computer Modelling |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
On Evaluating the Performance of Security Protocols -- Timed Equivalences for Timed Event Structures -- Similarity of Generalized Resources in Petri Nets -- Real-Time Event Structures and Scott Domains -- Early-Stopping k-Set Agreement in Synchronous Systems Prone to Any Number of Process Crashes -- Allowing Atomic Objects to Coexist with Sequentially Consistent Objects -- An Approach to the Implementation of the Dynamical Priorities Method -- Information Flow Analysis for VHDL -- Composing Fine-Grained Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: |
|
|
|
|
|
|
|
|
|
|
Coordinated Change of State for Adjacent Agents -- Optimal Behavior of a Moving Creature in the Cellular Automata Model -- Systolic Routing in an Optical Butterfly -- Feasibility of the Circularly Connected Analog CNN Cell Array-Based Viterbi Decoder -- Associative Parallel Algorithm for Dynamic Reconstruction of a Minimum Spanning Tree After Deletion of a Vertex -- The Use of Vertical Processing Principle in Parallel Image Processing on Conventional MIMD Computers -- Parallel Implementation of Back-Propagation Neural Network Software on SMP Computers -- Development of Predictive TFRC with Neural Network -- Planning of Parallel Abstract Programs as Boolean Satisfiability -- Efficient Communication Scheduling Methods for Irregular Data Redistribution in Parallelizing Compilers -- Online Virtual Disk Migration with Performance Guarantees in a Shared Storage Environment -- ParC#: Parallel Computing with C# in .Net -- Minimizing Hotspot Delay by Fully Utilizing the Link Bandwidth on 2D Mesh with Virtual Cut-Through Switching -- A Shape Optimizing Load Distribution Heuristic for Parallel Adaptive FEM Computations -- Performance Analysis of Applying Replica Selection Technology for Data Grid Environments -- RAxML-OMP: An Efficient Program for Phylogenetic Inference on SMPs -- OpenTS: An Outline of Dynamic Parallelization Approach -- NumGrid Middleware: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs -- Comprehensive Cache Inspection with Hardware Monitors -- A Fast Technique for Constructing Evolutionary Tree with the Application of Compact Sets -- XenoCluster: A Grid Computing Approach to Finding Ancient Evolutionary Genetic Anomalies -- A Model for Designing and Implementing Parallel Applications Using Extensible Architectural Skeletons -- A Parallel Computational Code for the Education of Coherent Structures of Turbulence in Fluid Dynamics -- Experimenting with a Multi-agent E-Commerce Environment -- A Parallel Version for the Propagation Algorithm -- Parallelization Techniques for Multidimensional Hypercomplex Discrete Fourier Transform -- An Implementation of the Matrix Multiplication Algorithm SUMMA in mpF -- The Parallel Implementation of the Algorithm Solution of Model for Two-Phase Cluster in Liquids -- Neural Network Approach for Parallel Construction of Adaptive Meshes -- Clustering Multiple and Cooperative Instances of Computational Intensive Software Tools -- A Multigrid Parallel Program for Protoplanetary Disc Simulation. |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910137587303321 |
|
|
Titolo |
2012 15th International IEEE Conference on Intelligent Transportation Systems |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Place of publication not identified], : IEEE, 2012 |
|
|
|
|
|
|
|
ISBN |
|
9781467330633 |
1467330639 |
9781467330626 |
1467330620 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource : illustrations |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Automobiles - Automatic control |
Automotive telematics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
| |