SPEEDES
SPEEDES (Synchronous Parallel Environment for Emulation and Discrete Event Simulation) - developed in early ‘90 at NASA/JPL by Jeff Steinman, now continued by Metron, Inc.
State-of-the-art optimistic parallel / distributed event simulation (PDES) system
Breathing Time Warp algorithm for optimistic time management: optimistic/riskfull independent time evolution segments with periodic synchronization