Tutorials | 9: |
An Introduction to Genomics and Biomedical Applications for Parallel Computing | 9: |
This will be a half-day tutorial on Parallel Computing-related issues in Bioinformatics and Computational Biology (BCB). The target audience will be scientifically-literate computational researchers who are not currently engaged in BCB. About half of the tutorial will be an overview of a representative collection of basic life science and medical research problems contemporary to this rapidly expanding 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 tutorial 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 Parallel Computing to BCB.
| |
Coffee break | 10: |
Lunch | 12: |
Fine-grained parallelism in spatial dynamics simulation | 14: |
The concept of fine-grained parallelism is considered in the context of its application in simulation of spatially distributed processes. It comprises models, algorithms and computing technologies exhibiting two following properties: 1) spatial parallelism (at any discrete time the next values of the spatial function in all points of the space are allowed to be computed in parallel), and 2) locality (the computation for any point uses as variables the values of the function in its fixed vicinity). The scope of fine-grain spatial dynamics models is classified and illustrated by examples, the domain of application of each class being specified. Theoretical background of fine-grained parallel computations is given in brief. Computational properties (accuracy, stability, coarse-grained parallelization efficiency) are discussed, and methods of fine-grained algorithms synthesis are presented and shown at work by examples.
| |
Coffee break | 15: |
Welcome party | 19:00 |
Opening session | 10: |
Director of the Institute of Computational Modeling RAS | 10: |
Program Committee Chairman | 10: |
Invited talk | 10: |
Blue Gene/L and Petascale Computing | 10: |
Coffee break | 11: |
Fine-grain computations Chairman Stefania Bandini | 11: |
Composing Fine-Grained Parallel Algorithms for Spatial Dynamics Simulation | 11: |
Optimal Behavior of a Moving Creature in the Cellular Automata Model | 12: |
Associative Parallel Algorithm for Dynamic Reconstruction of a Minimum Spanning Tree after Deletion of a Vertex | 12: |
Development of Predictive TFRC with Neural Network | 12: |
Lunch | 13: |
Applications Chairman Bernard Roux | 14: |
XenoCluster: A Grid Computing Approach to Finding Ancient Evolutionary Genetic Anomalies | 14: |
RAxML-OMP: An Efficient Program for Phylogenetic Inference on SMPs | 15: |
A Parallel Version for the Propagation Algorithm | 15: |
Coffee break | 16: |
Programming environment Chairman M. Raynal | 16: |
OpenTS: An Outline of Dynamic Parallelization approach | 16: |
ParC#: Parallel Computing with C# in. Net | 17: |
A Model for Designing and Implementing Parallel Applications using Extensible Architectural Skeletons | 17: |
Theory of programming Chairman Valeri A. Sokolov | 9: |
Early-Stopping k-set Agreement in Synchronous Systems Prone to any Number of Process Crashes | 9: |
Allowing Atomic Objects to Coexist with Sequentially Consistent Objects | 10: |
Information Flow Analysis for VHDL | 10: |
Coffee break | 10: |
Grid computing Chairman Thomas Ludwig | 11: |
Performance Analysis of Applying Replica Selection Technology for Data Grid Environments | 11: |
IBM Technologies for High Performance Computing (invited paper) | 12: |
Experimenting with a Multi-Agent E-Commerce Environment | 12: |
Lunch | 13: |
Models Chairman Irina Virbitskaite | 14: |
Situated Agents Interaction: Coordinated Change of State for Adjacent Agents | 14: |
Similarity of Generalized Resources in Petri Nets | 15: |
Timed Equivalences for Timed Event Structures | 15: |
Coffee break | 16: |
Protocols Chairman Sergey Abramov | 16: |
On Evaluating the Performance of Security Protocols | 16: |
An approach to the Implementation of Dynamical Priorities Method | 17: |
Short papers & demonstrations | 17: |
Real-Time Event Structures and Scott Domains | #1 |
Parallelization Techniques for Multidimensional Hypercomplex Discrete Fourier Transform | #2 |
The Parallel Implementation of the Algorithm Solution of Model for Two-phase Cluster in Liquids | #4 |
Neural Network Approach for Parallel Construction of Adaptive Meshes | #5 |
Clustering Multiple and Cooperative Instances of Computational Intensive Software Tools | #6 |
NumGrid Middleware: MPI Support for Computational Grids | #7 |
Social program | 10: |
Conference dinner | 19:00 |
Optimization Chairman Joao Luis Sobral | 9: |
Planning of Parallel Abstract Programs as Boolean Satisfiability | 9: |
Efficient Communication Scheduling Methods for Irregular Data Redistribution in Parallelizing Compilers | 9: |
Minimizing Hotspot Delay by Fully Utilizing the Link Bandwidth on 2D Mesh with Virtual Cut-Through Switching | 10: |
A Shape Optimizing Load Distribution Heuristic for Parallel Adaptive FEM Computations | 10: |
Coffee break | 11: |
Fine-grain applications Chairman Irina Lomazova | 11: |
Systolic Routing in an Optical Butterfly | 11: |
Feasibility of the Circularly Connected Analog CNN Cell Array-based Viterbi Decoder | 11: |
The Use of Vertical Processing Principle in Parallel Image Processing on Conventional MIMD Computers | 12: |
Parallel Implementation of Back-propagation Neural Network Software on SMP Computers | 12: |
Lunch | 13: |
Tools Chairman Giancarlo Alfonsi | 14: |
A Practical Tool for Detecting Races in OpenMP Programs | 14: |
Comprehensive Cache Inspection with Hardware Monitors | 15: |
A Fast Technique for Constructing Evolutionary Tree with the Application of Compact Sets | 15: |
Online Virtual Disk Migration with Performance Guarantees in a Shared Storage Environment | 15: |
Coffee break | 16: |
Numerical algorithms Chairman V. Shaidurov | 16: |
A Multigrid Parallel Program for Protoplanetary Disc Simulation | 16: |
An Implementation of the Matrix Multiplication Algorithm SUMMA in mpF | 17: |
A Parallel Computational Code for the Eduction of Coherent Structures of Turbulence in Fluid Dynamics | 17: |
Closing of the conference | 17:40 |