Incremental checkpointing of program state to NVRAM for transiently-powered systems. - Faycal Ait Aouda; Kevin Marquet; Guillaume Salagnac (ReCoSoC, 2014)