| 13:45 - 16:00 | Session: Fat-Trees and Wormhole Routing | |
| 13:45 - 14:00 |
Efficient Total-Exchange in Wormhole-Routed Toroidal Cubes Fabrizio Petrini, Marco Vanneschi | |
| 14:00 - 14:30 |
An Analysis of Deflection-Based Wormhole Routing with Virtual Circuits* Emmanouel A. Varvarigos, Jonathan P. Lang | |
| 14:30 - 15:00 |
Wormhole Deadlock Prediction Miriam Di Ianni | |
| 15:00 - 15:30 |
Broadcast and Associative Operations on Fat-Trees* Gianfranco Bilardi, Bruno Codenotti, Gianna Del Corso, Cristina Pinotti, Giovanni Resta | |
| 15:30 - 16:00 |
On the Fault Tolerance of Fat-Trees Sotiris Nikoletseas, Grammati Pantziou, Panagiotis Psycharis, Paul Spirakis | |
| 16:00 - 16:30 | Coffee Break | |
| 16:30 - 18:30 | Session: Meshes and Tori | |
| 16:30 - 17:00 |
Minimal Routing in the Triangular Grid
and in a Family of Related Tori Dominique Désérable | |
| 17:00 - 17:30 |
Embedding k-ary Complete Trees into 2-Dimensional Meshes and Tori Jan Trdlicka, Pavel Tvrdik | |
| 17:30 - 18:00 |
Optimal Gossip in Store-and-Forward Noncombining 2-D Tori Michal Soch, Pavel Tvrdik | |
| 18:00 - 18:15 |
Cutwidth of the Mesh of d-ary Trees Imrich Vrt'o | |
| 18:15 - 18:30 |
Embedding and Emulation Results for a
Static Multichannel Mesh of Optical Buses Ville Leppänen | |
| 14:00 - 16:00 | Session: Semantic Models | |
| 14:00 - 14:30 |
Synchronising Asynchronous Communications A.Stewart, M.Clint | |
| 14:30 - 15:00 |
Typechecking of PEI Expressions Eric Violard | |
| 15:00 - 15:30 |
Functional Parallel Programming with
Explicit Processes: Beyond SPMD Frédéric Loulergue, Gaétan Hains | |
| 15:30 - 16:00 |
Testing Semantics for Unbounded Nondeterminism Luis Fdo. Llana Díaz, Manuel Núńez | |
| 16:00 - 16:30 | Coffee Break | |
| 16:30 - 18:30 | Session: Object-Oriented Programming | |
| 16:30 - 17:00 |
An Efficient Compilation Framework for
Languages Based on a Concurrent Process Calculus Yoshihiro Oyama, Kenjiro Taura, Akinori Yonezawa | |
| 17:00 - 17:30 |
Behavioural Types for a Calculus of Concurrent Objects Antònio A. Ravara, Vasco T. Vasconcelos | |
| 17:30 - 17:45 |
Time in Message Sequence Charts: A Formal Approach Piotr Kosiuczenko | |
| 17:45 - 18:00 |
Integrating an Entry Consistency Memory
Model and Concurrent Object-Oriented Programming Antonio J. Nebro, Ernesto Pimentel, José M. Troya | |
| 18:00 - 18:15 |
Modeling the Dynamic Behavior of Objects
on Events, Messages and Methods Ruth Breu, Radu Grosu | |
| 18:15 - 18:30 |
A Quality Design Solution for Object Synchronization Antònio R. Silva | |
| 14:00 - 16:00 | Session: Numerical Linear Algebra | |
| 14:00 - 14:30 |
Scalability of Sparse Cholesky Factorization* Thomas Rauber, Gudula Rünger, Carsten Scholtes | |
| 14:30 - 15:00 |
Optimal Parallel Algorithms for Solving
Tridiagonal Linear Systems Eunice E. Santos | |
| 15:00 - 15:30 |
Robust Parallel Lanczos Methods for Clustered Eigenvalues M. Szularz, J. Weston, M. Clint | |
| 15:30 - 15:45 |
A Fully Parallel Symmetric Matrix Transformation Ayse Kiper | |
| 15:45 - 16:00 |
Numerical Experiments with Parallel Fast
Direct Solver on Cray T3E Tuomo Rossi, Jari Toivanen | |
| 16:00 - 16:30 | Coffee Break | |
| 16:30 - 18:30 | Session: Partial Differential Equations and Optimization | |
| 16:30 - 17:00 |
An Incomplete Factorization Preconditioner Based on a
Non-Overlapping Domain Decomposition Data Distribution Gundolf Haase | |
| 17:00 - 17:30 |
A Comparison Between Different Parallelization Methods on
Workstation Clusters to Solve CFD-Problems Walter Huber | |
| 17:30 - 18:00 |
Scalable Parallel SSOR Preconditioning for
Lattice Computations in Gauge Theories Andreas Frommer, Thomas Lippert, Klaus Schilling | |
| 18:00 - 18:30 |
Asynchronous Methods and Least Squares:
An Example of Deteriorating Convergence Trond Steihaug, Yasemin Yalçinkaya | |
| 14:15 - 16:00 | Session: Parallel Computer Architecture | |
| 14:15 - 14:30 |
The Delft-Java Engine: An Introduction C. John Glossner, Stamatis Vassiliadis | |
| 14:30 - 15:00 |
Scheduling Instructions with Uncertain
Latencies in Asynchronous Architectures D. K. Arvind, Salvador Sotelo-Salazar | |
| 15:00 - 15:30 |
Co-Processor Design for Fine-Grain
Message Handling in KUMP/D Hiroshi Tomiyasu, Shigeru Kusakabe, Tetsuo Kawano, Makoto Amamiya | |
| 15:30 - 15:45 |
A Virtual-Physical On-Chip Cache for
Shared Memory Multiprocessors Dongwook Kim, Joonwon Lee | |
| 15:45 - 16:00 |
Shared vs. Snoop: Evaluation of Cache
Structure for Single-Chip Multiprocessors Toru Kisuki, Masaki Wakabayashi, Junji Yamamoto, Keisuke Inoue, Hideharu Amano | |
| 13:45 - 16:00 | Session: Scheduling | |
| 13:45 - 14:00 |
Performance Comparison of Load Balancing
Policies based on a Diffusion Scheme Antonio Corradi, Letizia Leonardi, Franco Zambonelli | |
| 13:45 - 14:00 |
Performance Comparison of Load Balancing
Policies based on a Diffusion Scheme Antonio Corradi, Letizia Leonardi, Franco Zambonelli | |
| 14:00 - 14:30 |
Effectively Scheduling Parallel Tasks
and Communications on Networks of Workstations Xing Du, Yingfei Dong, Xiaodong Zhang | |
| 14:30 - 15:00 |
On Linear Schedules of Task Graphs for
Generalized LogP-Machines Welf Löwe, Wolf Zimmermann, Jörn Eisenbiegler | |
| 15:00 - 15:30 |
Rescheduling Support for Mapping Dynamic
Scientific Computation onto Distributed
Memory Multiprocessors Apostolos Gerasoulis, Jia Jiao | |
| 15:30 - 16:00 |
Versatile Task Scheduling of Binary
Trees for Realistic Machines Cristina Boeres, Vinod E. F. Rebello | |
| 16:00 - 16:30 | Coffee Break | |
| 16:30 - 17:45 | Session: Load Balancing I | |
| 16:30 - 17:00 |
Load Balancing Issues in the
Prepartitioning Method* Jérôme Galtier | |
| 17:00 - 17:30 |
Design of Novel Load Balancing
Algorithms with Implementations on an IBM SP2 Sajal Das, Daniel Harvey, Rupak Biswas | |
| 17:30 - 17:45 |
Repartitioning of Adaptive Meshes:
Experiments with Multilevel Diffusion Kirk Schloegel, George Karypis and Vipin Kumar | |
| 14:00 - 16:00 | Session: Parallel and Distributed Computing | |||||||||||||||||||||||||
| 14:00 - 14:20 |
PHASE and MICA: Application Specific Metacomputing Jörn Gehring, Alexander Reinefeld, Anke Weber | |||||||||||||||||||||||||
| 14:20 - 14:40 |
FRONTIER: Use of HPCN Technologies J.M.R. Shaw, D.C. Spicer | |||||||||||||||||||||||||
| 14:40 - 15:00 |
PINEAPL: A European Project to Develop a Parallel
Numerical Library for Industrial Applications Daniela di Serafino, Lucia Maddalena, Almerico Murli | |||||||||||||||||||||||||
| 15:00 - 15:20 |
RAIN: Redundant Array of Inexpensive
Workstations for Neurocomputing Davide Anguita, Marco Chirico, Anna Marina Scapolla, Giancarlo Parodi | |||||||||||||||||||||||||
| 15:20 - 15:40 |
PARSAR: Parallelisation of a Chirp
Scaling Algorithm SAR Processor Antonio Martínez, Francisco Fraile, Jordi J. Malloquí, Leonardo Noguiera, Jordi Gabaldá, Antoni Broquetas, Antonio González
|
15:40 - 16:00
| Discussion
|
16:00 - 16:30
|
Coffee Break
|
16:30 - 18:00
|
Session: HPCN Applications
|
|
16:30 - 16:50
| OCEANS: Optimizing Compilers for Embedded HPC Applications | Bas Aarts, Michel Barreteau, Françcois Bodin, Peter Brinkhaus, Zbigniew Chamski, Henri-Pierre Charles, Christine Eisenbeis, John R. Gurd, Jan Hoogerbrugge, Ping Hu, William Jalby, Peter M.W. Knijnenburg, Michael F.P. O'Boyle, Erven Rohou, Rizos Sakellariou, Henk Schepers, André Seznec, Elena A. Stöhr, Marco Verhoeven, Harry A.G. Wijshoff
|
16:50 - 17:10
| SEEDS: A Simulation Environment for the
Evaluation of Distributed Traffic Control Systems | Sebastiano Bottalico, Filippo de Stefani, Thomas Ludwig, Günther Rackl
|
17:10 - 17:30
| EFTOS: A Software Framework for More
Dependable Embedded HPC Applications | Geert Deconinck, Vincenzo De Florio, Rudy Lauwreins, Theodora Varvarigou
|
17:30 - 17:50
|
STAMPAR: A Parallel Processing Approach for the
Explicit Dynamic Analysis of Sheet Stamping Problems | F. Zarate, L. Neamçtu, E. Oñate, G.A. Duffett and J.M. Cela
|
17:50 - 18:00
|
Discussion
| | |||