DOE OSTI2012Combining Partial Redundancy and Checkpointing for HPC.Abstract Not ProvidedKharbas, Kishor↗