default search action
7. PARA 2004: Lyngby, Denmark
- Jack J. Dongarra, Kaj Madsen, Jerzy Wasniewski:
Applied Parallel Computing, State of the Art in Scientific Computing, 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3732, Springer 2006, ISBN 3-540-29067-2
Invited Talks
- Richard P. Brent:
Fast and Reliable Random Number Generators for Scientific Computing. 1-10 - Fred G. Gustavson:
New Generalized Data Structures for Matrices Lead to a Variety of High Performance Dense Linear Algebra Algorithms. 11-20 - Bo Kågström:
Management of Deep Memory Hierarchies - Recursive Blocked Algorithms and Hybrid Data Structures for Dense Matrix Computations. 21-32 - John K. Reid:
Fortran Is Getting More and More Powerful. 33-42 - Zahari Zlatev:
Large-Scale Computations with the Unified Danish Eulerian Model. 43-52
Minisymposia
Interval Methods
- Luke E. K. Achenie, Vladik Kreinovich, Kaj Madsen:
Interval Methods: An Introduction. 53-56 - Luke E. K. Achenie, Gennadi M. Ostrovsky:
A Chemical Engineering Challenge Problem That Can Benefit from Interval Methods. 57-64 - Martin Berz, Kyoko Makino:
Performance of Taylor Model Methods for Validated Integration of ODEs. 65-73 - Martine Ceberio, Vladik Kreinovich, Lev Ginzburg:
On the Use of Intervals in Scientific Computing: What Is the Best Transition from Linear to Quadratic Approximation?. 75-82 - Marilton S. de Aguiar, Graçaliz Pereira Dimuro, Fábia A. da Costa, Rafael K. S. Silva, César A. F. De Rose, Antônio Carlos da Rocha Costa, Vladik Kreinovich:
HPC-ICTM: The Interval Categorizer Tessellation-Based Model for High Performance Computing. 83-92 - Nicolas Delanoue, Luc Jaulin, Bertrand Cottenceau:
Counting the Number of Connected Components of a Set and Its Application to Robotics. 93-101 - Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa:
Interval-Based Markov Decision Processes for Regulating Interactions Between Two Agents in Multi-agent Systems. 102-111 - Abbas Edalat, Dirk Pattinson:
A Domain Theoretic Account of Euler's Method for Solving Initial Value Problems. 112-121 - C. Ryan Gwaltney, Mark A. Stadtherr:
Reliable Computation of Equilibrium States and Bifurcations in Nonlinear Dynamics. 122-131 - Ismail I. Idriss:
A Verification Method for Solutions of Linear Programming Problems. 132-141 - Olga Kosheleva, Sergio D. Cabrera, Bryan Usevitch, Edward Vidal Jr.:
Compressing 3D Measurement Data Under Interval Uncertainty. 142-150 - Victor G. Krymsky:
Computing Interval Bounds for Statistical Characteristics Under Expert-Provided Bounds on Probability Density Functions. 151-160 - José Antonio Martínez, Leocadio G. Casado, José A. Alvarez, Inmaculada García:
Interval Parallel Global Optimization with Charm++. 161-168 - Klaus Meer:
On the Approximation of Interval Functions. 169-178 - Renata Hax Sander Reiser, Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro:
The Distributed Interval Geometric Machine Model. 179-188 - Gang Xiang, Scott A. Starks, Vladik Kreinovich, Luc Longpré:
New Algorithms for Statistical Analysis of Interval Data. 189-196 - Antanas Zilinskas, Julius Zilinskas:
On Efficiency of Tightening Bounds in Interval Global Optimization. 197-205
Trends in Large Scale Computing
- Scott B. Baden:
Trends in Large Scale Computing: An Introduction. 206 - Susanne M. Balle, John L. Bishop, David LaFrance-Linden, Howard Rifkin:
Ygdrasil: Aggregator Network Toolkit for Large Scale Systems and the Grid. 207-216 - Alan Sussman, Henrique Andrade:
Enabling Coupled Scientific Simulations on the Grid. 217-224
High Performance Linear Algebra Algoritms
- Fred G. Gustavson, Jerzy Wasniewski:
High Performance Linear Algebra Algorithms: An Introduction. 225-227 - David J. Barnes, Tim R. Hopkins:
Applying Software Testing Metrics to Lapack. 228-236 - N. Peter Drakenberg:
A Matrix-Type for Performance-Portability. 237-246 - John A. Gunnels, Fred G. Gustavson:
A New Array Format for Symmetric and Triangular Matrices. 247-255 - John A. Gunnels, Fred G. Gustavson, Greg Henry, Robert A. van de Geijn:
A Family of High-Performance Matrix Multiplication Algorithms. 256-265
Substructuring, Dimension Reduction and Applications
- Zhaojun Bai, Ren-Cang Li:
Substructuring, Dimension Reduction and Applications: An Introduction. 266-266 - José M. Badía, Peter Benner, Rafael Mayo, Enrique S. Quintana-Ortí:
Parallel Algorithms for Balanced Truncation Model Reduction of Sparse Systems. 267-275 - Zhaojun Bai, Ben-Shan Liao:
Towards an Optimal Substructuring Method for Model Reduction. 276-285 - David Bindel, Zhaojun Bai, James Demmel:
Model Reduction for RF MEMS Simulation. 286-295 - Frank Blömeling, Heinrich Voss:
A Model-Order Reduction Technique for Low Rank Rational Perturbations of Linear Eigenproblems. 296-304 - Raimondas Ciegis, Milda Baravykaite, Rimantas Belevicius:
Parallel Global Optimization of Foundation Schemes in Civil Engineering. 305-313 - Feng-Nan Hwang, Xiao-Chuan Cai:
A Combined Linear and Nonlinear Preconditioning Technique for Incompressible Navier-Stokes Equations. 313-322 - Ren-Cang Li, Zhaojun Bai:
Structure-Preserving Model Reduction. 323-332 - Sangback Ma, Ho-Jong Jang:
A Comparison of Parallel Preconditioners for the Sparse Generalized Eigenvalue Problems by Rayleigh-Quotient Minimization. 333-341 - Daniel J. Rixen:
Theoretical Relations Between Domain Decomposition and Dynamic Substructuring. 342-348 - Evgenii B. Rudnyi, Jan G. Korvink:
Model Order Reduction for Large Scale Engineering Models Developed in ANSYS. 349-356 - Axel Ruhe:
Rational Krylov for Large Nonlinear Eigenproblems. 357-363 - Chao Yang, Weiguo Gao, Zhaojun Bai, Xiaoye S. Li, Lie-Quan Lee, Parry Husbands, Esmond G. Ng:
Algebraic Sub-structuring for Electromagnetic Applications. 364-373
Parallel Processing in Science and Engineering
- Adam W. Bojanczyk:
Parallel Processing in Science and Engineering: An Introduction. 374-375 - Paolo Bientinesi, John A. Gunnels, Fred G. Gustavson, Greg Henry, Margaret E. Myers, Enrique S. Quintana-Ortí, Robert A. van de Geijn:
Rapid Development of High-Performance Linear Algebra Libraries. 376-384 - Paolo Bientinesi, Sergey Kolos, Robert A. van de Geijn:
Automatic Derivation of Linear Algebra Algorithms with Application to Control Theory. 385-394 - Shirish Chinchalkar, Thomas F. Coleman, Peter Mansfield:
Cluster Computing for Financial Engineering. 395-403 - Erik Elmroth, Rikard Skelander:
Semi-automatic Generation of Grid Computing Interfaces for Numerical Software Libraries. 404-412 - Thierry Joffrain, Enrique S. Quintana-Ortí, Robert A. van de Geijn:
Rapid Development of High-Performance Out-of-Core Solvers. 413-422 - Kyusoon Lee, Adam W. Bojanczyk:
ALPS: A Software Framework for Parallel Space-Time Adaptive Processing. 423-432 - Alexander Spiegel, Dieter an Mey, Christian H. Bischof:
Hybrid Parallelization of CFD Applications with Dynamic Thread Balancing. 433-441
Distributed Computing: Tools, Paradigms and Infrastructures
- Beniamino Di Martino, Rocco Aversa, Laurence Tianruo Yang:
Distributed Computing: Tools, Paradigms and Infrastructures. An Introduction. 442-443 - José Ignacio Aliaga, Francisco Almeida, José M. Badía, Sergio Barrachina, Vicente Blanco Pérez, María Isabel Castillo, U. Dorta, Rafael Mayo, Enrique S. Quintana-Ortí, Gregorio Quintana-Ortí, Casiano Rodríguez, Francisco de Sande:
Parallelization of GSL: Performance of Case Studies. 444-453 - Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Salvatore Venticinque:
Design of Policy-Based Security Mechanisms in a Distributed Web Services Architecture. 454-463 - Cristiano di Flora, Massimo Ficco, Stefano Russo:
Supporting Location-Aware Distributed Applications on Mobile Devices. 464-471 - Gábor Dózsa, Péter Kacsuk, Csaba Németh:
Grid Application Development on the Basis of Web Portal Technology. 472-480 - Juan R. González, Coromoto León, Casiano Rodríguez:
A Distributed Divide and Conquer Skeleton. 481-489 - Oscar R. Hernandez, Chunhua Liao, Barbara M. Chapman:
A Tool to Display Array Access Patterns in OpenMP Programs. 490-498 - Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Francesco Moscato, Valeria Vittorini:
A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach. 499-508 - Emilio Mancini, Massimiliano Rak, Roberto Torella, Umberto Villano:
Performance Oriented Development and Tuning of GRID Applications. 509-518 - Håkan Mattsson, Christoph W. Kessler:
Towards a Bulk-Synchronous Distributed Shared Memory Programming Environment for Grids. 519-526
HPC in Earth and Space Science
- Peter Messmer:
High-Performance Computing in Earth- and Space-Science: An Introduction. 527-529 - Francisco Almeida, Evencio Mediavilla, Alex Oscoz, Francisco de Sande:
Applying High Performance Computing Techniques in Astrophysics. 530-537 - Kaspar Arzner, Loukas Vlahos, Bernard Knaepen, Nicolas Denewet:
Statistical Properties of Dissipative MHD Accelerators. 538-545 - Gino Bella, Salvatore Filippone, Alessandro De Maio, Mario Testa:
A Simulation Model for Forest Fires. 546-553 - Andreas Ekenbäck, Mats Holmström:
MHD Modeling of the Interaction Between the Solar Wind and Solar System Objects. 554-562 - Chris Hill, Cecelia DeLuca, Venkatramani Balaji, Max Suarez, Arlindo M. da Silva, William B. Sawyer, Carlos A. Cruz, Atanas Trayanov, Leonid Zaslavsky, Robert Hallberg, Byron A. Boville, Anthony P. Craig, Nancy Collins, Erik Kluzek, John Michalakes, David Neckels, Earl Schwab, Shepard Smithline, Jon Wolfe, Mark Iredell, Weiyu Yang, Robert L. Jacob, Jay Walter Larson:
Implementing Applications with the Earth System Modeling Framework. 563-572 - Homa Karimabadi, Jonathan Driscoll, Jagrut Dave, Yuri A. Omelchenko, Kalyan S. Perumalla, Richard Fujimoto, Nick Omidi:
Parallel Discrete Event Simulations of Grid-Based Models: Asynchronous Electromagnetic Hybrid Code. 573-582 - Peter Messmer:
Electromagnetic Simulations of Dusty Plasmas. 583-589
Advanced Algoritms and Software Components for Scientific Computing
- Padma Raghavan:
Advanced Algorithms and Software Components for Scientific Computing: An Introduction. 590-592 - Alfredo Buttari, Pasqua D'Ambra, Daniela di Serafino, Salvatore Filippone:
Extending PSBLAS to Build Parallel Schwarz Preconditioners. 593-602 - Pablo Guerrero-García, Ángel Santos-Palomo:
A Direct Orthogonal Sparse Static Methodology for a Finite Continuation Hybrid LP Solver. 603-610 - Pascal Hénon, François Pellegrini, Pierre Ramet, Jean Roman, Yousef Saad:
Applying Parallel Direct Solver Techniques to Build Robust High Performance Preconditioners. 611-619 - Michael A. Heroux, Marzio Sala:
The Design of Trilinos. 620-628 - Boyana Norris:
Software Architecture Issues in Scientific Component Development. 629-636 - Keita Teranishi, Padma Raghavan:
Parallel Hybrid Sparse Solvers Through Flexible Incomplete Cholesky Preconditioning. 637-643 - Ivana Veljkovic, Paul E. Plassmann:
Parallel Heuristics for an On-Line Scientific Database for Efficient Function Approximation. 644-653
Software Engineering and Problem Solving Environments for Scientific Computing
- José C. Cunha, Omer F. Rana:
Software Engineering and Problem Solving Environments for Scientific Computing: An Introduction. 654-655 - Mario Cannataro, Carmela Comito, Antonio Congiusta, Gianluigi Folino, Carlo Mastroianni, Andrea Pugliese, Giandomenico Spezzano, Domenico Talia, Pierangelo Veltri:
A General Architecture for Grid-Based PSE Toolkits. 656-664 - Gabriele Jost, Robert Chun, Haoqiang Jin, Jesús Labarta, Judit Giménez:
An Expert Assistant for Computer Aided Parallelization. 665-674 - Benno J. Overeinder, Frances M. T. Brazier:
Scalable Middleware Environment for Agent-Based Internet Applications. 675-679 - Andreas Schreiber:
Automatic Generation of Wrapper Code and Test Scripts for Problem Solving Environments. 680-689
Runtime Software Techniques for Enabling High-Performance Applications
- Masha Sosonkina:
Runtime Software Techniques for Enhancing High-Performance Applications: An introduction. 690-690 - Eduardo Argollo, Dolores Rexachs, Fernando Tinetti, Emilio Luque:
Efficient Execution of Scientific Computation on Geographically Distributed Clusters. 691-698 - Xing Cai:
Improving the Performance of Large-Scale Unstructured PDE Applications. 699-708 - Matthew F. Dixon:
A Runtime Adaptive Load Balancing Algorithm for Particle Simulations. 709-718 - Robert Granat, Bo Kågström:
Evaluating Parallel Algorithms for Solving Sylvester-Type Matrix Equations: Direct Transformation-Based Versus Iterative Matrix-Sign-Function-Based Methods. 719-729 - Judith Hippold, Gudula Rünger:
Performance Analysis for Parallel Adaptive FEM on SMP Clusters. 730-739 - Eun-Jin Im, Ismail Bustany, Cleve Ashcraft, James Demmel, Katherine A. Yelick:
Performance Tuning of Matrix Triple Products Based on Matrix Structure. 740-746 - Masha Sosonkina:
Adapting Distributed Scientific Applications to Run-Time Network Conditions. 747-755
Sparse Direct Linear Solvers
- Sivan Toledo:
Sparse Direct Linear Solvers: An Introduction. 756-757 - Florin Dobrian, Alex Pothen:
Oblio: Design and Performance. 758-767 - Laura Grigori, Xiaoye S. Li:
Performance Analysis of Parallel Right-Looking Sparse LU Factorization on Two Dimensional Grids of Processors. 768-777 - Anshul Gupta:
A Shared- and Distributed-Memory Parallel Sparse Direct Solver. 778-787 - Pinar Heggernes, Yngve Villanger:
Simple and Efficient Modifications of Elimination Orderings. 788-797 - José R. Herrero, Juan J. Navarro:
Optimization of a Statically Partitioned Hypermatrix Sparse Cholesky Factorization. 798-807 - Stefan Röllin, Olaf Schenk:
Maximum-Weighted Matching Strategies and the Application to Symmetric Indefinite Systems. 808-817 - Jennifer A. Scott, Yifan Hu, Nicholas I. M. Gould:
An Evaluation of Sparse Direct Symmetric Solvers: An Introduction and Preliminary Findings. 818-827
Treatment of Large Scale Models
- Zahari Zlatev, Krassimir Georgiev:
Treatment of Large Scientific Problems: An Introduction. 828-830 - Peter Arbenz, Martin Becka, Roman Geus, Ulrich Hetmaniuk:
Towards a Parallel Multilevel Preconditioned Maxwell Eigensolver. 831-838 - Venansius Baryamureeba, John Ngubiri:
On Improvement of the Volcano Search and Optimization Strategy. 839-846 - Radim Blaheta, Svetozar Margenov, Maya G. Neytcheva:
Aggregation-Based Multilevel Preconditioning of Non-conforming FEM Elasticity Problems. 847-856 - Ronald H. W. Hoppe, Svetozara Petrova:
Efficient Solvers for 3-D Homogenized Elasticity Model. 857-863 - Paulo B. Vasconcelos, Filomena D. d'Almeida:
Performance Evaluation of a Parallel Algorithm for a Radiative Transfer Problem. 864-871
Performance Evaluation and Design of Hardware-Aware PDE Solvers
- Frank Hülsemann, Markus Kowarschik:
Performance Evaluation and Design of Hardware-Aware PDE Solvers: An Introduction. 872-873 - Frank Günther, Miriam Mehl, Markus Pögl, Christoph Zenger:
A Cache-Aware Algorithm for PDEs on Hierarchical Data Structures. 874-882 - Frank Hülsemann, Benjamin Karl Bergen:
Constructing Flexible, Yet Run Time Efficient PDE Solvers. 883-892 - Henrik Johansson, Dan Wallin, Sverker Holmgren:
Analyzing Advanced PDE Solvers Through Simulation. 893-900 - Markus Kowarschik, Iris Christadler, Ulrich Rüde:
Towards Cache-Optimized Multigrid Using Patch-Adaptive Relaxation. 901-910 - James D. Teresco, Jamal Faik, Joseph E. Flaherty:
Hierarchical Partitioning and Dynamic Load Balancing for Scientific Computation. 911-920 - Josef Weidendorfer, Carsten Trinitis:
Cache Optimizations for Iterative Numerical Codes Aware of Hardware Prefetching. 921-927
Computationally Expensive Methods in Statistics
- Wolfgang M. Hartmann:
Computationally Expensive Methods in Statistics: An Introduction. 928-930 - Wolfgang M. Hartmann:
Dimension Reduction vs. Variable Selection. 931-938 - Ulrich Mansmann, Markus Ruschhaupt, Wolfgang Huber:
Reproducible Statistical Analysis in Microarray Profiling Studies. 939-948 - Paul N. Somerville:
Step-Down FDR Procedures for Large Numbers of Hypotheses. 949-956
Approaches or Methods of Security Engineering (AMSE)
- Tai-Hoon Kim, Ho-yeol Kwon:
Applying Security Engineering to Build Security Countermeasures: An Introduction. 957-963 - Young-whan Bang, Yeun-hee Kang, Gang-Soo Lee:
CC-SEMS: A CC Based Information System Security Evaluation Management System. 964-973 - Dongwon Jeong, Young-Gab Kim, Young-Shil Kim, Lee-Sub Lee, Soo-Hyun Park, Doo-Kwon Baik:
A Secure Migration Mechanism of Mobile Agents Under Mobile Agent Environments. 974-982 - Youna Jung, Eenjun Hwang:
A Flexible Privilege Management Scheme for Role Graph Model. 983-991 - EunYoung Kim, CheolHo Lee, HyungGeun Oh, JinSeok Lee:
The System Modeling for Detections of New Malicious Codes. 992-999 - Young-Shil Kim, Sang Park, Suk-Hee Wang, Seung Lee:
Information Hiding Method Using CDMA on Wave Files. 1000-1008 - Jin Kwak, Soohyun Oh, Dongho Won:
Efficient Key Distribution Protocol for Electronic Commerce in Mobile Communications. 1009-1016