Incremental checkpointing of program state to NVRAM for transiently-powered systems | IEEE Conference Publication | IEEE Xplore