Inhalt

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.