PADS 2009 Program


Monday, June 22, 2009

18:30-20:00 Welcome Cocktail and Registration


Tuesday, June 23, 2009

8:50-9:00 Opening
Carl Tropper, Paul Reynolds

9:00-10:30 Keynote
Session Chair: Paul Reynolds

Describing Simulations in the Orc Programming language

Jay Misra (University of Texas at Austin)

10:30-11:00 Coffee Break

11:00-12:30 Validation and Insight
Session Chair: TBA

An Approach for Validation of Semantic Composability in Simulation Models

Claudia Szabo, Yong Meng Teo

 

Symbiotic Simulation Model Validation for Radiation Detection Applications

Heiko Aydt, Stephen John Turner, Wentong Cai, Malcolm Yoke Hean Low, Rassul Ayani 

 

Causal Program Slicing

Ross Gore, Paul Reynolds

12:30-13:00 Pick Up Box Lunch

13:00-15:15 Ski Jump Event

 

15:30-16:00 Break

16:00-17:30 Optimistic Simulations
Session Chair: TBA

A Performance Evaluation of the Lightweight Time Warp Protocol in Optimistic Parallel Simulation of DEVS-based Environmental Models

Qi Liu, Gabriel Wainer

 

Scalable Time Warp on Blue Gene Supercomputers

David Bauer, Christopher Carothers, Akintayo Holder

 

Di-NONAME-LIB: Logging only Dirty Chunks for Efficient Management of Dynamic Memory Based Optimistic Simulation Objects

 Alessandro Pellegrini, Roberto Vitali, Francesco Quaglia

 


Wednesday, June 24, 2009

8:45-9:00 Organizational Update
Carl Tropper, Paul Reynolds

9:00-10:30 Keynote

Session Chair: Paul Reynolds

 

Blue Brain

Felix Schürman

 

10:30-11:00 Coffee Break

 

11:00-12:30 Applications

Session Chair: TBA

Real-Time Security Exercises on a Realistic Interdomain Routing Experiment Platform

Yue Li, Michael Liljenstam, Jason Liu

 

Modeling and Evaluation of Rescue Operations using Mobile Communication Devices

Keisuke Nakata, Kumiko Maeda, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino

 

Modeling the Internet Routing Topology with a Known Degree of Accuracy – in less   than 24h

Rolf Winter

 

12:30-14:00 Lunch

14:00-15:30 Special Hardware

Session Chair: TBA

Parallelizing SystemC Kernel for Fast Hardware Simulation on SMP machines

Ezudheen P, Priya Chandran, Biju Puthur Simon, Deepak Ravi, Joy Chandra

 

Hardware Supported Time Synchronization in Multi-Core Architectures

Elizabeth Lynch, George Riley

 

GPU-based Real-Time Execution of Vehicular Mobility Models in Large-Scale Road Network Scenarios 

Kalyan Perumalla, Brandon Aaby, Srikanth Yoginath, Sudip Seal

15:30-16:00 Coffee Break

16:00-17:00 Work in Progress
Session Chair: TBA

17:00-17:30 Business Meeting
Session Chair: Stephen John Turner

18:00 Dinner


Thursday, June 25, 2009

8:30-10:00 Methodology
Session Chair: TBA

An Efficient and Adaptive Mechanism for Parallel Simulation Replication

Roland Ewald, Stefan Leye, Adelinde Uhrmacher

 

Using REST Web-Services Architecture for Distributed Simulation

khaldoon Al-Zoubi, Gabriel Wainer 

 

On determining how many computers to use in parallel VLSI simulation

Qing Xu, Carl Tropper

 

10:00-10:30 Coffee Break

10:30-12:00 Simulation Process Efficiency

Session Chair: TBA

Communication-Efficient Support for Spatial Filtering of State Updates in Distributed Virtual Environments

Xueyan Tang, Wentong Cai

 

Efficient Zone Mapping Algorithms for Distributed Virtual Environments

Duong Ta, Suiping Zhou, Wentong Cai, Xueyan Tang, Rassul Ayani

 

Efficient Master/Worker Parallel Discrete Event Simulation

Alfred Park, Richard Fujimoto