| 08:15 - 10:30 | Session: Trace Analysis and Support Tools | |
| 08:15 - 08:30 |
Nova Visualization for Optimization of
Data-Parallel Programs in the *Graph Environment Clinton L. Jeffery, Sandra G. Dykes, Xiaodong Zhang, Guillermo H. Gonzalez, Jason L. Peacock | |
| 08:30 - 09:00 |
On Correcting the Intrusion of Tracing
Non-Deterministic Programs by Software Florin Teodorescu, Jacques Chassin de Kergommeaux | |
| 09:00 - 09:30 |
Using Control and Data Flow Analysis for Race Evaluation Dieter Kranzlmüller, Siegfried Grabner, Jens Volkert | |
| 09:30 - 10:00 |
Client Server Computing on Message Passing Systems:
Experiences with the RPC Model in PVM V. S. Sunderam, A. T. Krantz | |
| 10:00 - 10:30 |
Exdasy - A User-Friendly and Extendable Data Distribution System Rainer Ch. Koppler, Gerhard Kurka, Jens J. Volkert | |
| 10:30 - 11:00 | Coffee Break | |
| 11:00 - 13:00 | Session: Meta-Computing and Program Distribution | |
| 11:00 - 11:30 |
Interconnecting Multiple Heterogeneous
Parallel Application Components* Pedro D. Medeiros, José C. Cunha | |
| 11:30 - 12:00 |
EDPEPPS: An Integrated Graphical Toolset
for the Design and Performance
Evaluation of Portable Parallel Software Thierry D. Delaitre, Paresh Vekariya, Romain Bigeard, George Ribeiro Justo, Steve C. Winter, Mohamed J. Zemerly | |
| 12:00 - 12:30 |
Load Balancing Based on Process Migration for MPI Georg Stellner | |
| 12:30 - 12:45 |
A Processor Management System for PVM Jose Aguilar, Tania Jimenez | |
| 12:45 - 13:00 |
A Full Program Control Flow
Representation for Real Programs He Zhu, Ian Watson | |
| 08:30 - 10:30 | Session: Models and Complexity | |
| 08:30 - 09:00 |
Routing on Asynchronous Processor Networks Efstratios Karaivazoglou, Friedhelm Meyer auf der Heide | |
| 09:00 - 09:30 |
The Complexity of Shortest Path and
Dilation Bounded Interval Routing Rastislav Kralovic, Peter Ruzicka, Daniel Stefankovic | |
| 09:30 - 10:00 |
Finding a Pair on a Mesh with Multiple Broadcasting is Hard Peter Damaschke | |
| 10:00 - 10:30 |
Routing on the PADAM: Degrees of Optimality Bogdan Chlebus, Artur Czumaj, Jop Sibeyn | |
| 09:00 - 10:30 | Session: Compilation | |
| 09:00 - 09:30 |
NeXeme: A Distributed Scheme Based on Nexus Luc Moreau, David De Roure, Ian Foster | |
| 09:30 - 10:00 |
Athapascan Runtime: Efficiency for Irregular Problems Jacques Briat, Ilan Ginzburg, Marcelo Pasin, Brigitte Plateau | |
| 08:30 - 09:00 |
Optimization of Out-of-Core Computations Using Chain Vectors M. Kandemir, J. Ramanujam, A. Choudhary | |
| 08:45 - 10:30 | Session: Skeletons and Data Types | |
| 08:45 - 09:00 |
Parlists - A Generalization of Powerlists Jacob Kornerup | |
| 09:00 - 09:30 |
Skeletons for Data Parallelism in P3L Marco Danelutto, Fabrizio Pasqualetti, Susanna Pelagatti | |
| 09:30 - 09:45 |
Embodying Parallel Functional Skeletons:
An Experimental Implementation on Top of MPI Jocelyn Serot | |
| 09:45 - 10:00 |
Dividing and Conquering Murray Cole | |
| 10:00 - 10:30 |
MTree: A Parallel Abstract Data Type for
Block-Irregular Adaptive Applications* Q. Wu, A. J. Field, P. H. J. Kelly | |
| 10:30 - 11:00 | Coffee Break | |
| 11:00 - 12:45 | Session: Methodical Approaches and Cost Calculation | |
| 11:00 - 11:30 |
A Monadic Calculus for Parallel Costing
of a Functional Language of Arrays C.B. Jay, M.I. Cole, M. Sekanina, P. Steckler | |
| 11:30 - 12:00 |
A Methodology for Deriving Parallel
Programs with a Family of Abstract Parallel Machines John O'Donnell, Gudula Rünger | |
| 12:00 - 12:30 |
Parallel Distributed Programming with Haskell+PVM Noel Winstanley, John O'Donnell | |
| 12:30 - 12:45 |
A Parallelisation Approach for Supporting Scalable
and Portable Computing Jonathan Nash, Peter Dew, John Davy | |
| 09:30 - 10:30 | Session: Load Balancing II | |
| 09:30 - 10:00 |
On the Embedding of Refinements of 2-Dimensional Grids Fabrizio d'Amore, Luca Becchetti, Sergei Bezrukov, Alberto Marchetti-Spaccamela, Mauro Ottaviani, Robert Preis, Markus Röttger, Ulf-Peter Schroeder | |
| 10:00 - 10:30 |
Dynamic Program Description as a Basis
for Runtime Optimization Jörn Gehring | |
| 08:45 - 10:30 | Session: Programming and Applications | |
| 08:45 - 09:00 |
Designing an Embedded Hard Real-Time System: A Case Study Matjaz Colnaric, Wolfgang A. Halang | |
| 09:00 - 09:30 |
Reactive Real-Time Programming with Distributed Agents Gerhard Schrott | |
| 09:30 - 10:00 |
An ML-like Module System for the
Synchronous Language SIGNAL David Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic | |
| 10:00 - 10:30 |
Synchronous Process Management in a Distributed
Operating System's Micro Kernel Olivier Potonniée, Jean-Bernard Stefani | |
| 10:30 - 11:00 | Coffee Break | |
| 11:00 - 12:00 | Session: Specification and Analysis | |
| 11:00 - 11:30 |
Task-System Analysis Using Slope
Parametric Hybrid Automata* Augusto Burgueño, Vlad Rusu | |
| 11:30 - 12:00 |
A Methodology for Compilation of
High-Integrity Real-Time Programs Karl Lermer, Colin Fidge | |
| 11:00 - 13:00 | Session: Automatic Parallelization and Architecture | |
| 11:00 - 11:30 |
Handling Memory Cache Policy with Integer Points Countings Philippe Clauss | |
| 11:30 - 12:00 |
A Software Tool for Automatic
Parallelization and Scheduling of
Programs on Multiprocessors Ishfaq Ahmad | |
| 12:00 - 12:15 |
Identifying Critical Loads in Real
Programs for Decoupled Virtual Shared Memory Systems He Zhu, Ian Watson | |
| 12:15 - 12:30 |
Runtime Interprocedural Data Placement
Optimisation for Lazy Parallel Libraries Olav Beckmann, Paul H. J. Kelly | |
| 12:30 - 13:00 |
A Technique for Mapping Sparse Matrix
Computations into Regular Processor Arrays Roman Wyrzykowski, Juri Kanevski | |
| 11:00 - 13:00 | Session: Algorithms for Parallel Models | |
| 11:00 - 11:15 |
Parallel Merge Sort on Concurrent-Read, Owner-Write PRAM David C. Lin, Patrick Dymond, Xiaotie Deng | |
| 11:15 - 11:30 |
Feasible Models of Computation:
Three-Dimensionality and Energy Consumption Peter Sanders, Roland Vollmar, Thomas Worsch | |
| 11:30 - 12:00 |
Sample Sort on Meshes Jop F. Sibeyn | |
| 12:00 - 12:30 |
Sorting on a Massively Parallel System
Using a Library of Basic Primitives -
Modeling and Experimental Results Alf Wachsmann, Rolf Wanka | |
| 12:30 - 13:00 |
A Parallel Priority Queue
Implementation: The BSP Approach Alexandros V. Gerbessiotis, Constantinos J. Siniolakis | |