Noncommittal barrier synchronization

Repeatability in real-time distributed simulation executions

PADS '00 Proceedings of the fourteenth workshop on Parallel and distributed simulation

Learning not to share

Proceedings of the fifteenth workshop on Parallel and distributed simulation

Virtual time synchronization over unreliable network transport

Proceedings of the fifteenth workshop on Parallel and distributed simulation

Distributed and structured analysis approaches to study large and complex systems

Lectures on formal methods and performance analysis

Distributed-Memory Model Checking with SPIN

Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking

High-Performance Simulation of Low-Resolution Network Flows

Simulation

Flow: A Stream Processing System Simulator

PADS '10 Proceedings of the 2010 IEEE Workshop on Principles of Advanced and Distributed Simulation

Towards flexible exascale stream processing system simulation

Simulation