7. PARA 2004:
Lyngby,
Denmark
Jack Dongarra, Kaj Madsen, Jerzy Wasniewski (Eds.):
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 BibTeX
Invited Talks
Minisymposia
Interval Methods
- Luke E. K. Achenie, Vladik Kreinovich, Kaj Madsen:
Interval Methods: An Introduction.
53-56
Electronic Edition (link) BibTeX
- Luke E. K. Achenie, Gennadi M. Ostrovsky:
A Chemical Engineering Challenge Problem That Can Benefit from Interval Methods.
57-64
Electronic Edition (link) BibTeX
- Martin Berz, Kyoko Makino:
Performance of Taylor Model Methods for Validated Integration of ODEs.
65-73
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Nicolas Delanoue, Luc Jaulin, Bertrand Cottenceau:
Counting the Number of Connected Components of a Set and Its Application to Robotics.
93-101
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Abbas Edalat, Dirk Pattinson:
A Domain Theoretic Account of Euler's Method for Solving Initial Value Problems.
112-121
Electronic Edition (link) BibTeX
- C. Ryan Gwaltney, Mark A. Stadtherr:
Reliable Computation of Equilibrium States and Bifurcations in Nonlinear Dynamics.
122-131
Electronic Edition (link) BibTeX
- Ismail I. Idriss:
A Verification Method for Solutions of Linear Programming Problems.
132-141
Electronic Edition (link) BibTeX
- Olga Kosheleva, Sergio D. Cabrera, Bryan Usevitch, Edward Vidal Jr.:
Compressing 3D Measurement Data Under Interval Uncertainty.
142-150
Electronic Edition (link) BibTeX
- Victor G. Krymsky:
Computing Interval Bounds for Statistical Characteristics Under Expert-Provided Bounds on Probability Density Functions.
151-160
Electronic Edition (link) BibTeX
- José A. Martínez, Leocadio G. Casado, José A. Alvarez, Inmaculada García:
Interval Parallel Global Optimization with Charm++.
161-168
Electronic Edition (link) BibTeX
- Klaus Meer:
On the Approximation of Interval Functions.
169-178
Electronic Edition (link) BibTeX
- Renata Hax Sander Reiser, Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro:
The Distributed Interval Geometric Machine Model.
179-188
Electronic Edition (link) BibTeX
- Gang Xiang, Scott A. Starks, Vladik Kreinovich, Luc Longpré:
New Algorithms for Statistical Analysis of Interval Data.
189-196
Electronic Edition (link) BibTeX
- Antanas Zilinskas, Julius Zilinskas:
On Efficiency of Tightening Bounds in Interval Global Optimization.
197-205
Electronic Edition (link) BibTeX
Trends in Large Scale Computing
High Performance Linear Algebra Algoritms
Substructuring,
Dimension Reduction and Applications
- Zhaojun Bai, Ren-Cang Li:
Substructuring, Dimension Reduction and Applications: An Introduction.
266-266
Electronic Edition (link) BibTeX
- José M. Badía, Peter Benner, Rafael Mayo, Enrique S. Quintana-Ortí:
Parallel Algorithms for Balanced Truncation Model Reduction of Sparse Systems.
267-275
Electronic Edition (link) BibTeX
- Zhaojun Bai, Ben-Shan Liao:
Towards an Optimal Substructuring Method for Model Reduction.
276-285
Electronic Edition (link) BibTeX
- David Bindel, Zhaojun Bai, James Demmel:
Model Reduction for RF MEMS Simulation.
286-295
Electronic Edition (link) BibTeX
- Frank Blömeling, Heinrich Voss:
A Model-Order Reduction Technique for Low Rank Rational Perturbations of Linear Eigenproblems.
296-304
Electronic Edition (link) BibTeX
- Raimondas Ciegis, Milda Baravykaite, Rimantas Belevicius:
Parallel Global Optimization of Foundation Schemes in Civil Engineering.
305-313
Electronic Edition (link) BibTeX
- Feng-Nan Hwang, Xiao-Chuan Cai:
A Combined Linear and Nonlinear Preconditioning Technique for Incompressible Navier-Stokes Equations.
313-322
Electronic Edition (link) BibTeX
- Ren-Cang Li, Zhaojun Bai:
Structure-Preserving Model Reduction.
323-332
Electronic Edition (link) BibTeX
- Sangback Ma, Ho-Jong Jang:
A Comparison of Parallel Preconditioners for the Sparse Generalized Eigenvalue Problems by Rayleigh-Quotient Minimization.
333-341
Electronic Edition (link) BibTeX
- Daniel J. Rixen:
Theoretical Relations Between Domain Decomposition and Dynamic Substructuring.
342-348
Electronic Edition (link) BibTeX
- Evgenii B. Rudnyi, Jan G. Korvink:
Model Order Reduction for Large Scale Engineering Models Developed in ANSYS.
349-356
Electronic Edition (link) BibTeX
- Axel Ruhe:
Rational Krylov for Large Nonlinear Eigenproblems.
357-363
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
Parallel Processing in Science and Engineering
- Adam W. Bojanczyk:
Parallel Processing in Science and Engineering: An Introduction.
374-375
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Paolo Bientinesi, Sergey Kolos, Robert A. van de Geijn:
Automatic Derivation of Linear Algebra Algorithms with Application to Control Theory.
385-394
Electronic Edition (link) BibTeX
- Shirish Chinchalkar, Thomas F. Coleman, Peter Mansfield:
Cluster Computing for Financial Engineering.
395-403
Electronic Edition (link) BibTeX
- Erik Elmroth, Rikard Skelander:
Semi-automatic Generation of Grid Computing Interfaces for Numerical Software Libraries.
404-412
Electronic Edition (link) BibTeX
- Thierry Joffrain, Enrique S. Quintana-Ortí, Robert A. van de Geijn:
Rapid Development of High-Performance Out-of-Core Solvers.
413-422
Electronic Edition (link) BibTeX
- Kyusoon Lee, Adam W. Bojanczyk:
ALPS: A Software Framework for Parallel Space-Time Adaptive Processing.
423-432
Electronic Edition (link) BibTeX
- Alexander Spiegel, Dieter an Mey, Christian H. Bischof:
Hybrid Parallelization of CFD Applications with Dynamic Thread Balancing.
433-441
Electronic Edition (link) BibTeX
Distributed Computing:
Tools,
Paradigms and Infrastructures
- Beniamino Di Martino, Rocco Aversa, Laurence Tianruo Yang:
Distributed Computing: Tools, Paradigms and Infrastructures. An Introduction.
442-443
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Salvatore Venticinque:
Design of Policy-Based Security Mechanisms in a Distributed Web Services Architecture.
454-463
Electronic Edition (link) BibTeX
- Cristiano di Flora, Massimo Ficco, Stefano Russo:
Supporting Location-Aware Distributed Applications on Mobile Devices.
464-471
Electronic Edition (link) BibTeX
- Gábor Dózsa, Péter Kacsuk, Csaba Németh:
Grid Application Development on the Basis of Web Portal Technology.
472-480
Electronic Edition (link) BibTeX
- Juan R. González, Coromoto León, Casiano Rodríguez:
A Distributed Divide and Conquer Skeleton.
481-489
Electronic Edition (link) BibTeX
- Oscar Hernandez, Chunhua Liao, Barbara M. Chapman:
A Tool to Display Array Access Patterns in OpenMP Programs.
490-498
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Emilio Mancini, Massimiliano Rak, Roberto Torella, Umberto Villano:
Performance Oriented Development and Tuning of GRID Applications.
509-518
Electronic Edition (link) BibTeX
- Håkan Mattsson, Christoph W. Kessler:
Towards a Bulk-Synchronous Distributed Shared Memory Programming Environment for Grids.
519-526
Electronic Edition (link) BibTeX
HPC in Earth and Space Science
- Peter Messmer:
High-Performance Computing in Earth- and Space-Science: An Introduction.
527-529
Electronic Edition (link) BibTeX
- Francisco Almeida, Evencio Mediavilla, Alex Oscoz, Francisco de Sande:
Applying High Performance Computing Techniques in Astrophysics.
530-537
Electronic Edition (link) BibTeX
- Kaspar Arzner, Loukas Vlahos, Bernard Knaepen, Nicolas Denewet:
Statistical Properties of Dissipative MHD Accelerators.
538-545
Electronic Edition (link) BibTeX
- Gino Bella, Salvatore Filippone, Alessandro De Maio, Mario Testa:
A Simulation Model for Forest Fires.
546-553
Electronic Edition (link) BibTeX
- Andreas Ekenbäck, Mats Holmström:
MHD Modeling of the Interaction Between the Solar Wind and Solar System Objects.
554-562
Electronic Edition (link) BibTeX
- Chris Hill, Cecelia DeLuca, V. Balaji, Max Suarez, Arlindo da Silva, William Sawyer, Carlos Cruz, Atanas Trayanov, Leonid Zaslavsky, Robert Hallberg, Byron A. Boville, Anthony 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
Electronic Edition (link) BibTeX
- Homa Karimabadi, Jonathan Driscoll, Jagrut Dave, Yuri Omelchenko, Kalyan S. Perumalla, Richard Fujimoto, Nick Omidi:
Parallel Discrete Event Simulations of Grid-Based Models: Asynchronous Electromagnetic Hybrid Code.
573-582
Electronic Edition (link) BibTeX
- Peter Messmer:
Electromagnetic Simulations of Dusty Plasmas.
583-589
Electronic Edition (link) BibTeX
Advanced Algoritms and Software Components for Scientific Computing
- Padma Raghavan:
Advanced Algorithms and Software Components for Scientific Computing: An Introduction.
590-592
Electronic Edition (link) BibTeX
- Alfredo Buttari, Pasqua D'Ambra, Daniela di Serafino, Salvatore Filippone:
Extending PSBLAS to Build Parallel Schwarz Preconditioners.
593-602
Electronic Edition (link) BibTeX
- Pablo Guerrero-García, Ángel Santos-Palomo:
A Direct Orthogonal Sparse Static Methodology for a Finite Continuation Hybrid LP Solver.
603-610
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Michael A. Heroux, Marzio Sala:
The Design of Trilinos.
620-628
Electronic Edition (link) BibTeX
- Boyana Norris:
Software Architecture Issues in Scientific Component Development.
629-636
Electronic Edition (link) BibTeX
- Keita Teranishi, Padma Raghavan:
Parallel Hybrid Sparse Solvers Through Flexible Incomplete Cholesky Preconditioning.
637-643
Electronic Edition (link) BibTeX
- Ivana Veljkovic, Paul E. Plassmann:
Parallel Heuristics for an On-Line Scientific Database for Efficient Function Approximation.
644-653
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Gabriele Jost, Robert Chun, Haoqiang Jin, Jesús Labarta, Judit Gimenez:
An Expert Assistant for Computer Aided Parallelization.
665-674
Electronic Edition (link) BibTeX
- Benno J. Overeinder, Frances M. T. Brazier:
Scalable Middleware Environment for Agent-Based Internet Applications.
675-679
Electronic Edition (link) BibTeX
- Andreas Schreiber:
Automatic Generation of Wrapper Code and Test Scripts for Problem Solving Environments.
680-689
Electronic Edition (link) BibTeX
Runtime Software Techniques for Enabling High-Performance Applications
Sparse Direct Linear Solvers
Treatment of Large Scale Models
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
Electronic Edition (link) BibTeX
- Frank Günther, Miriam Mehl, Markus Pögl, Christoph Zenger:
A Cache-Aware Algorithm for PDEs on Hierarchical Data Structures.
874-882
Electronic Edition (link) BibTeX
- Frank Hülsemann, Benjamin Bergen:
Constructing Flexible, Yet Run Time Efficient PDE Solvers.
883-892
Electronic Edition (link) BibTeX
- Henrik Johansson, Dan Wallin, Sverker Holmgren:
Analyzing Advanced PDE Solvers Through Simulation.
893-900
Electronic Edition (link) BibTeX
- Markus Kowarschik, Iris Christadler, Ulrich Rüde:
Towards Cache-Optimized Multigrid Using Patch-Adaptive Relaxation.
901-910
Electronic Edition (link) BibTeX
- James D. Teresco, Jamal Faik, Joseph E. Flaherty:
Hierarchical Partitioning and Dynamic Load Balancing for Scientific Computation.
911-920
Electronic Edition (link) BibTeX
- Josef Weidendorfer, Carsten Trinitis:
Cache Optimizations for Iterative Numerical Codes Aware of Hardware Prefetching.
921-927
Electronic Edition (link) BibTeX
Computationally Expensive Methods in Statistics
Approaches or Methods of Security Engineering (AMSE)
- Tai-Hoon Kim, Ho-yeol Kwon:
Applying Security Engineering to Build Security Countermeasures: An Introduction.
957-963
Electronic Edition (link) BibTeX
- Young-whan Bang, Yeun-hee Kang, Gang-Soo Lee:
CC-SEMS: A CC Based Information System Security Evaluation Management System.
964-973
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Youna Jung, Eenjun Hwang:
A Flexible Privilege Management Scheme for Role Graph Model.
983-991
Electronic Edition (link) BibTeX
- EunYoung Kim, CheolHo Lee, HyungGeun Oh, JinSeok Lee:
The System Modeling for Detections of New Malicious Codes.
992-999
Electronic Edition (link) BibTeX
- Young-Shil Kim, Sang Park, Suk-Hee Wang, Seung Lee:
Information Hiding Method Using CDMA on Wave Files.
1000-1008
Electronic Edition (link) BibTeX
- Jin Kwak, Soohyun Oh, Dongho Won:
Efficient Key Distribution Protocol for Electronic Commerce in Mobile Communications.
1009-1016
Electronic Edition (link) BibTeX
- HyungHyo Lee, YoungLok Lee, BongNam Noh:
A Framework for Modeling Organization Structure in Role Engineering.
1017-1024
Electronic Edition (link) BibTeX
- Yongsu Park, Yookun Cho:
An Efficient Pointer Protection Scheme to Defend Buffer Overflow Attacks.
1025-1030
Electronic Edition (link) BibTeX
Contributed Talks
- Fabrizio Baiardi, Paolo Mori, Laura Ricci:
Parallel Hierarchical Radiosity: The PIT Approach.
1031-1040
Electronic Edition (link) BibTeX
- Cyril Banino:
Optimizing Locationing of Multiple Masters for Master-Worker Grid Applications.
1041-1050
Electronic Edition (link) BibTeX
- Erik Elmroth, Peter Gardfjäll, Olle Mulmo, Thomas Sandholm:
An OGSA-Based Bank Service for Grid Accounting Systems.
1051-1060
Electronic Edition (link) BibTeX
- Erik Elmroth, Johan Tordsson:
A Grid Resource Broker Supporting Advance Reservations and Benchmark-Based Resource Selection.
1061-1070
Electronic Edition (link) BibTeX
- Jywe-Fei Fang:
The Dragon Graph: A New Interconnection Network for High Speed Computing.
1071-1078
Electronic Edition (link) BibTeX
- Assefaw Hadish Gebremedhin, Fredrik Manne, Tom Woods:
Speeding up Parallel Graph Coloring.
1079-1088
Electronic Edition (link) BibTeX
- Andreas Griewank, Andrea Walther:
On the Efficient Generation of Taylor Expansions for DAE Solutions by Automatic Differentiation.
1089-1098
Electronic Edition (link) BibTeX
- Chien-Hung Huang, Jywe-Fei Fang, Chin-Yang Yang:
Edge-Disjoint Hamiltonian Cycles of WK-Recursive Networks.
1099-1104
Electronic Edition (link) BibTeX
- Matthias Korch, Thomas Rauber:
Simulation-Based Analysis of Parallel Runge-Kutta Solvers.
1105-1114
Electronic Edition (link) BibTeX
- Guan-Joe Lai:
A Novel Task Scheduling Algorithm for Distributed Heterogeneous Computing Systems.
1115-1122
Electronic Edition (link) BibTeX
- Kalyani Munasinghe, Richard Wait:
Study of Load Balancing Strategies for Finite Element Computations on Heterogeneous Clusters.
1123-1130
Electronic Edition (link) BibTeX
- Günter Radons, Gudula Rünger, Michael Schwind, Hong-liu Yang:
Parallel Algorithms for the Determination of Lyapunov Characteristics of Large Nonlinear Dynamical Systems.
1131-1140
Electronic Edition (link) BibTeX
- Einar M. R. Rosenvinge, Anne C. Elster, Cyril Banino:
Online Task Scheduling on Heterogeneous Clusters: An Experimental Study.
1141-1150
Electronic Edition (link) BibTeX
- Tetsuya Sakurai, Kentaro Hayakawa, Mitsuhisa Sato, Daisuke Takahashi:
A Parallel Method for Large Sparse Generalized Eigenvalue Problems by OmniRPC in a Grid Environment.
1151-1158
Electronic Edition (link) BibTeX
- Daisuke Takahashi, Taisuke Boku, Mitsuhisa Sato:
An Implementation of Parallel 3-D FFT Using Short Vector SIMD Instructions on Clusters of PCs.
1159-1167
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:32:29 2009
by Michael Ley (ley@uni-trier.de)