Ebook: Parallel Processing and Applied Mathematics: 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 Revised Selected Papers

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.

---

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.

---

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.

Content:
Front Matter....Pages -
Safety of a Session Guarantees Protocol Using Plausible Clocks....Pages 1-10
On Checkpoint Overhead in Distributed Systems Providing Session Guarantees....Pages 11-19
Performance Evolution and Power Benefits of Cluster System Utilizing Quad-Core and Dual-Core Intel Xeon Processors....Pages 20-28
Skip Ring Topology in FAST Failure Detection Service....Pages 29-38
Inter-processor Communication Optimization in Dynamically Reconfigurable Embedded Parallel Systems....Pages 39-48
An Algorithm to Improve Parallelism in Distributed Systems Using Asynchronous Calls....Pages 49-58
IEBS Ticketing Protocol as Answer to Synchronization Issue....Pages 59-67
Analysis of Distributed Packet Forwarding Strategies in Ad Hoc Networks....Pages 68-77
Implementation and Optimization of Dense LU Decomposition on the Stream Processor....Pages 78-88
An Adaptive Interface for the Efficient Computation of the Discrete Sine Transform ....Pages 89-98
Incomplete WZ Factorization as an Alternative Method of Preconditioning for Solving Markov Chains....Pages 99-107
A Block-Based Parallel Adaptive Scheme for Solving the 4D Vlasov Equation....Pages 108-117
On Optimal Strategies of Russia’s Behavior on the International Market for Emissions Permits....Pages 118-126
Message-Passing Two Steps Least Square Algorithms for Simultaneous Equations Models....Pages 127-136
Dimensional Analysis Applied to a Parallel QR Algorithm....Pages 137-147
Sparse Matrix-Vector Multiplication - Final Solution?....Pages 148-155
Petascale Computing for Large-Scale Graph Problems....Pages 156-165
The Buffered Work-Pool Approach for Search-Tree Based Optimization Algorithms....Pages 166-169
Parallel Scatter Search Algorithm for the Flow Shop Sequencing Problem....Pages 170-179
Theoretical and Practical Issues of Parallel Simulated Annealing....Pages 180-188
Modified R-MVB Tree and BTV Algorithm Used in a Distributed Spatio-temporal Data Warehouse....Pages 189-198
Towards Stream Data Parallel Processing in Spatial Aggregating Index....Pages 199-208
On Parallel Generation of Partial Derangements, Derangements and Permutations....Pages 209-218
Parallel Simulated Annealing Algorithm for Graph Coloring Problem....Pages 219-228
Parallel Algorithm to Find Minimum Vertex Guard Set in a Triangulated Irregular Network....Pages 229-238
JaCk-SAT: A New Parallel Scheme to Solve the Satisfiability Problem (SAT) Based on Join-and-Check....Pages 239-248
Designing Service-Based Resource Management Tools for a Healthy Grid Ecosystem ....Pages 249-258
BC-MPI: Running an MPI Application on Multiple Clusters with BeesyCluster Connectivity....Pages 259-270
Managing Distributed Architecture with Extended WS-CDL....Pages 271-280
REVENTS: Facilitating Event-Driven Distributed HPC Applications....Pages 281-290
Empowering Automatic Semantic Annotation in Grid....Pages 291-301
Fault Tolerant Record Placement for Decentralized SDDS LH*....Pages 302-311
Grid Services for HSM Systems Monitoring....Pages 312-320
The Vine Toolkit: A Java Framework for Developing Grid Applications....Pages 321-330
Enhancing Productivity in High Performance Computing through Systematic Conditioning ....Pages 331-340
A Formal Model of Multi-agent Computations....Pages 341-350
An Approach to Distributed Fault Injection Experiments....Pages 351-360
Parallel Solution of Nonlinear Parabolic Problems on Logically Rectangular Grids....Pages 361-370
Provenance Tracking in the ViroLab Virtual Laboratory....Pages 371-380
Efficiency of Interactive Terrain Visualization with a PC-Cluster....Pages 381-390
Implementing Commodity Flow in an Agent-Based Model E-Commerce System....Pages 391-399
MPI and OpenMP Computations for Nuclear Waste Deposition Models....Pages 400-408
A Pipelined Parallel Algorithm for OSIC Decoding....Pages 409-418
A Self-scheduling Scheme for Parallel Processing in Heterogeneous Environment: Simulations of the Monte Carlo Type....Pages 419-428
Asynchronous Parallel Molecular Dynamics Simulations....Pages 429-438
Parallel Computing of GRAPES 3D-Variational Data Assimilation System....Pages 439-446
The Effects of Heterogeneity on Asynchronous Panmictic Genetic Search....Pages 447-456
A Parallel Sensor Selection Technique for Identification of Distributed Parameter Systems Subject to Correlated Observations....Pages 457-468
Distributed Segregative Genetic Algorithm for Solving Fuzzy Equations....Pages 469-478
Solving Channel Borrowing Problem with Coevolutionary Genetic Algorithms....Pages 479-488
Balancedness in Binary Sequences with Cryptographic Applications....Pages 489-498
A Cost-Benefit-Based Adaptation Scheme for Multimeme Algorithms....Pages 499-508
Optimizing the Shape of an Impeller Using the Differential Ant-Stigmergy Algorithm....Pages 509-519
Parallel Algorithm for Simulation of Circuit and One-Way Quantum Computation Models....Pages 520-529
Modular Rough Neuro-fuzzy Systems for Classification....Pages 530-539
Tracing SQL Attacks Via Neural Networks....Pages 540-548
Optimization of Parallel FDTD Computations Using a Genetic Algorithm....Pages 549-558
Modular Type-2 Neuro-fuzzy Systems....Pages 559-569
Evolutionary Viral-type Algorithm for the Inverse Problem for Iterated Function Systems....Pages 570-578
Tackling the Grid Job Planning and Resource Allocation Problem Using a Hybrid Evolutionary Algorithm....Pages 579-588
Evolutionary Algorithm with Forced Variation in Multi-dimensional Non-stationary Environment....Pages 589-599
Hybrid Flowshop with Unrelated Machines, Sequence Dependent Setup Time and Availability Constraints: An Enhanced Crossover Operator for a Genetic Algorithm....Pages 600-607
The Relevance of New Data Structure Approaches for Dense Linear Algebra in the New Multi-Core / Many Core Environments....Pages 608-617
Three Versions of a Minimal Storage Cholesky Algorithm Using New Data Structures Gives High Performance Speeds as Verified on Many Computers....Pages 618-621
Hardware-Oriented Implementation of Cache Oblivious Matrix Operations Based on Space-Filling Curves....Pages 622-627
Parallel Tiled QR Factorization for Multicore Architectures....Pages 628-638
Application of Rectangular Full Packed and Blocked Hybrid Matrix Formats in Semidefinite Programming for Sensor Network Localization....Pages 639-648
New Data Structures for Matrices and Specialized Inner Kernels: Low Overhead for High Performance ....Pages 649-658
The Implementation of BLAS for Band Matrices....Pages 659-667
Parallel Solution of Band Linear Systems in Model Reduction....Pages 668-677
Evaluating Linear Recursive Filters Using Novel Data Formats for Dense Matrices....Pages 678-687
Application of Fusion-Fission to the Multi-way Graph Partitioning Problem....Pages 688-697
A Parallel Approximation Algorithm for the Weighted Maximum Matching Problem ....Pages 698-707
Heuristics for a Matrix Symmetrization Problem....Pages 708-717
A Supernodal Out-of-Core Sparse Gaussian-Elimination Method....Pages 718-727
A Large-Scale Semantic Grid Repository....Pages 728-737
Scientific Workflow: A Survey and Research Directions....Pages 738-745
A Light-Weight Grid Workflow Execution Engine Enabling Client and Middleware Independence ....Pages 746-753
Supporting NAMD Application on the Grid Using GPE....Pages 754-761
A Grid Advance Reservation Framework for Co-allocation and Co-reservation Across Heterogeneous Local Resource Management Systems....Pages 762-769
Using HLA and Grid for Distributed Multiscale Simulations....Pages 770-779
The OpenCF: An Open Source Computational Framework Based on Web Services Technologies....Pages 780-787
Service Level Agreement Metrics for Real-Time Application on the Grid....Pages 788-797
Dynamic Control of Grid Workflows through Activities Global State Monitoring....Pages 798-806
Transparent Access to Grid-Based Compute Utilities....Pages 807-816
Towards Secure Data Management System for Grid Environment Based on the Cell Broadband Engine....Pages 817-824
Ontology Alignment for Contract Based Virtual Organizations Negotiation and Operation....Pages 825-834
On Service-Oriented Symbolic Computing....Pages 835-842
CPPC-G: Fault-Tolerant Applications on the Grid....Pages 843-851
Garbage Collection in Object Oriented Condensed Graphs....Pages 852-859
MASIPE: A Tool Based on Mobile Agents for Monitoring Parallel Environments....Pages 860-869
Geovisualisation Service for Grid-Based Assessment of Natural Disasters....Pages 870-879
Web Portal to Make Large-Scale Scientific Computations Based on Grid Computing and MPI....Pages 880-887
The GSI Plug-In for gSOAP: Building Cross-Grid Interoperable Secure Grid Services....Pages 888-893
Implementing Effective Data Management Policies in Distributed and Grid Computing Environments....Pages 894-901
Data Mining on Desktop Grid Platforms....Pages 902-911
Distributed Resources Reservation Algorithm for GRID Networks....Pages 912-921
A PMI-Aware Extension for the SSH Service....Pages 922-931
An Integrated ClassAd-Latent Semantic Indexing Matchmaking Algorithm for Globus Toolkit Based Computing Grids....Pages 932-941
A Grid Computing Based Virtual Laboratory for Environmental Simulations....Pages 942-950
Exploring the Behaviour of Fine-Grain Management for Virtual Resource Provisioning ....Pages 951-960
Parallel Irregular Computations with Dynamic Load Balancing through Global Consistent State Monitoring....Pages 961-970
On-Line Partitioning for On-Line Scheduling with Resource Conflicts....Pages 971-980
A Multiobjective Evolutionary Approach for Multisite Mapping on Grids....Pages 981-990
Scheduling with Precedence Constraints: Mixed Graph Coloring in Series-Parallel Graphs....Pages 991-1000
A New Model of Multi-installment Divisible Loads Processing in Systems with Limited Memory....Pages 1001-1008
Scheduling DAGs on Grids with Copying and Migration....Pages 1009-1018
Alea – Grid Scheduling Simulation Environment....Pages 1019-1028
Cost Minimisation in Unbounded Multi-interface Networks....Pages 1029-1038
Scheduling in Multi-organization Grids: Measuring the Inefficiency of Decentralization....Pages 1039-1047
Tightness Results for Malleable Task Scheduling Algorithms....Pages 1048-1058
Universal Grid Client: Grid Operation Invoker....Pages 1059-1067
Divide-and-Conquer Parallel Programming with Minimally Synchronous Parallel ML....Pages 1068-1077
Cloth Simulation in the SILC Matrix Computation Framework: A Case Study....Pages 1078-1085
Computing the Irregularity Strength of Connected Graphs by Parallel Constraint Solving in the Mozart System....Pages 1086-1095
DPSKEL: A Skeleton Based Tool for Parallel Dynamic Programming....Pages 1096-1103
SkelJ: Skeletons for Object-Oriented Applications....Pages 1104-1113
Formal Semantics of DRMA-Style Programming in BSPlib ....Pages 1114-1121
A Container-Iterator Parallel Programming Model....Pages 1122-1129
Semantic-Oriented Approach to Performance Monitoring of Distributed Java Applications....Pages 1130-1139
Using Experimental Data to Improve the Performance Modelling of Parallel Linear Algebra Routines....Pages 1140-1149
Comparison of Execution Time Decomposition Methods for Performance Evaluation....Pages 1150-1159
An Extensible Timing Infrastructure for Adaptive Large-Scale Applications....Pages 1160-1169
End to End QoS Measurements of TCP Connections....Pages 1170-1179
Performance Evaluation of Basic Linear Algebra Subroutines on a Matrix Co-processor....Pages 1180-1189
High Throughput Comparison of Prokaryotic Genomes....Pages 1190-1199
A Parallel Classification and Feature Reduction Method for Biomedical Applications....Pages 1200-1209
Applying SIMD Approach to Whole Genome Comparison on Commodity Hardware....Pages 1210-1219
Parallel Multiprocessor Approaches to the RNA Folding Problem....Pages 1220-1229
Protein Similarity Search with Subset Seeds on a Dedicated Reconfigurable Hardware....Pages 1230-1239
Parallel DNA Sequence Alignment on the Cell Broadband Engine....Pages 1240-1248
Scalability and Performance Analysis of a Probabilistic Domain Decomposition Method....Pages 1249-1256
Scalability Analysis for a Multigrid Linear Equations Solver....Pages 1257-1264
A Grid-Enabled Lattice-Boltzmann-Based Modelling System....Pages 1265-1274
Parallel Bioinspired Algorithms in Optimization of Structures....Pages 1275-1284
3D Global Flow Stability Analysis on Unstructured Grids....Pages 1285-1292
Performance of Multi Level Parallel Direct Solver for hp Finite Element Method....Pages 1293-1302
Graph Transformations for Modeling Parallel hp-Adaptive Finite Element Method....Pages 1303-1312
Acceleration of Preconditioned Krylov Solvers for Bubbly Flow Problems....Pages 1313-1322
Persistent Data Structures for Fast Point Location....Pages 1323-1332
A Reliable Extended Octree Representation of CSG Objects with an Adaptive Subdivision Depth....Pages 1333-1340
Efficient Ray Tracing Using Interval Analysis....Pages 1341-1350
A Survey of Interval Runge–Kutta and Multistep Methods for Solving the Initial Value Problem....Pages 1351-1360
Towards Efficient Prediction of Decisions under Interval Uncertainty....Pages 1361-1371
Interval Methods for Computing the Pareto-front of a Multicriterial Problem....Pages 1372-1381
Fuzzy Solution of Interval Linear Equations....Pages 1382-1391
On Checking the Monotonicity of Parametric Interval Solution of Linear Structural Systems....Pages 1392-1399
Back Matter....Pages 1400-1409
....Pages -