Parallel Computing Technologies

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