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

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