Parallel Processing and Applied Mathematics, 2008 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected papers Coll. Theoretical Computer Science and General Issues

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Parallel Processing and Applied Mathematics, PPAM 2007, held in Gdansk, Poland, in September 2007. The 63 revised full papers of the main conference presented together with 85 revised workshop papers were carefully reviewed and selected from over 250 initial submissions. The papers are organized in topical sections on parallel/distributed architectures and mobile computing, numerical algorithms and parallel numerics, parallel and distributed non-numerical algorithms, environments and tools for as well as applications of parallel/distributed/grid computing, evolutionary computing, meta-heuristics and neural networks. The volume proceeds with the outcome of 11 workshops and minisymposia dealing with novel data formats and algorithms for dense linear algebra computations, combinatorial tools for parallel sparse matrix computations, grid applications and middleware, large scale computations on grids, models, algorithms and methodologies for grid-enabled computing environments, scheduling for parallel computing, language-based parallel programming models, performance evaluation of parallel applications on large-scale systems, parallel computational biology, high performance computing for engineering applications, and the minisymposium on interval analysis.

Parallel/Distributed Architectures and Mobile Computing.- Safety of a Session Guarantees Protocol Using Plausible Clocks.- On Checkpoint Overhead in Distributed Systems Providing Session Guarantees.- Performance Evolution and Power Benefits of Cluster System Utilizing Quad-Core and Dual-Core Intel Xeon Processors.- Skip Ring Topology in FAST Failure Detection Service.- Inter-processor Communication Optimization in Dynamically Reconfigurable Embedded Parallel Systems.- An Algorithm to Improve Parallelism in Distributed Systems Using Asynchronous Calls.- IEBS Ticketing Protocol as Answer to Synchronization Issue.- Analysis of Distributed Packet Forwarding Strategies in Ad Hoc Networks.- Implementation and Optimization of Dense LU Decomposition on the Stream Processor.- Numerical Algorithms and Parallel Numerics.- An Adaptive Interface for the Efficient Computation of the Discrete Sine Transform.- Incomplete WZ Factorization as an Alternative Method of Preconditioning for Solving Markov Chains.- A Block-Based Parallel Adaptive Scheme for Solving the 4D Vlasov Equation.- On Optimal Strategies of Russia’s Behavior on the International Market for Emissions Permits.- Message-Passing Two Steps Least Square Algorithms for Simultaneous Equations Models.- Parallel Implementation of Cholesky LL T -Algorithm in FPGA-Based Processor.- Dimensional Analysis Applied to a Parallel QR Algorithm.- Sparse Matrix-Vector Multiplication - Final Solution?.- Parallel and Distributed Non-numerical Algorithms.- Petascale Computing for Large-Scale Graph Problems.- The Buffered Work-Pool Approach for Search-Tree Based Optimization Algorithms.- Parallel Scatter Search Algorithm for the Flow Shop Sequencing Problem.- Theoretical and Practical Issues of Parallel Simulated Annealing.- Modified R-MVB Tree and BTV Algorithm Used in a Distributed Spatio-temporal Data Warehouse.- Towards Stream Data Parallel Processing in Spatial Aggregating Index.- On Parallel Generation of Partial Derangements, Derangements and Permutations.- Parallel Simulated Annealing Algorithm for Graph Coloring Problem.- Parallel Algorithm to Find Minimum Vertex Guard Set in a Triangulated Irregular Network.- JaCk-SAT: A New Parallel Scheme to Solve the Satisfiability Problem (SAT) Based on Join-and-Check.- Environments and Tools for Parallel/Distributed/Grid Computing.- Designing Service-Based Resource Management Tools for a Healthy Grid Ecosystem.- BC-MPI: Running an MPI Application on Multiple Clusters with BeesyCluster Connectivity.- Managing Distributed Architecture with Extended WS-CDL.- REVENTS: Facilitating Event-Driven Distributed HPC Applications.- Empowering Automatic Semantic Annotation in Grid.- Fault Tolerant Record Placement for Decentralized SDDS LH*.- Grid Services for HSM Systems Monitoring.- The Vine Toolkit: A Java Framework for Developing Grid Applications.- Enhancing Productivity in High Performance Computing through Systematic Conditioning.- A Formal Model of Multi-agent Computations.- An Approach to Distributed Fault Injection Experiments.- Applications of Parallel/Distributed/Grid Computing.- Parallel Solution of Nonlinear Parabolic Problems on Logically Rectangular Grids.- Provenance Tracking in the ViroLab Virtual Laboratory.- Efficiency of Interactive Terrain Visualization with a PC-Cluster.- Implementing Commodity Flow in an Agent-Based Model E-Commerce System.- MPI and OpenMP Computations for Nuclear Waste Deposition Models.- A Pipelined Parallel Algorithm for OSIC Decoding.- A Self-scheduling Scheme for Parallel Processing in Heterogeneous Environment: Simulations of the Monte Carlo Type.- Asynchronous Parallel Molecular Dynamics Simulations.- Parallel Computing of GRAPES 3D-Variational Data Assimilation System.- Evolutionary Computing, Meta-Heuristics and Neural Networks.- The Effects of Heterogeneity on Asynchronous Panmictic Genetic Search.- A Parallel Sensor Selection Technique for Identification of Distributed Parameter Systems Subject to Correlated Observations.- Distributed Segregative Genetic Algorithm for Solving Fuzzy Equations.- Solving Channel Borrowing Problem with Coevolutionary Genetic Algorithms.- Balancedness in Binary Sequences with Cryptographic Applications.- A Cost-Benefit-Based Adaptation Scheme for Multimeme Algorithms.- Optimizing the Shape of an Impeller Using the Differential Ant-Stigmergy Algorithm.- Parallel Algorithm for Simulation of Circuit and One-Way Quantum Computation Models.- Modular Rough Neuro-fuzzy Systems for Classification.- Tracing SQL Attacks Via Neural Networks.- Optimization of Parallel FDTD Computations Using a Genetic Algorithm.- Modular Type-2 Neuro-fuzzy Systems.- Evolutionary Viral-type Algorithm for the Inverse Problem for Iterated Function Systems.- Tackling the Grid Job Planning and Resource Allocation Problem Using a Hybrid Evolutionary Algorithm.- Evolutionary Algorithm with Forced Variation in Multi-dimensional Non-stationary Environment.- Hybrid Flowshop with Unrelated Machines, Sequence Dependent Setup Time and Availability Constraints: An Enhanced Crossover Operator for a Genetic Algorithm.- The Second Minisymposium on Novel Data Formats and Algorithms for Dense Linear Algebra Computations.- The Relevance of New Data Structure Approaches for Dense Linear Algebra in the New Multi-Core / Many Core Environments.- Three Versions of a Minimal Storage Cholesky Algorithm Using New Data Structures Gives High Performance Speeds as Verified on Many Computers.- Hardware-Oriented Implementation of Cache Oblivious Matrix Operations Based on Space-Filling Curves.- Parallel Tiled QR Factorization for Multicore Architectures.- Application of Rectangular Full Packed and Blocked Hybrid Matrix Formats in Semidefinite Programming for Sensor Network Localization.- New Data Structures for Matrices and Specialized Inner Kernels: Low Overhead for High Performance.- The Implementation of BLAS for Band Matrices.- Parallel Solution of Band Linear Systems in Model Reduction.- Evaluating Linear Recursive Filters Using Novel Data Formats for Dense Matrices.- Combinatorial Tools for Parallel Sparse Matrix Computations Workshop.- Application of Fusion-Fission to the Multi-way Graph Partitioning Problem.- A Parallel Approximation Algorithm for the Weighted Maximum Matching Problem.- Heuristics for a Matrix Symmetrization Problem.- A Supernodal Out-of-Core Sparse Gaussian-Elimination Method.- The Third Grid Applications and Middleware Workshop (GAMW’07).- A Large-Scale Semantic Grid Repository.- Scientific Workflow: A Survey and Research Directions.- A Light-Weight Grid Workflow Execution Engine Enabling Client and Middleware Independence.- Supporting NAMD Application on the Grid Using GPE.- A Grid Advance Reservation Framework for Co-allocation and Co-reservation Across Heterogeneous Local Resource Management Systems.- Using HLA and Grid for Distributed Multiscale Simulations.- The OpenCF: An Open Source Computational Framework Based on Web Services Technologies.- Service Level Agreement Metrics for Real-Time Application on the Grid.- Dynamic Control of Grid Workflows through Activities Global State Monitoring.- Transparent Access to Grid-Based Compute Utilities.- Towards Secure Data Management System for Grid Environment Based on the Cell Broadband Engine.- Ontology Alignment for Contract Based Virtual Organizations Negotiation and Operation.- The Third Workshop on Large Scale Computations on Grids (LaSCoG’07).- On Service-Oriented Symbolic Computing.- CPPC-G: Fault-Tolerant Applications on the Grid.- Garbage Collection in Object Oriented Condensed Graphs.- MASIPE: A Tool Based on Mobile Agents for Monitoring Parallel Environments.- Geovisualisation Service for Grid-Based Assessment of Natural Disasters.- Web Portal to Make Large-Scale Scientific Computations Based on Grid Computing and MPI.- Workshop on Models, Algorithms and Methodologies for Grid-Enabled Computing Environments.- The GSI Plug-In for gSOAP: Building Cross-Grid Interoperable Secure Grid Services.- Implementing Effective Data Management Policies in Distributed and Grid Computing Environments.- Data Mining on Desktop Grid Platforms.- Distributed Resources Reservation Algorithm for GRID Networks.- A PMI-Aware Extension for the SSH Service.- An Integrated ClassAd-Latent Semantic Indexing Matchmaking Algorithm for Globus Toolkit Based Computing Grids.- A Grid Computing Based Virtual Laboratory for Environmental Simulations.- Exploring the Behaviour of Fine-Grain Management for Virtual Resource Provisioning.- Workshop on Scheduling for Parallel Computing (SPC’07).- Parallel Irregular Computations with Dynamic Load Balancing through Global Consistent State Monitoring.- On-Line Partitioning for On-Line Scheduling with Resource Conflicts.- A Multiobjective Evolutionary Approach for Multisite Mapping on Grids.- Scheduling with Precedence Constraints: Mixed Graph Coloring in Series-Parallel Graphs.- A New Model of Multi-installment Divisible Loads Processing in Systems with Limited Memory.- Scheduling DAGs on Grids with Copying and Migration.- Alea – Grid Scheduling Simulation Environment.- Cost Minimisation in Unbounded Multi-interface Networks.- Scheduling in Multi-organization Grids: Measuring the Inefficiency of Decentralization.- Tightness Results for Malleable Task Scheduling Algorithms.- The Second Workshop on Language-Based Parallel Programming Models (WLPP’07).- Universal Grid Client: Grid Operation Invoker.- Divide-and-Conquer Parallel Programming with Minimally Synchronous Parallel ML.- Cloth Simulation in the SILC Matrix Computation Framework: A Case Study.- Computing the Irregularity Strength of Connected Graphs by Parallel Constraint Solving in the Mozart System.- DPSKEL: A Skeleton Based Tool for Parallel Dynamic Programming.- SkelJ: Skeletons for Object-Oriented Applications.- Formal Semantics of DRMA-Style Programming in BSPlib.- A Container-Iterator Parallel Programming Model.- Workshop on Performance Evaluation of Parallel Applications on Large-Scale Systems.- Semantic-Oriented Approach to Performance Monitoring of Distributed Java Applications.- Using Experimental Data to Improve the Performance Modelling of Parallel Linear Algebra Routines.- Comparison of Execution Time Decomposition Methods for Performance Evaluation.- An Extensible Timing Infrastructure for Adaptive Large-Scale Applications.- End to End QoS Measurements of TCP Connections.- Performance Evaluation of Basic Linear Algebra Subroutines on a Matrix Co-processor.- Workshop on Parallel Computational Biology (PBC’2007).- High Throughput Comparison of Prokaryotic Genomes.- A Parallel Classification and Feature Reduction Method for Biomedical Applications.- Applying SIMD Approach to Whole Genome Comparison on Commodity Hardware.- Parallel Multiprocessor Approaches to the RNA Folding Problem.- Protein Similarity Search with Subset Seeds on a Dedicated Reconfigurable Hardware.- Parallel DNA Sequence Alignment on the Cell Broadband Engine.- Workshop on High Performance Computing for Engineering Applications.- Scalability and Performance Analysis of a Probabilistic Domain Decomposition Method.- Scalability Analysis for a Multigrid Linear Equations Solver.- A Grid-Enabled Lattice-Boltzmann-Based Modelling System.- Parallel Bioinspired Algorithms in Optimization of Structures.- 3D Global Flow Stability Analysis on Unstructured Grids.- Performance of Multi Level Parallel Direct Solver for hp Finite Element Method.- Graph Transformations for Modeling Parallel hp-Adaptive Finite Element Method.- Acceleration of Preconditioned Krylov Solvers for Bubbly Flow Problems.- Persistent Data Structures for Fast Point Location.- Minisymposium on Interval Analysis.- A Reliable Extended Octree Representation of CSG Objects with an Adaptive Subdivision Depth.- Efficient Ray Tracing Using Interval Analysis.- A Survey of Interval Runge–Kutta and Multistep Methods for Solving the Initial Value Problem.- Towards Efficient Prediction of Decisions under Interval Uncertainty.- Interval Methods for Computing the Pareto-front of a Multicriterial Problem.- Fuzzy Solution of Interval Linear Equations.- On Checking the Monotonicity of Parametric Interval Solution of Linear Structural Systems.