High Performance Computing and Simulation Symposium
(HPC 2009)

March 23-25, 2009

part of the

SCS Spring Simulation Multiconference (SpringSim'09)

High Performance Computing & Simulation Symposium (HPCS09)

A joint symposium of DEVS Integrative M&S (DEVS) and High Performance Computing (HPC)

General Chairs: Cal Ribbens (Virginia Tech) and Bernard Zeigler (University of Arizona)

Program Chairs: Adrian Sandu (Virginia Tech) and Mamadou Traoré (Université Blaise Pascal)

Vice-Program Chair: Will Thacker, Winthrop University

Monday, March 23

1:30 - 3:00 Opening

Current state of DEVS research and applications (Bernard Zeigler)

Current state of HPC research and applications (Cal Ribbens)

3:30 - 5:00 Paper Session 1

DEVS: SOA

Interoperability between DEVS and non-DEVS models using DEVS/SOA (José L. Risco-Martín, Alejandro Moreno, Jesús M. Cruz Joaquín Aranda)

Interoperability between DEVS Simulators using Service Oriented Architecture and DEVS Namespace (Chungman Seo and Bernard P. Zeigler)

Automating the DEVS Modeling and Simulation Interface to Web Services (Chungman Seo and Bernard P. Zeigler)

Interoperation of DEVS Models and Differential Equation Models using HLA/RTI: Hybrid Simulation of Engineering and Engagement Level Models (Chang Ho Sung, Jeong Hee Hong and Tag Gon Kim)

Tuesday, March 24

8:30 - 10:00 Invited Presentations

Co-modeling method for the development of domain-specific models (Tag Gon Kim)

DEVSTONE: Grand Challenge to DEVS simulators (Gabriel Wainer)

10:30 - 12:00 Paper Session 2

DEVS: UML

A Framework for Executable UML Models (Joe Mooney and Hessam Sarjoughian)

DEVS-SUITE: A Simulator for Visual Experimentation and Behavior Monitoring (Hessam Sarjoughian, Sungung Kim and Vignesh Elamvazhuthi)

A DEVS-oriented Intuitive Modelling Language (Stéphane Garredu, Evelyne Vittori and Jean-François Santucci)

A Graphical Notation for DEVS (Mamadou Kaba Traoré)

12:00 - 1:30: Lunch/HPCS planning meeting

1:30 - 3:00 Invited Presentation

High Performance Computational Science - Teraflop to Petaflop (Amit Majumdar)

3:30 - 5:00 Paper Session 3

DEVS: XML

An XML based System of Systems Discrete Event Simulation Communications Framework (Matthew Hosking and Ferat Sahin)

XML-based DEVS Modeling and Interpretation (Nicolas Meseth, Patrick Kirchhof and Thomas Witte)

A Mark-up Language for the Storage, Retrieval, Sharing and Interoperability of DEVS Models (Luc Touraille, Mamadou Kaba Traoré and David Hill)

3:30 - 5:00 Paper Session 4

HPC: Scientific Applications

Towards the Construction of a Standard Adjoint GEOS-Chem Model (Kumaresh Singh, Paul Eller, Adrian Sandu, Daven Henze, Kevin Bowman, Monika Kopacz and Meemong Lee)

Parallel Solution of the Chemical Master Equation (Jingwei Zhang, Masha Sosonkina, Layne Watson and Yang Cao)

Stochastic Cell Cycle Modeling for Budding Yeast (Tae-Hyuk Ahn, Pengyuan Wang, Layne Watson, Yang Cao, Clifford Shaffer and William Baumann)

Wednesday, March 25

8:30 - 10:00 Invited Presentations

System of systems simulation framework for testing swarm robots in DEVS (Ferat Sahin)

A multi-facet description of the Fast Fourier Transform algorithms in System Entity Structure (Alex Chow)

10:30 - 12:00 Paper Session 5

DEVS: Mechatronic

Modeling neural decoder based on spiking neurons in DEVS (Yuri Boiko and Gabriel Wainer)

Hybrid Modeling of Opto-Electrical Interfaces Using DEVS and Modelica (Victorino Sanz, Shafagh Jafer, Gabriel Wainer, Gabriela Nicolescu, Alfonso Urquia and Sebastian Dormido)

A System-On-Chip FPGA Implementation of Embedded CD++ (Mohammad Moallemi and Gabriel Wainer)

Aircraft Evacuation DEVS Implementation & Visualization (Patrick Castonguay and Gabriel Wainer)

10:30 - 12:00 Paper Session 6

HPC: Software Infrastructure for HPC Applications

A HPC Sparse Solver Interface for Scalable Multilevel Methods (Fang Liu, Masha Sosonkina and Randall Bramley)

Development of High Performance Scientific Components for Interoperability of Computing Packages (Teena Gulabani, Masha Sosonkina, Theresa Windus, Heather Netzloff, Mark Gordon, Curtis Janssen and Joseph Kenny)

Energy Aware Scheduling on Desktop Grid Environment with Static Performance Prediction (Kamal Sharma and Sanjeev Aggarwal)

1:30 - 3:00 Paper Session 7

DEVS: V&V

Practical Application of "Lightweight" Z in DEVS Framework (Mohamed Wassim Trojet, Claudia Frydman and Amine Hamri)

Verification of the DEVS Model Implementation using Aspect Embedded DEVS (Chang Beom Choi, Jong Hyuk Byun and Tag Gon Kim)

Verification of Real-Time DEVS Models (Hesham Saadawi and Gabriel Wainer)

1:30 - 3:00 Paper Session 8

HPC: Parallel Performance Modeling and Prediction

Examining the potential parallel scalability of a fuzzy semi-supervised classification algorithm (Rhonda D. Phillips, Layne T. Watson and Randolph H. Wynne)

A Power Aware Study for VTDIRECT95 Using DVFS (Zhenwei Cao, Layne Watson, Kirk Cameron and Rong Ge)

Maximum Weighted Matching Using the Partitioned Global Address Space Model (Alicia Thorsen, Phillip Merkey and Fredrik Manne)

3:30 - 5:00 Paper Session 9

DEVS: Tools

CD++ Repository: An Internet Based Searchable Database of DEVS Models and Their Experimental Frames (Rachid Chreyh and Gabriel Wainer)

Dynamic variable structure modelling and simulation of the Claude Levi-Strauss's mythical thought morphodynamics (Jean-François Santucci and Emmanuelle DE Gentili)

Simulation of heterogeneous DEVS models: application to the study of natural systems (Emilie Broutin, Paul Bisgambiglia and Jean-Francois Santucci)

3:30 - 5:00 Paper Session 10

HPC: Data-Intensive Applications and Systems

Failure Resilient Real-Time Data Federation System (Aakanksha Gagrani, Brijesh Pillai and Srikumar Krishnamoorthy)

MGRID: A Modifiable-Grid Region Matching Approach for DDM in the HLA RTI (Shih-Hsiang Lo, Cheng-An Chiu, Ding-Yong Hong, Fang-Ping Pai and Yeh-Ching Chung)

Simulation of Main Memory Database Parallel Recovery (Xiongpai Qin, Wei Cao and Shan Wang)

[Last updated: ]