A programming model for resilience in extreme scale computing | IEEE Conference Publication | IEEE Xplore