Probabilistic checkpointing in time warp parallel simulation | IEEE Conference Publication | IEEE Xplore