Parallel Computing Technologies

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 On Evaluating the Performance of Security Protocols
3. Altmetric Badge
   Chapter 2 Timed Equivalences for Timed Event Structures
4. Altmetric Badge
   Chapter 3 Similarity of Generalized Resources in Petri Nets
5. Altmetric Badge
   Chapter 4 Real-Time Event Structures and Scott Domains
6. Altmetric Badge
   Chapter 5 Early-Stopping k -Set Agreement in Synchronous Systems Prone to Any Number of Process Crashes
7. Altmetric Badge
   Chapter 6 Allowing Atomic Objects to Coexist with Sequentially Consistent Objects
8. Altmetric Badge
   Chapter 7 An Approach to the Implementation of the Dynamical Priorities Method
9. Altmetric Badge
   Chapter 8 Information Flow Analysis for VHDL
10. Altmetric Badge
    Chapter 9 Composing Fine-Grained Parallel Algorithms for Spatial Dynamics Simulation
11. Altmetric Badge
    Chapter 10 Situated Agents Interaction: Coordinated Change of State for Adjacent Agents
12. Altmetric Badge
    Chapter 11 Optimal Behavior of a Moving Creature in the Cellular Automata Model
13. Altmetric Badge
    Chapter 12 Systolic Routing in an Optical Butterfly
14. Altmetric Badge
    Chapter 13 Feasibility of the Circularly Connected Analog CNN Cell Array-Based Viterbi Decoder
15. Altmetric Badge
    Chapter 14 Associative Parallel Algorithm for Dynamic Reconstruction of a Minimum Spanning Tree After Deletion of a Vertex
16. Altmetric Badge
    Chapter 15 The Use of Vertical Processing Principle in Parallel Image Processing on Conventional MIMD Computers
17. Altmetric Badge
    Chapter 16 Parallel Implementation of Back-Propagation Neural Network Software on SMP Computers
18. Altmetric Badge
    Chapter 17 Development of Predictive TFRC with Neural Network
19. Altmetric Badge
    Chapter 18 Planning of Parallel Abstract Programs as Boolean Satisfiability
20. Altmetric Badge
    Chapter 19 Efficient Communication Scheduling Methods for Irregular Data Redistribution in Parallelizing Compilers
21. Altmetric Badge
    Chapter 20 Online Virtual Disk Migration with Performance Guarantees in a Shared Storage Environment
22. Altmetric Badge
    Chapter 21 ParC#: Parallel Computing with C# in .Net
23. Altmetric Badge
    Chapter 22 Minimizing Hotspot Delay by Fully Utilizing the Link Bandwidth on 2D Mesh with Virtual Cut-Through Switching
24. Altmetric Badge
    Chapter 23 A Shape Optimizing Load Distribution Heuristic for Parallel Adaptive FEM Computations
25. Altmetric Badge
    Chapter 24 Performance Analysis of Applying Replica Selection Technology for Data Grid Environments
26. Altmetric Badge
    Chapter 25 RAxML-OMP: An Efficient Program for Phylogenetic Inference on SMPs
27. Altmetric Badge
    Chapter 26 OpenTS: An Outline of Dynamic Parallelization Approach
28. Altmetric Badge
    Chapter 27 NumGrid Middleware: MPI Support for Computational Grids
29. Altmetric Badge
    Chapter 28 A Practical Tool for Detecting Races in OpenMP Programs
30. Altmetric Badge
    Chapter 29 Comprehensive Cache Inspection with Hardware Monitors
31. Altmetric Badge
    Chapter 30 A Fast Technique for Constructing Evolutionary Tree with the Application of Compact Sets
32. Altmetric Badge
    Chapter 31 XenoCluster: A Grid Computing Approach to Finding Ancient Evolutionary Genetic Anomalies
33. Altmetric Badge
    Chapter 32 A Model for Designing and Implementing Parallel Applications Using Extensible Architectural Skeletons
34. Altmetric Badge
    Chapter 33 A Parallel Computational Code for the Education of Coherent Structures of Turbulence in Fluid Dynamics
35. Altmetric Badge
    Chapter 34 Experimenting with a Multi-agent E-Commerce Environment
36. Altmetric Badge
    Chapter 35 A Parallel Version for the Propagation Algorithm
37. Altmetric Badge
    Chapter 36 Parallelization Techniques for Multidimensional Hypercomplex Discrete Fourier Transform
38. Altmetric Badge
    Chapter 37 An Implementation of the Matrix Multiplication Algorithm SUMMA in mpF
39. Altmetric Badge
    Chapter 38 The Parallel Implementation of the Algorithm Solution of Model for Two-Phase Cluster in Liquids
40. Altmetric Badge
    Chapter 39 Neural Network Approach for Parallel Construction of Adaptive Meshes
41. Altmetric Badge
    Chapter 40 Clustering Multiple and Cooperative Instances of Computational Intensive Software Tools
42. Altmetric Badge
    Chapter 41 A Multigrid Parallel Program for Protoplanetary Disc Simulation