Applied Parallel Computing. State of the Art in Scientific Computing: 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papers

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Introduction The PARA workshops in the past were devoted to parallel computing methods in science and technology. There have been seven PARA meetings to date: PARA’94, PARA’95 and PARA’96 in Lyngby, Denmark, PARA’98 in Umea, ? Sweden, PARA 2000 in Bergen, N- way, PARA 2002 in Espoo, Finland, and PARA 2004 again in Lyngby, Denmark. The ?rst six meetings featured lectures in modern numerical algorithms, computer science, en- neering, and industrial applications, all in the context of scienti?c parallel computing. This meeting in the series, the PARA 2004 Workshop with the title “State of the Art in Scienti?c Computing”, was held in Lyngby, Denmark, June 20–23, 2004. The PARA 2004 Workshop was organized by Jack Dongarra from the University of Tennessee and Oak Ridge National Laboratory, and Kaj Madsen and Jerzy Was ´niewski from the Technical University of Denmark. The emphasis here was shifted to high-performance computing (HPC). The ongoing development of ever more advanced computers provides the potential for solving increasingly dif?cult computational problems. However, given the complexity of modern computer architectures, the task of realizing this potential needs careful attention. For example, the failure to exploit a computer’s memory hi- archy can degrade performance badly. A main concern of HPC is the development of software that optimizes the performance of a given computer. The high cost of state-of-the-art computers can be prohibitive for many workplaces, especially if there is only an occasional need for HPC.

Author(s): Richard P. Brent (auth.), Jack Dongarra, Kaj Madsen, Jerzy Waśniewski (eds.)
Series: Lecture Notes in Computer Science 3732 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2006

Language: English
Pages: 1174
Tags: Mathematics of Computing; Software Engineering/Programming and Operating Systems; Algorithm Analysis and Problem Complexity; Complexity; Computational Mathematics and Numerical Analysis

Front Matter....Pages -
Fast and Reliable Random Number Generators for Scientific Computing....Pages 1-10
New Generalized Data Structures for Matrices Lead to a Variety of High Performance Dense Linear Algebra Algorithms....Pages 11-20
Management of Deep Memory Hierarchies – Recursive Blocked Algorithms and Hybrid Data Structures for Dense Matrix Computations....Pages 21-32
Fortran Is Getting More and More Powerful....Pages 33-42
Large-Scale Computations with the Unified Danish Eulerian Model....Pages 43-52
Interval Methods: An Introduction....Pages 53-56
A Chemical Engineering Challenge Problem That Can Benefit from Interval Methods....Pages 57-64
Performance of Taylor Model Methods for Validated Integration of ODEs....Pages 65-73
On the Use of Intervals in Scientific Computing: What Is the Best Transition from Linear to Quadratic Approximation?....Pages 75-82
HPC-ICTM : The Interval Categorizer Tessellation-Based Model for High Performance Computing....Pages 83-92
Counting the Number of Connected Components of a Set and Its Application to Robotics....Pages 93-101
Interval-Based Markov Decision Processes for Regulating Interactions Between Two Agents in Multi-agent Systems....Pages 102-111
A Domain Theoretic Account of Euler’s Method for Solving Initial Value Problems....Pages 112-121
Reliable Computation of Equilibrium States and Bifurcations in Nonlinear Dynamics....Pages 122-131
A Verification Method for Solutions of Linear Programming Problems....Pages 132-141
Compressing 3D Measurement Data Under Interval Uncertainty....Pages 142-150
Computing Interval Bounds for Statistical Characteristics Under Expert-Provided Bounds on Probability Density Functions....Pages 151-160
Interval Parallel Global Optimization with Charm++....Pages 161-168
On the Approximation of Interval Functions....Pages 169-178
The Distributed Interval Geometric Machine Model....Pages 179-188
New Algorithms for Statistical Analysis of Interval Data....Pages 189-196
On Efficiency of Tightening Bounds in Interval Global Optimization....Pages 197-205
Trends in Large Scale Computing: An Introduction....Pages 206-206
Ygdrasil: Aggregator Network Toolkit for Large Scale Systems and the Grid....Pages 207-216
Enabling Coupled Scientific Simulations on the Grid....Pages 217-224
High Performance Linear Algebra Algorithms: An Introduction....Pages 225-227
Applying Software Testing Metrics to Lapack....Pages 228-236
A Matrix-Type for Performance–Portability....Pages 237-246
A New Array Format for Symmetric and Triangular Matrices....Pages 247-255
A Family of High-Performance Matrix Multiplication Algorithms....Pages 256-265
Substructuring, Dimension Reduction and Applications: An Introduction....Pages 266-266
Parallel Algorithms for Balanced Truncation Model Reduction of Sparse Systems....Pages 267-275
Towards an Optimal Substructuring Method for Model Reduction....Pages 276-285
Model Reduction for RF MEMS Simulation....Pages 286-295
A Model-Order Reduction Technique for Low Rank Rational Perturbations of Linear Eigenproblems....Pages 296-304
Parallel Global Optimization of Foundation Schemes in Civil Engineering....Pages 305-312
A Combined Linear and Nonlinear Preconditioning Technique for Incompressible Navier-Stokes Equations....Pages 313-322
Structure-Preserving Model Reduction....Pages 323-332
A Comparison of Parallel Preconditioners for the Sparse Generalized Eigenvalue Problems by Rayleigh-Quotient Minimization....Pages 333-341
Theoretical Relations Between Domain Decomposition and Dynamic Substructuring....Pages 342-348
Model Order Reduction for Large Scale Engineering Models Developed in ANSYS....Pages 349-356
Rational Krylov for Large Nonlinear Eigenproblems....Pages 357-363
Algebraic Sub-structuring for Electromagnetic Applications....Pages 364-373
Parallel Processing in Science and Engineering: An Introduction....Pages 374-375
Rapid Development of High-Performance Linear Algebra Libraries....Pages 376-384
Automatic Derivation of Linear Algebra Algorithms with Application to Control Theory....Pages 385-394
Cluster Computing for Financial Engineering....Pages 395-403
Semi-automatic Generation of Grid Computing Interfaces for Numerical Software Libraries....Pages 404-412
Rapid Development of High-Performance Out-of-Core Solvers....Pages 413-422
ALPS: A Software Framework for Parallel Space-Time Adaptive Processing....Pages 423-432
Hybrid Parallelization of CFD Applications with Dynamic Thread Balancing....Pages 433-441
Distributed Computing: Tools, Paradigms and Infrastructures. An Introduction....Pages 442-443
Parallelization of GSL: Performance of Case Studies....Pages 444-453
Design of Policy-Based Security Mechanisms in a Distributed Web Services Architecture....Pages 454-463
Supporting Location-Aware Distributed Applications on Mobile Devices....Pages 464-471
Grid Application Development on the Basis of Web Portal Technology....Pages 472-480
A Distributed Divide and Conquer Skeleton....Pages 481-489
A Tool to Display Array Access Patterns in OpenMP Programs....Pages 490-498
A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach....Pages 499-508
Performance Oriented Development and Tuning of GRID Applications....Pages 509-518
Towards a Bulk-Synchronous Distributed Shared Memory Programming Environment for Grids....Pages 519-526
High-Performance Computing in Earth- and Space-Science: An Introduction....Pages 527-529
Applying High Performance Computing Techniques in Astrophysics....Pages 530-537
Statistical Properties of Dissipative MHD Accelerators....Pages 538-545
A Simulation Model for Forest Fires....Pages 546-553
MHD Modeling of the Interaction Between the Solar Wind and Solar System Objects....Pages 554-562
Implementing Applications with the Earth System Modeling Framework....Pages 563-572
Parallel Discrete Event Simulations of Grid-Based Models: Asynchronous Electromagnetic Hybrid Code....Pages 573-582
Electromagnetic Simulations of Dusty Plasmas....Pages 583-589
Advanced Algorithms and Software Components for Scientific Computing: An Introduction....Pages 590-592
Extending PSBLAS to Build Parallel Schwarz Preconditioners....Pages 593-602
A Direct Orthogonal Sparse Static Methodology for a Finite Continuation Hybrid LP Solver....Pages 603-610
Applying Parallel Direct Solver Techniques to Build Robust High Performance Preconditioners....Pages 611-619
The Design of Trilinos....Pages 620-628
Software Architecture Issues in Scientific Component Development....Pages 629-636
Parallel Hybrid Sparse Solvers Through Flexible Incomplete Cholesky Preconditioning....Pages 637-643
Parallel Heuristics for an On-Line Scientific Database for Efficient Function Approximation....Pages 644-653
Software Engineering and Problem Solving Environments for Scientific Computing: An Introduction....Pages 654-655
A General Architecture for Grid-Based PSE Toolkits....Pages 656-664
An Expert Assistant for Computer Aided Parallelization....Pages 665-674
Scalable Middleware Environment for Agent-Based Internet Applications....Pages 675-679
Automatic Generation of Wrapper Code and Test Scripts for Problem Solving Environments....Pages 680-689
Runtime Software Techniques for Enhancing High-Performance Applications: An introduction....Pages 690-690
Efficient Execution of Scientific Computation on Geographically Distributed Clusters....Pages 691-698
Improving the Performance of Large-Scale Unstructured PDE Applications....Pages 699-708
A Runtime Adaptive Load Balancing Algorithm for Particle Simulations....Pages 709-718
Evaluating Parallel Algorithms for Solving Sylvester-Type Matrix Equations: Direct Transformation-Based Versus Iterative Matrix-Sign-Function-Based Methods....Pages 719-729
Performance Analysis for Parallel Adaptive FEM on SMP Clusters....Pages 730-739
Performance Tuning of Matrix Triple Products Based on Matrix Structure....Pages 740-746
Adapting Distributed Scientific Applications to Run-Time Network Conditions....Pages 747-755
Sparse Direct Linear Solvers: An Introduction....Pages 756-757
Oblio: Design and Performance....Pages 758-767
Performance Analysis of Parallel Right-Looking Sparse LU Factorization on Two Dimensional Grids of Processors....Pages 768-777
A Shared- and Distributed-Memory Parallel Sparse Direct Solver....Pages 778-787
Simple and Efficient Modifications of Elimination Orderings....Pages 788-797
Optimization of a Statically Partitioned Hypermatrix Sparse Cholesky Factorization....Pages 798-807
Maximum-Weighted Matching Strategies and the Application to Symmetric Indefinite Systems....Pages 808-817
An Evaluation of Sparse Direct Symmetric Solvers: An Introduction and Preliminary Findings....Pages 818-827
Treatment of Large Scientific Problems: An Introduction....Pages 828-830
Towards a Parallel Multilevel Preconditioned Maxwell Eigensolver....Pages 831-838
On Improvement of the Volcano Search and Optimization Strategy....Pages 839-846
Aggregation-Based Multilevel Preconditioning of Non-conforming FEM Elasticity Problems....Pages 847-856
Efficient Solvers for 3-D Homogenized Elasticity Model....Pages 857-863
Performance Evaluation of a Parallel Algorithm for a Radiative Transfer Problem....Pages 864-871
Performance Evaluation and Design of Hardware-Aware PDE Solvers: An Introduction....Pages 872-873
A Cache-Aware Algorithm for PDEs on Hierarchical Data Structures....Pages 874-882
Constructing Flexible, Yet Run Time Efficient PDE Solvers....Pages 883-892
Analyzing Advanced PDE Solvers Through Simulation....Pages 893-900
Towards Cache-Optimized Multigrid Using Patch-Adaptive Relaxation....Pages 901-910
Hierarchical Partitioning and Dynamic Load Balancing for Scientific Computation....Pages 911-920
Cache Optimizations for Iterative Numerical Codes Aware of Hardware Prefetching....Pages 921-927
Computationally Expensive Methods in Statistics: An Introduction....Pages 928-930
Dimension Reduction vs. Variable Selection....Pages 931-938
Reproducible Statistical Analysis in Microarray Profiling Studies....Pages 939-948
Step-Down FDR Procedures for Large Numbers of Hypotheses....Pages 949-956
Applying Security Engineering to Build Security Countermeasures: An Introduction....Pages 957-963
CC-SEMS: A CC Based Information System Security Evaluation Management System....Pages 964-973
A Secure Migration Mechanism of Mobile Agents Under Mobile Agent Environments....Pages 974-982
A Flexible Privilege Management Scheme for Role Graph Model....Pages 983-991
The System Modeling for Detections of New Malicious Codes....Pages 992-999
Information Hiding Method Using CDMA on Wave Files....Pages 1000-1008
Efficient Key Distribution Protocol for Electronic Commerce in Mobile Communications....Pages 1009-1016
A Framework for Modeling Organization Structure in Role Engineering....Pages 1017-1024
An Efficient Pointer Protection Scheme to Defend Buffer Overflow Attacks....Pages 1025-1030
Parallel Hierarchical Radiosity: The PIT Approach....Pages 1031-1040
Optimizing Locationing of Multiple Masters for Master-Worker Grid Applications....Pages 1041-1050
An OGSA-Based Bank Service for Grid Accounting Systems....Pages 1051-1060
A Grid Resource Broker Supporting Advance Reservations and Benchmark-Based Resource Selection....Pages 1061-1070
The Dragon Graph: A New Interconnection Network for High Speed Computing....Pages 1071-1078
Speeding up Parallel Graph Coloring....Pages 1079-1088
On the Efficient Generation of Taylor Expansions for DAE Solutions by Automatic Differentiation....Pages 1089-1098
Edge-Disjoint Hamiltonian Cycles of WK-Recursive Networks....Pages 1099-1104
Simulation-Based Analysis of Parallel Runge-Kutta Solvers....Pages 1105-1114
A Novel Task Scheduling Algorithm for Distributed Heterogeneous Computing Systems....Pages 1115-1122
Study of Load Balancing Strategies for Finite Element Computations on Heterogeneous Clusters....Pages 1123-1130
Parallel Algorithms for the Determination of Lyapunov Characteristics of Large Nonlinear Dynamical Systems....Pages 1131-1140
Online Task Scheduling on Heterogeneous Clusters: An Experimental Study....Pages 1141-1150
A Parallel Method for Large Sparse Generalized Eigenvalue Problems by OmniRPC in a Grid Environment....Pages 1151-1158
An Implementation of Parallel 3-D FFT Using Short Vector SIMD Instructions on Clusters of PCs....Pages 1159-1167
Back Matter....Pages -