Middleware to Manage Fault Tolerance Using Semi-Coordinated Checkpoints | IEEE Journals & Magazine | IEEE Xplore