Power-aware optimal checkpoint intervals for mobile consumer devices | IEEE Journals & Magazine | IEEE Xplore