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.