An Optimized Checkpointing Based Learning Algorithm for Single Event Upsets. - S. Sharanyan; Arvind Kumar (COMPSAC, 2010)