PARALLEL COMPUTING TECHNOLOGIES

PaCT-2003

Seventh International Conference

Nizhni Novgorod, Russia

September 15-19, 2003

PROGRAM

MONDAY, SEPTEMBER 15

TUTORIALS

9.00-17.20

1. Parallel Computing for Genomic and Biological Applications

9.00-12.20

This half-day tutorial on High-Performance Computing and Networking (HPCN) Issues in Bioinformatics and Computational Biology (BCB) will be aimed at an audience that is not currently knowledgeable about the area of BCB. About half of the tutorial would be directed so as to broadly expose computer scientists and engineers of the basic life science and medical research problems contemporary to this new field. The second half of the tutorial will focus attention on some of the problems in BCB that are most in need of High-performance computing and networking. The course will provide a basic level of introduction to these problems, and is intended to serve to introduce this area of inter-disciplinary research to people interested in becoming partially involved in applying their backgrounds in HPCN to BCB.

COFFEE BREAK

10.30-10.50

LUNCH

12.20-14.00

2. Introduction to quantum computing

14.00-17.20

Quantum computing is a pioneering and increasingly active domain of research, at the meeting point of quantum physics and information sciences, two of the main scientific achievements of the 20th century. The idea is to take advantage of physical phenomena given to us by Nature at the quantum scale, for representing, processing and communicating information. This opens the way to a form of parallelism out of reach from classical computing, to algorithms with dramatically lower complexity for some classes of problems and to a kind of information re-localization known as teleportation. This tutorial does not require from the audience any a-priori knowledge in quantum physics.

COFFEE BREAK

15.30-15.50

WELCOME  PARTY

19:00

TUESDAY, SEPTEMBER 16

OPENING SESSION

9.30-9.45

R. Strongin,  Rector of the University of Nizhni Novgorod

9.30-9.40

V.Malyshkin, Program Committee Chairman

9.40-9.45

invited talks  Chairman: Thomas Casavant

9.45-11.00

Toward PetaFLOPS in Silico Discovery

9.45-10.30

J. Porta, IBM Boeblingen Lab, Germany

Interval Approach to Parallel Timed Systems Verification

10.30-11.00

Yu. G. Karpov, D. Sotnikov, State Technical University, St.-Petersburg

COFFEE BREAK

11.00-11.40

Numericel algorithms   Chairman: Olga Bandman

11.40-13.00

Graph Partitioning in Scientific Simulations: Multilevel Schemes versus Space-Filling Curves

11.40-12.10

Stefan Schamberger, Jens-Michael Wierum

Parallelization of Alternating Direction Implicit Methods For Three-Dimensional Domains

12.10-12.40

V. P. Il’in, S. A. Litvinenko, V. M. Sveshnikov

Communication-Efficient Parallel Gaussian Elimination

12.40-13.00

Alexander Tiskin

LUNCH

13.00-14.30

applications   Chairman  George Papadopoulos

14.30-16.00

Alternative Parallelization Strategies in EST Clustering

14.30-14.55

Thomas L. Casavant, Nishank Trivedi, Kevin T. Pedretti, Terry A. Braun, Todd E. Scheetz 

DAxML: A Program for Distributed Computation of Phylogenetic Trees Based on Load Managed CORBA

14.55-15.20

Alexandros P. Stamatakis, Markus Lindermeier, Michael Ott, Thomas Ludwig, Harald Meier

Protective Laminar Composites Design Optimisation Using Genetic Algorithm and Parallel Processing

15.20-15.40

M. A. Vishnevsky, V. D. Koshur, A. I. Legalov, E. M. Mirkes

Design and Implementation of a Cost-Optimal Parallel Tridiagonal System Solver Using Skeletons

15.40-16.00

Sergei Gorlatch, Holger Bischof, Emanuel Kitzelmann  

COFFEE BREAK

16.00-16.30

Programming environment   Chairman  Sergei Gorlatch

16.30-18.00

Asynchronous Timed Multimedia Environments Based on the Coordination Paradigm

16.30-17.00

George A. Papadopoulos

Component-Based Development of Dynamic Workflow Systems Using the Coordination Paradigm

17.00-17.20

George A. Papadopoulos, George  Fakas

A Polymorphic Type System for Bulk Synchronous Parallel ML

17.20-17.40

Frederic Loulergue, Frederic Gava

Software Carry-Save: A Case Study for Instruction-Level Parallelism

10.30-11.00

David Defour, Florent de Dinechin

WEDNESDAY, SEPTEMBER 17

Theory of programming   Chairman   Yuri  Karpov

9.30-11.00

A Hierarchy of Conditions for Asynchronous Interactive Consistency

9.30-10.00

Michel Raynal, Achour Mostefaoui, Sergio Rajsbaum, Matthieu Roy

The Renaming Problem as an Introduction to Structures for Wait-Free Computing

10.00-10.30

Michel Raynal

Authentication Primitives for Protocol Specifications

10.30-11.00

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi and Corrado Priami

COFFEE BREAK

11.00-11.30

grid  computing   Chairman Thomas Ludwig

11.30-13.00

A Prototype Grid System Using Java and RMI

11.30-11.50

Sergei Gorlatch, Martin Alt

CMDE: a Channel Memory Based Dynamic Environment for Fault-Tolerant Message Passing Based on MPICH-V Architecture

11.50-12.10

Anton Selikhov, Cecile Germain

DOVE-G: Design and Implementation of Distributed Object-Oriented Virtual Environment on Grid

12.10-12.30

Chang-Sung Jeong, Young-Je Woo

Parallel Computing for Globally Optimal Decision Making

12.30-13.00

Victor Gergel, Roman Strongin (invited paper)

LUNCH

13.00-14.30

MODELS   Chairman   Michel  Reynal

14.30-16.00

An Extensible Coloured Petri Net Model of a Transport Protocol for Packet Switched Networks

14.30-15.00

Valery A. Sokolov, Dmitry Ju. Chaly

Resource Similarities in Petri Net Models of Distributed Systems

15.00-15.20

Irina A. Lomazova, Vladimir A. Bashkin

An Approach to Assessment of Heterogeneous Parallel Algorithms

15.20-15.45

Alexey Lastovetsky, Ravi Reddy

Formal Modeling for a Real-Time Scheduler and Schedulability Analysis

15.45-16.00

Sung-Jae Kim and Jin-Young Choi

COFFEE BREAK

16.00-16.30

hardware and programming   Chairman   Gabriel Silberman

16.30-17.15

The Instruction Register File

16.30-16.55

Bernard Goossens

Disk I/O Perfomance Forecast Using Basic Prediction Techniques for Grid Computing

16.55-17.15

Dong Woo Lee, R. S. Ramakrishna

POSTERS & DEMONSTRATIONS

17.15-18.00

D-SAB: A Sparse Matrix Benchmark Suite

#1

Pyrrhos Stathis, Stamatis Vassiliadis, Sorin Cotofana  

The Presentation of Information in mpC Workshop Parallel Debugger

#2

A.Kalinov, K.Karganov, V.Khatzkevich, K.Khorenko, I.Ledovskikh, D.Morozov, S.Savchenko

Development of Distributed Simulation System

#3

V. Okol'nishnikov, S. Rudometov  

GEPARD – General PARallel Debugger for MVS-1000/M

#4

A. Romanenko, V. E. Malyshkin  

Grid-Based Parallel and Distributed Simulation Environment

#5

Chang-Sung Jeong, Chang-Hoon Kim, Tae-Dong Lee, Sun-Chul Hwang  

Glosim: Global System Image for Cluster Computing

#6

Hai Jin, Li Guo, Zongfen Han  

Asynchronous Parallel Programming Language Based on the Microsoft .NET Platform

#7

Y. Serdyuk, V. Guzev  

Deciding Optimal Information Dispersal for Parallel Computing with Failures

#8

Sung Keun Song, Hee Yong Youn, Jong-Koo Park

Towards an Efficient Functional Implementation of the NAS Benchmark FT

#9

Clemens Grelck, Sven-Bodo Scholz  

Numerical Simulation of Self-Organisation in Gravitationally Unstable Media on Supercomputers

#10

A.V. Snytnikov, E.A. Kuksheva, V.E. Malyshkin, S.A. Nikitin, V.N. Snytnikov, V.A. Vshivkov

Parallel Unsupervised k-windows: an Efficient Parallel Clustering Algorithm

#11

D. K.Tasoulis, P. Aleyizos, B. Boutsinas, M. N. Vrahatis

Process Algebraic Model of Superscalar Processor Programs for Instruction Level Timing Analysis

#12

Hee-Jun Yoo, Jin-Young Choi  

Distributed Object-Oriented Web-Based Simulation

#13

THURSDAY, SEPTEMBER 18

SOCIAL PROGRAM

10.00-18.00

conference  dinner

19:00

FRIDAY, SEPTEMBER 19

program  OptimIZATION   Chairman  Bernard Goossens

9.30-11.00

Load Imbalance in Parallel Programs

9.30-9.50

Luisa Massari, Maria Calzarossa, Daniele Tessera

Mapping Affine Loop Nests: Solving of the Aligment and Scheduling Problem

9.50-10.15

E. V. Andreichuk (Adutskevich), N. A. Likhoded

Optimization of the Communications between Processors in a General Parallel Computing Approach Using the Selected Data Technique

10.15-10:35

Andre Chambarel, Dominique Fougere, Herve Bolvin, Petr Gladkikh

Analysis of Architecture and Design of Linear Algebra Kernels for Superscalar Processors

10:35-11.00

O. Bessonov, D. Fougere, B. Roux

COFFEE BREAK

11.00-11.30

languages  and  compilers   Chairman Yuri Karpov

11.30-13.00

An Extended ANSI C for Multimedia Processing

11.30-12.00

Patricio Bulic, Veselko Gustin, Ljubo Pipan

Retargetable and Tuneable Code Generation for High Performance DSP

12.00-12.20

A. E. Doroshenko, D. V. Rogozin

A Fast Pipelined Parallel Ray Casting Algorithm Using Advanced Space Leaping Method

Chang-Sung Jeong, Hyung-Jun Kim, Yong-won Kwon, So-Hyun Ryu, Yong-je Woo 

12.20-12.40

A Multi-Threaded Asynchronous Language

12.40-13.00

Herve Paulino, Pedro Marques, Luis Lopes, Vasco Vasconcelos, Fernando Silva

LUNCH

13.00-14.30

tools   Chairman Ali Hurson

14.30-16.00

Exploiting Locality in Program Graphs

14.30-15.00

Ali R. Hurson, J. T. Lim, L. D. Pritchett

The Parallel Debugging Architecture in the Intel(R) Debugger

15.00-15.15

Chih-Ping Chen 

Performance and Low Cost Cluster-Based E-mail System

15.15-15.40

Woo-Chul Jeun, Yang-Suk Kee, Soonhoi Ha, Jin-Soo Kim

An Efficient Marshaling Framework for Distributed System

15.40-16.00

Vladimir Vlassov, K. Popov, P. Brand, S. Haridi

COFFEE BREAK

16.00-16.30

FINE-GRAIN COMPUTATIONS   Chairman Pierpaolo Degano

16.30-18.00

Accuracy and Stability of Spatial Dynamics Simulation by Cellular Automata Evolution

16.30-17.00

Olga L. Bandman 

Situated Celluar Agents in Non-Uniform Spaces

17.00-17.30

Sara Manzoni, Stefania Bandini, Carla Simone 

Associative Parallel Algorithms for Dynamic Edge Update of Minimum Spanning Trees

17.30-17.50

A.S. Nepomniaschaya 

CLOSING of the conference

17:50