HPC 2001 will include a special track on ,Petri Nets in HPC and Performance Evaluation in HPC`. The High Performance Computing 2001 is the ninth special symposium devoted to the impact of High Performance Computing and Computer Simulation. It is part of the 2001 Advanced Simulation Technology Conference (ASTC 2001) organized by The Society for Computer Simulation, SCS (for more information see http://www.scs.org/) and supported by the German Informatics Society (Gesellschaft für Informatik), GI (for more information see http://www.gi-ev.de).

The goal of the special sessions is to discuss new theoretical and practical developments in the area of Petri nets and/or performance evaluation related to HPC. After the success of the Petri net and performance sessions during the HPC`98, HPC`99, and HPC 2000 conferences, the presentation of the advantages in the use of Petri net based formal methods and in the performance evaluation of high performance computer systems will be a part of the HPC 2001 symposium. It will be shown how such methods can encourage innovation in high performance computing technologies and how their use can make system design more effective especially for large applications. Last but not least the exchange of ideas and information among universities, industry, and national laboratories in this field will be promoted.

Topics of interest include:

• Petri Nets and HPC
  • Methodologies to Exploit HPC Architectures and Communication Networks including a Petri Net Based Analysis of Software Systems
  • Dependability Modelling and Analysis of Real-Time Systems with Different Kinds of High Level Petri Nets
  • Modeling of Fault Tolerant Systems and Aspects of Reliability and Security
  • Performance Prediction and Evaluation
  • New Formal Concepts and Methods for Validation and Testing
  • Petri Net Simulation Tools
  • Visualization based on Petri Net Models
  • Design and Implementation Approaches for Complex Systems using Petri Nets
  • Applications of Petri Nets

• Performance Evaluation and HPC
  • Modelling of HPC Architectures and Communication Networks
  • Evaluation of Hardware and Software Performance including all Kinds of Simulation and Analysis
  • New Methods in Performance Optimization related to HPC
  • High Performance Simulation Tools
  • Design and Performance of Real-Time Systems
  • Traffic Estimation for High Performance Networks including Multicast Traffic Patterns and Fault Tolerance
  • Numerical Methods for Performance Approximation

Vladimir Anisimov, Bilkent University, Turkey; Kiev University, Ukraine
Ioana Banicescu, Mississippi State University, USA
Arndt Bode, Technische Universität München, Germany
Gunter Bolch, Universität Erlangen, Germany
Wolfgang Fengler, Technische Universität Ilmenau, Germany
Markus Fiedler, University of Karlskrona/Ronneby, Sweden
Günter Hommel, Technische Universität Berlin, Germany
Olaf Kluge, Technische Universität Berlin, Germany
Peter Kropf, Université de Montréal, Canada
Jörn W. Janneck, ETH Zürich, Switzerland
Jogesh K. Muppala, HKUST, Hong Kong
Kishor S. Trivedi, Duke University, USA
Dietmar Tutsch, Technische Universität Berlin, Germany
Herwig Unger, Universität Rostock, Germany
Wlodek M. Zuberek, Memorial University of Nfld, Canada

Key dates:

Only papers which have not been previously published or presented should be submitted. Authors must obtain employer, client, or government releases prior to submittal of the final manuscript. All accepted papers will be published in the High Performance Computing 2001 proceedings and must be presented by one of the authors at the conference. Anticipated conference fees will be $395.00 (U.S.).

Send to: