23. PADS 2009: Lake Placid, New York, USA

• Claudia Szabo, Yong Meng Teo:
  An Approach for Validation of Semantic Composability in Simulation Models. 3-10
  
• Heiko Aydt, Stephen John Turner, Wentong Cai, Malcolm Yoke-Hean Low, Rassul Ayani:
  Symbiotic Simulation Model Validation for Radiation Detection Applications. 11-18
  
• Ross Gore, Paul F. Reynolds Jr.:
  Causal Program Slicing. 19-26
  
• Qi Liu, Gabriel A. Wainer:
  A Performance Evaluation of the Lightweight Time Warp Protocol in Optimistic Parallel Simulation of DEVS-Based Environmental Models. 27-34
  
• David W. Bauer, Christopher D. Carothers, Akintayo Holder:
  Scalable Time Warp on Blue Gene Supercomputers. 35-44
  
• Alessandro Pellegrini, Roberto Vitali, Francesco Quaglia:
  Di-DyMeLoR: Logging only Dirty Chunks for Efficient Management of Dynamic Memory Based Optimistic Simulation Objects. 45-53
  
• Yue Li, Michael Liljenstam, Jason Liu:
  Real-Time Security Exercises on a Realistic Interdomain Routing Experiment Platform. 54-63
  
• Keisuke Nakata, Kumiko Maeda, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:
  Modeling and Evaluation of Rescue Operations Using Mobile Communication Devices. 64-71
  
• Rolf Winter:
  Modeling the Internet Routing Topology - In Less than 24h. 72-79
  
• P. Ezudheen, Priya Chandran, Joy Chandra, Biju Puthur Simon, Deepak Ravi:
  Parallelizing SystemC Kernel for Fast Hardware Simulation on SMP Machines. 80-87
  
• Elizabeth Whitaker Lynch, George F. Riley:
  Hardware Supported Time Synchronization in Multi-core Architectures. 88-94
  
• Kalyan S. Perumalla, Brandon G. Aaby, Srikanth B. Yoginath, Sudip K. Seal:
  GPU-based Real-Time Execution of Vehicular Mobility Models in Large-Scale Road Network Scenarios. 95-103
  
• Roland Ewald, Stefan Leye, Adelinde M. Uhrmacher:
  An Efficient and Adaptive Mechanism for Parallel Simulation Replication. 104-113
  
• Khaldoon Al-Zoubi, Gabriel A. Wainer:
  Using REST Web-Services Architecture for Distributed Simulation. 114-121
  
• Qing Xu, Carl Tropper:
  On Determining How Many Computers to Use in Parallel VLSI Simulation. 122-128
  
• Xueyan Tang, Wentong Cai:
  Communication-Efficient Support for Spatial Filtering of State Updates in Distributed Virtual Environments. 129-136
  
• Ta Nguyen Binh Duong, Suiping Zhou, Wentong Cai, Xueyan Tang, Rassul Ayani:
  Efficient Zone Mapping Algorithms for Distributed Virtual Environments. 137-144
  
• Alfred Park, Richard M. Fujimoto:
  Efficient Master/Worker Parallel Discrete Event Simulation. 145-152