 |
 |
 |
|
|
|
|
|
|
|
||||
|
|
||||
|
|
||||
|
Pereslavl-Zalessky, Russia September 3-7, 2007 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Program
|
MONDAY, SEPTEMBER 3 |
|
| WALKING TOUR OF THE TOWN | 16:00-18:30 |
| WELCOME PARTY (restaurant "Navigator)" | 19:00 |
|
TUESDAY, SEPTEMBER 4 |
|
| Registration (Information center) | 8.30-10.00 |
| OPENING SESSION (block2, A) | 10.00-10.10 |
| S. Abramov, Director of the Program Systems Institute RAS | 10.00-10.05 |
| V. Malyshkin, Program
Committee Chairman |
10.05-10.10 |
| Enhancing Online
Computer Games for Grids Sergei Gorlatch, Westfaelische Wilhelms-Universitaet Muenster, Germany (invited talk) |
10.10-10.35 |
| Towards programming
environment for personal supercomputing (invited talk) Nikolay Mirenkov. University of Aizu, Japan |
10:35-11:00 |
| COFFEE BREAK
(block2, C) |
11.00-11.30 |
| FINE-GRAIN COMPUTATIONS Chairman Pierpaolo Degano (block 2, A) | 11.30-13.00 |
| Coarse-Grained
Parallelization of Cellular-Automata Simulation Algorithms Olga L. Bandman |
11.30-12.10 |
| CAOS: A Domain-Specific
Language for the Parallel Simulation of Cellular Automata Clemens Grelck, Frank Penczek and Kai Trojahner |
12.10-12.30 |
| Intel Technology and
Software for parallel programming Andrey Semin, Head of Technical Marketing EMEA, Intel Corporation |
12.30-13.00 |
| LUNCH (block2, B) | 13.00-14.30 |
| FINE-GRAIN COMPUTATIONS 2 Chairman Olga Bandman (block 2, A) | 14.30-16.00 |
| Pedestrian and Crowd
Dynamics Simulation: Testing SCA on Paradigmatic Cases of Emerging
Coordination in Negative Interaction Conditions Stefania Bandini, Mizar Luca Federici, Sara Manzoni, and Giuseppe Vizzari |
14.30-15.00 |
| Comparison of Evolving
Uniform, Non-Uniform Cellular Automaton, and Genetic Programming for
Centroid Detection with Hardware Agents Marcus Komann, Andreas Mainka, and Dietmar Fey |
15.00-15.20 |
| Cellular Automata
Models for Complex Matter Dominique Deserable, Pascal Dupont, Mustapha Hellou, Siham Kamali-Bernard |
15-20-15.40 |
| Self-Organised
Criticality in the Model of Rat Somatosensory Cortex Grzegorz M. Wojcik, Wieslaw A. Kaminski, and Piotr Matejanka |
15.40-16.00 |
| COFFEE BREAK (block2,
C) |
16.00-16.30 |
| FINE-GRAIN APPLICATIONS Chairman Peter Sloot (block 2, A) | 16.30-18.00 |
| Parallel Hardware
Architecture to Simulate Movable Creatures in the CA Model Mathias Halbach and Rolf Hoffmann |
16.30-16.50 |
| Hysteresis in
Oscillatory Behaviour in CO Oxidation Reaction over Pd(110) Revealed
by Asynchronous Cellular Automata Simulation. Comparison with
Experiment Vladimir I. Elokhin, Andrey V. Matveev, Vladimir V.Gorodetski |
16.50-17.10 |
|
SPECIAL SESSION "Fine-grain Parallelism in Simulation of Natural and Social
Phenomena", |
17.10-19.00 |
|
WEDNESDAY, SEPTEMBER 5 |
|
| SYSTEM TOOLS Chairman Sergey Gorlatch (block 2, A) | 9.30-11.00 |
| Efficient Race
Verification for Debugging Programs with OpenMP Directives Young-Joo Kim, Mun-Hye Kang, Ok-Kyoon Ha, Young-Kee Jun |
9.30-9.50 |
| A High-Level Toolkit
for Development of Distributed Scientific Applications Alexander Afanasiev, Oleg Sukhoroslov, Mikhail Posypkin |
9.50-10.10 |
| Toward a Distributed
Implementation of OpenMP using CAPE Eric Renault |
10.10-10.30 |
| IBM solutions for
high-performance computing Sergey Gorbas |
10.30-11.00 |
| COFFEE BREAK (block2,
C) |
11.00-11.30 |
| DATA PROCESSING Chairman Yong-Kee Jun (block 2, A) | 11.30-13.00 |
| Self-organization in
DES Time-warp (Parallel Discrete Event Simulation with Avalanche
Roll-backs) Peter Sloot, University of Amsterdam (invited talk) |
11.30-12.00 |
| Optimized Parallel
Approach for 3D Modelling of Forest Fire Behaviour Gilbert Accary, Oleg Bessonov, Dominique Fougere, Sofiane Meradji, Dominique Morvan |
12.00-12.20 |
| Associative Version of
Italiano's Algorithm for Dynamic Updating the Transitive Closure of
Directed Graphs after deletion of an Edge Anna Nepomniaschaya |
12.20-12.40 |
| TRES-CORE:
Content-based Retrieval Based on the Balanced Tree in Peer to Peer
Systems Hai Jin , Jie Xu |
12.40-13.00 |
| LUNCH (block2, B) | 13.00-14.30 |
| NUMERICAL SIMULATION Chairman Peter Sloot (block 2, A) | 14.30-16.20 |
| Study of 3D Dynamics of
Gravitating Systems Using Supercomputers: Methods and Applications Nikolay Snytnikov, Vitaly Vshivkov, Valery Snytnikov |
14.30-15.00 |
| Strategies for
Development of a Parallel Program for Protoplanetary Disc Simulation Sergei Kireev, Elvira Kuksheva, Aleksey Snytnikov, Nikolay Snytnikov, Valeriy Snytnikov, Vitaly Vshivkov |
15.00-15.20 |
| A Stochastic Semantics
for BioAmbients Linda Brodo, Pierpaolo Degano, Corrado Priami |
15.20-15.40 |
| COFFEE BREAK (block
2, C) |
15.40-16.20 |
| NETWORKING Chairman Michel Raynal (block 2, A) | 16.20-17.10 |
| Enhancing
Fault-Tolerance of Large-Scale MPI Scientific Applications G.Rodriguez, P.Gonzalez, M.J.Martin and J.Tourino |
16.20-16.40 |
| A Novel Self-Similar (
S 2 ) Traffic Filter to Enhance E-Business Success by Improving
Internet Communication Channel Fault Tolerance Allan K. Y. Wong, Wilfred W. K. Lin, Tharam S. Dillon Jackei Wong |
16.40-17.00 |
| SHORT PAPERS & DEMONSTRATIONS (block 2, A) | 17.00-18.20 |
| On the Parallel
Technologies of Conjugate and Semi-Conjugate Gradient Methods for
Solving very Large Sparse SLAEs Valery P. Ilin, Dasha V. Knysh |
Poster #1 |
| Orthogonal Organized Finite
State Machine Application to Sensor Acquired Information Brian J. d'Auriol, John Kim, Sungyoung Lee, Young-Koo Lee |
Poster #2 |
| Towards a Computing Model for Open Distributed Systems Achour Mostefaoui |
Poster #3 |
| Adaptive Scheduling and Resource Assessment in GRID V.Krasnotcshekov, A.Vakhitov |
Poster #4 |
| Adaptive Workflow Nets for Grid Computing Carmen Bratosin, Kees van Hee, and Natalia Sidorova |
Poster #5 |
| The Location of the
Gene Regions under Selective Pressure: Plato Algo-rithm
Parallelization Yuri Vyatkin, Konstantin Gunbin, Alexey Snytnikov and Dmitry Afonnikov |
Poster #6 |
| Multicriteria Scheduling Strategies in Scalable Computing Systems Victor V. Toporkov |
Poster #7 |
| Object Serialization and Remote Exception Pattern for Distributed
C++/MPI Application Ba'nczyk Karol Boi'nski Tomasz Krawczyk Henryk |
Poster #8 |
| Transient Mechanical Wave Propagation in Semi-Infinite Porous Media
Using a Finite Element Approach with Domain Decomposition Technology A.V. Terekhov, A. Mesgouez, and G. Lefeuve-Mesgouez |
Poster #9 |
|
THURSDAY, SEPTEMBER 6 |
|
| SOCIAL PROGRAM | 10.00-18.00 |
| CONFERENCE DINNER | 19:00 |
|
FRIDAY, SEPTEMBER 7 |
|
| MULTICORE & SMP Chairman Irina Virbitskaite (block 2, A) | 9.30-10.50 |
| Opportunities and
Challenges in e_Science Fabrizio Gagliardi, Microsoft Corporation |
9.30-10.00 |
| Latencies of
Conflicting Writes on Contemporary Multicore Architectures Josef Weidendorfer, Michael Ott, Tobias Klug and Carsten Trinitis |
10.00-10.30 |
| Support for
Fine-Grained Synchronization in Shared-Memory Multiprocessors Vladimir Vlassov,Oscar Sierra Merino,Csaba Andras Moritz, Konstantin Popov |
10.30-10:50 |
| COFFEE BREAK (block2,
C) |
10.50-11.30 |
| GRID COMPUTING Chairman Thomas Ludwig (block 2, A) | 11.30-13.00 |
| Looking for a
Definition of Dynamic Distributed Systems R. Baldoni, M. Bertier, M Raynal, S. Tucci-Piergiovanni |
11.30-12.00 |
| Dynamic Load Balancing
of Black-Box Applications with a Resource Selection Mechanism on
heterogeneous Resources of the Grid Valeria V. Krzhizhanovskaya and Vladimir V. Korkhov |
12.00-12.30 |
| Parallelism Granules
Aggregation with the T-system Alexander Moskovsky, Vladimir Roganov, Sergei Abramov |
12.30-13.00 |
| LUNCH (block2, B) | 13.00-14.30 |
| MODELS AND LANGUAGES Chairman Rolf Hoffmann (block 2, A) | 14.30-16.00 |
| A Categorical
Observation of Timed Testing Equivalence Natalya Gribovskaya, Irina Virbitskaite |
14.30-14.55 |
| From Unreliable Objects
to Reliable Objects: the Case of Atomic Registers and Consensus Rachid Guerraoui, Michel Raynal |
14.55-15.20 |
| A Functional
Programming System SFP :Sisal 3.1 Language Structures Decomposition V.N. Kasyanov, A.P. Stasenko |
15.20-15.40 |
| Generation of SMAKA and
its application in WEB Services Anirban Kundu, Ruma Dutta, Debajyoty Mukhopadhyay |
15.40-16.00 |
| COFFEE BREAK (block2, C) | 16.00-16.30 |
| NUMERICAL ALGORITHMS Chairman Alexey Lastovetsky (block 2, A) | 16.30-18.00 |
| Accelerating the
Singular Value Decomposition of Rectangular Matrices with the CSX and
the Integrable SVD Yusaku Yamamoto, Takeshi Fukaya, Takashi Uneyama, Masami Takata, Kinji Kimura, Masashi Iwasaki and Yoshimasa Nakamura |
16.30-16.50 |
| A Novel Algorithm of
Optimal Matrix Partitioning for Parallel Dense Factorization on
Heterogeneous Processors Alexey Lastovetsky and Ravi Reddy |
16.50-17.20 |
| Parallel Broadband
Finite Element-Time Domain Algorithm Implemented to Dispersive
Electromagnetic Problem Boguslaw Butrylo |
17.20-17.40 |
| Parallel Pseudorandom
Number Generator for Large-scale Monte Carlo Simulations Mikhail Marchenko |
17.40-18.00 |
| CLOSING OF THE CONFERENCE (block 2, A) | 18:00 |
Special session "Fine-grain parallelism in simulation natural and social phenomena
The Workshop aims to create a scientific community of researchers involved in use and studying simulation technologies based on Cellular Automata (CA) ideas and having no counterparts in traditional numerical mathematics.
The scope of the session covers the following topics:
- Theory of fine-grain computations (behavioral properties, termination conditions, synchronous versus asynchronous modes of operation, methods of analysis and synthesis)
- Parallel implementation of simulation algorithms on multiprocessor systems (methods of parallelization and experimental results)
- New classes (extension) of Cellular Automata models: asynchronous probabilistic CA (Monte-Carlo), Cellular evolutionary algorithms, agent systems and some yet unknown models and go on.
- Applications of Cellular Automata in physics and chemistry
- Gas-Lattice and Gas-Lattice- Boltzmann model applications experience
- Application of Cellular Automata for simulating social processes
- Application of Cellular Automata in Material Sciences
- Application of Cellular Automata in Biology.
The following topics are planned to be debated
:- What simulation methods should be comprised by the concept of Fine-grain parallelism (classic CAs, asynchronous probabilistic CAs (Monte-Carlo), automata on graphs and networks, discrete events systems (DEVS), P-systems, CAs with continuous alphabet (explicit methods of PDE solution), CAs with moving mesh (changing cell coordinates during the evolution)?
- Is it correct to associate all above models with Cellular Automata?
- What is the future of CA-simulation (what are the domains of methods expansion? What types of CA-models have the most intensive development? What types of CAs will be the most requested in science, in industry?)?
- Where is the border between the fine-grain and the coarse-grained parallelism.? Is the fine grain parallelism of the model a condition for high efficiency of coarse-grain parallelization ?
- What is the place of CA- models application in Parallel Computing (the part of CA-modeling will be growing intensively, classic CA will remain only as historical and methodological illustrations, but the more complex application oriented CAs will be developing progressively, CAs will not replace the PDE, but complement them)?
Program Committee
V. Malyshkin Chairman (Russian Academy of Sciences)
S. Abramov (Russian Academy of Sciences)
S. Bandini (University of Milano - Bicocca, Italy)
O. Bandman (Russian Academy of Sciences)
F. Cappello (INRIA, France)
T. Casavant (University of Iowa, USA)
A. Chambarel (University of Avignon, France)
P. Degano (State University of Pisa, Italy)
B. Goossens (University of Perpignan, France)
S. Gorlatch (University of Muenster, Germany)
Yu. Karpov (St.-Petersburg Polytechnical University, Russia)
V. Kasyanov, Russian Academy of Sciences
K.-C. Li (Providence University, Taiwan)
F. Loulergue (University of Orleans, France)
T. Ludwig (Ruprecht-Karls-Universitat Heidelberg, Germany)
G. Mauri (University of Milan, Italy)
D. Petcu (Western University of Timisoara, Romania)
M. Raynal (IRISA, Rennes, France)
B. Roux (L3M, France)
P. Sloot (University of Amsterdam. The Netherlands)
C. Trinitis (LRR, Muenchen, Germany)
M. Valero (Barcelona Supercomputer Center)
I. Virbitskaite, Russian Academy of Sciences
V. Vshivkov (Russian Academy of Sciences)
S. El Yacoubi (University of Perpignan, France)
Organizing Committee
V. Malyshkin, Co-chairman (Novosibirsk)
S. Abramov, Co-chairman (Pereslavl-Zalessky)
O. Bandman, Publication Chair (Novosibirsk)
S. Nechaev, Secretary (Novosibirsk)
S. Achasova (Novosibirsk)
V. Yumaguzhina, Vice-Chair (Pereslavl-Zalessky)
Yu. Fomina, Secretary (Pereslavl-Zalessky)
Contact
Julia Fomina is
the contact person of the Orginizers in Pereslavl-Zalessky
e-mail:
phone