Application-transparent checkpointing in Mach 3.O/UX | IEEE Conference Publication | IEEE Xplore