| Fast and reliable random number generators for scientific computing | p. 1 |
| New generalized data structures for matrices lead to a variety of high performance dense linear algebra algorithms | p. 11 |
| Management of deep memory hierarchies - recursive blocked algorithms and hybrid data structures for dense matrix computations | p. 21 |
| Fortran is getting more and more powerful | p. 33 |
| Large-scale computations with the unified Danish Eulerian model | p. 43 |
| Interval methods : an introduction | p. 53 |
| A chemical engineering challenge problem that can benefit from interval methods | p. 57 |
| Performance of Taylor model methods for validated integration of ODEs | p. 65 |
| On the use of intervals in scientific computing : what is the best transition from linear to quadratic approximation? | p. 75 |
| HPC-ICTM : the interval categorizer tessellation-based model for high performance computing | p. 83 |
| Counting the number of connected components of a set and its application to robotics | p. 93 |
| Interval-based Markov decision processes for regulating interactions between two agents in multi-agent systems | p. 102 |
| A domain theoretic account of Euler's method for solving initial value problems | p. 112 |
| Reliable computation of equilibrium states and bifurcations in nonlinear dynamics | p. 122 |
| A verification method for solutions of linear programming problems | p. 132 |
| Compressing 3D measurement data under interval uncertainty | p. 142 |
| Computing interval bounds for statistical characteristics under expert-provided bounds on probability density functions | p. 151 |
| Interval parallel global optimization with charm++ | p. 161 |
| On the approximation of interval functions | p. 169 |
| The distributed interval geometric machine model | p. 179 |
| New algorithms for statistical analysis of interval data | p. 189 |
| On efficiency of tightening bounds in interval global optimization | p. 197 |
| Trends in large scale computing : an introduction | p. 206 |
| Ygdrasil : aggregator network toolkit for large scale systems and the grid | p. 207 |
| Enabling coupled scientific simulations on the grid | p. 217 |
| High performance linear algebra algorithms : an introduction | p. 225 |
| Applying software testing metrics to Lapack | p. 228 |
| A matrix-type for performance-portability | p. 237 |
| A new array format for symmetric and triangular matrices | p. 247 |
| A family of high-performance matrix multiplication algorithms | p. 256 |
| Substructuring, dimension reduction and applications : an introduction | p. 266 |
| Parallel algorithms for balanced truncation model reduction of sparse systems | p. 267 |
| Towards an optimal substructuring method for model reduction | p. 276 |
| Model reduction for RF MEMS simulation | p. 286 |
| A model-order reduction technique for low rank rational perturbations of linear eigenproblems | p. 296 |
| Parallel global optimization of foundation schemes in civil engineering | p. 305 |
| A combined linear and nonlinear preconditioning technique for incompressible Navier-Stokes equations | p. 313 |
| Structure-preserving model reduction | p. 323 |
| A comparison of parallel preconditioners for the sparse generalized eigenvalue problems by rayleigh-quotient minimization | p. 333 |
| Theoretical relations between domain decomposition and dynamic substructuring | p. 342 |
| Model order reduction for large scale engineering models developed in ANSYS | p. 349 |
| Rational Krylov for large nonlinear eigenproblems | p. 357 |
| Algebraic sub-structuring for electromagnetic applications | p. 364 |
| Parallel processing in science and engineering : an introduction | p. 374 |
| Rapid development of high-performance linear algebra libraries | p. 376 |
| Automatic derivation of linear algebra algorithms with application to control theory | p. 385 |
| Cluster computing for financial engineering | p. 395 |
| Semi-automatic generation of grid computing interfaces for numerical software libraries | p. 404 |
| Rapid development of high-performance out-of-core solvers | p. 413 |
| ALPS : a software framework for parallel space-time adaptive processing | p. 423 |
| Hybrid parallelization of CFD applications with dynamic thread balancing | p. 433 |
| Distributed computing : tools, paradigms and infrastructures : an introduction | p. 442 |
| Parallelization of GSL : performance of case studies | p. 444 |
| Design of policy-based security mechanisms in a distributed Web services architecture | p. 454 |
| Supporting location-aware distributed applications on mobile devices | p. 464 |
| Grid application development on the basis of Web portal technology | p. 472 |
| A distributed divide and conquer skeleton | p. 481 |
| A tool to display array access patterns in open MP programs | p. 490 |
| A model analysis of a distributed monitoring systems using a multi-formalism approach | p. 499 |
| Performance oriented development and tuning of GRID applications | p. 509 |
| Towards a bulk-synchronous distributed shared memory programming environment for grids | p. 519 |
| High-performance computing in earth- and space-science : an introduction | p. 527 |
| Applying high performance computing techniques in astrophysics | p. 530 |
| Statistical properties of dissipative MHD accelerators | p. 538 |
| A simulation model for forest fires | p. 546 |
| MHD modeling of the interaction between the solar wind and solar system objects | p. 554 |
| Implementing applications with the earth system modeling framework | p. 563 |
| Parallel discrete event simulations of grid-based models : asynchronous electromagnetic hybrid code | p. 573 |
| Electromagnetic simulations of dusty plasmas | p. 583 |
| Advanced algorithms and software components for scientific computing : an introduction | p. 590 |
| Extending PSBLAS to build parallel Schwarz preconditioners | p. 593 |
| A direct orthogonal sparse static methodology for a finite continuation hybrid LP solver | p. 603 |
| Applying parallel direct solver techniques to build robust high performance preconditioners | p. 611 |
| The design of trilinos | p. 620 |
| Software architecture issues in scientific component development | p. 629 |
| Parallel hybrid sparse solvers through flexible incomplete Cholesky preconditioning | p. 637 |
| Parallel heuristics for an on-line scientific database for efficient function approximation | p. 644 |
| Software engineering and problem solving environments for scientific computing : an introduction | p. 654 |
| A general architecture for grid-based PSE toolkits | p. 656 |
| An expert assistant for computer aided parallelization | p. 665 |
| Scalable middleware environment for agent-based Internet applications | p. 675 |
| Automatic generation of wrapper code and test scripts for problem solving environments | p. 680 |
| Runtime software techniques for enhancing high-performance applications : an introduction | p. 690 |
| Efficient execution of scientific computation on geographically distributed clusters | p. 691 |
| Improving the performance of large-scale unstructured PDE applications | p. 699 |
| A runtime adaptive load balancing algorithm for particle simulations | p. 709 |
| Evaluating parallel algorithms for solving Sylvester-type matrix equations : direct transformation-based versus iterative matrix-sign-function-based methods | p. 719 |
| Performance analysis for parallel adaptive FEM on SMP clusters | p. 730 |
| Performance tuning of matrix triple products based on matrix structure | p. 740 |
| Adapting distributed scientific applications to run-time network conditions | p. 747 |
| Sparse direct linear solvers : an introduction | p. 756 |
| Oblio : design and performance | p. 758 |
| Performance analysis of parallel right-looking sparse LU factorization on two dimensional grids of processors | p. 768 |
| A shared- and distributed-memory parallel sparse direct solver | p. 778 |
| Simple and efficient modifications of elimination orderings | p. 788 |
| Optimization of a statically partitioned hypermatrix sparse Cholesky factorization | p. 798 |
| Maximum-weighted matching strategies and the application to symmetric indefinite systems | p. 808 |
| An evaluation of sparse direct symmetric solvers : an introduction and preliminary findings | p. 818 |
| Treatment of large scientific problems : an introduction | p. 828 |
| Towards a parallel multilevel preconditioned Maxwell eigensolver | p. 831 |
| On improvement of the volcano search and optimization strategy | p. 839 |
| Aggregation-based multilevel preconditioning of non-conforming FEM elasticity problems | p. 847 |
| Efficient solvers for 3-D homogenized elasticity model | p. 857 |
| Performance evaluation of a parallel algorithm for a radiative transfer problem | p. 864 |
| Performance evaluation and design of hardware-aware PDE solvers : an introduction | p. 872 |
| A cache-aware algorithm for PDEs on hierarchical data structures | p. 874 |
| Constructing flexible, yet run time efficient PDE solvers | p. 883 |
| Analyzing advanced PDE solvers through simulation | p. 893 |
| Towards cache-optimized multigrid using patch-adaptive relaxation | p. 901 |
| Hierarchical partitioning and dynamic load balancing for scientific computation | p. 911 |
| Cache optimizations for iterative numerical codes aware of hardware prefetching | p. 921 |
| Computationally expensive methods in statistics : an introduction | p. 928 |
| Dimension reduction vs. variable selection | p. 931 |
| Reproducible statistical analysis in microarray profiling studies | p. 939 |
| Step-down FDR procedures for large numbers of hypotheses | p. 949 |
| Applying security engineering to build security countermeasures : an introduction | p. 957 |
| CC-SEMS : a CC based information system security evaluation management system | p. 964 |
| A secure migration mechanism of mobile agents under mobile agent environments | p. 974 |
| A flexible privilege management scheme for role graph model | p. 983 |
| The system modeling for detections of new malicious codes | p. 992 |
| Information hiding method using CDMA on wave files | p. 1000 |
| Efficient key distribution protocol for electronic commerce in mobile communications | p. 1009 |
| A framework for modeling organization structure in role engineering | p. 1017 |
| An efficient pointer protection scheme to defend buffer overflow attacks | p. 1025 |
| Parallel hierarchical radiosity : the PIT approach | p. 1031 |
| Optimizing locationing of multiple masters for master-worker grid applications | p. 1041 |
| An OGSA-based bank service for grid accounting systems | p. 1051 |
| A grid resource broker supporting advance reservations and benchmark-based resource selection | p. 1061 |
| The dragon graph : a new interconnection network for high speed computing | p. 1071 |
| Speeding up parallel graph coloring | p. 1079 |
| On the efficient generation of Taylor expansions for DAE solutions by automatic differentiation | p. 1089 |
| Edge-disjoint Hamiltonian cycles of WK-recursive networks | p. 1099 |
| Simulation-based analysis of parallel Runge-Kutta solvers | p. 1105 |
| A novel task scheduling algorithm for distributed heterogeneous computing systems | p. 1115 |
| Study of load balancing strategies for finite element computations on heterogeneous clusters | p. 1123 |
| Parallel algorithms for the determination of Lyapunov characteristics of large nonlinear dynamical systems | p. 1131 |
| Online task scheduling on heterogeneous clusters : an experimental study | p. 1141 |
| A parallel method for large sparse generalized eigenvalue problems by omniRPC in a grid environment | p. 1151 |
| An implementation of parallel 3-D FFT using short vector SIMD instructions on clusters of PCs | p. 1159 |
| Other para'04 contributed talks | p. 1168 |
| Table of Contents provided by Blackwell. All Rights Reserved. |