Non-Blocking Synchronous Checkpointing Based on Rollback-Dependency Trackability | IEEE Conference Publication | IEEE Xplore