Francesco Quaglia Andrea Santoro Semi-asynchronous checkpointing for optimistic simulation on a Myrinet based NOW. 56-63 2001 Workshop on Parallel and Distributed Simulation http://doi.acm.org/10.1145/375658.375675 db/conf/pads/pads2001.html#QuagliaS01