{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T10:06:58Z","timestamp":1764842818661,"version":"3.37.3"},"reference-count":33,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,28]],"date-time":"2023-10-28T00:00:00Z","timestamp":1698451200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,28]],"date-time":"2023-10-28T00:00:00Z","timestamp":1698451200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2245531"],"award-info":[{"award-number":["2245531"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,10,28]]},"DOI":"10.1109\/iccad57390.2023.10323895","type":"proceedings-article","created":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T18:58:45Z","timestamp":1701370725000},"page":"1-9","source":"Crossref","is-referenced-by-count":2,"title":["$\\mathcal{D}\\mathsf{iCA}$: A Hardware-Software Co-Design for Differential Check-Pointing in Intermittently Powered Devices"],"prefix":"10.1109","author":[{"given":"Antonio Joia","family":"Neto","sequence":"first","affiliation":[{"name":"Rochester Institute of Technology"}]},{"given":"Adam","family":"Caulfield","sequence":"additional","affiliation":[{"name":"Rochester Institute of Technology"}]},{"given":"Chistabelle","family":"Alvares","sequence":"additional","affiliation":[{"name":"Rochester Institute of Technology"}]},{"given":"Ivan","family":"De Oliveira Nunes","sequence":"additional","affiliation":[{"name":"Rochester Institute of Technology"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1006209.1006248"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3316482.3326357"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3316482.3326357"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ReCoSoC.2014.6861359"},{"journal-title":"8-bit atmel microcontroller with 16\/32\/64\/128k bytes in-system programmable flash","year":"2015","key":"ref5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2547919"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2014.2371494"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1088\/0957-0233\/17\/12\/R01"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1117\/12.2179783"},{"key":"ref10","first-page":"137","article-title":"Efficient state retention for transiently-powered embedded sensing","volume-title":"Proceedings of the 2016 International Conference on Embedded Wireless Systems and Networks","author":"Bhatti"},{"key":"ref11","first-page":"209","article-title":"Harvos: Efficient code instrumentation for transiently-powered embedded sensing","volume-title":"Proceedings of the 16th ACM\/IEEE International Conference on Information Processing in Sensor Networks","author":"Bhatti"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2983995"},{"volume-title":"Basys 3 artix-7 FPGA trainer board: Recommended for introductory users","year":"2018","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2016.2519890"},{"journal-title":"openMSP430","year":"2009","author":"Girard","key":"ref15"},{"volume-title":"Msp430 ultra-low-power sensing & measurement mcus","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2016.52"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-7566-9"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1201\/9781439815090"},{"key":"ref20","first-page":"161","article-title":"{ListDB}: Union of {Write-Ahead} logs and persistent {SkipLists} for incremental checkpointing on persistent memory","volume-title":"16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)","author":"Kim"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1987.232562"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737978"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2005.16"},{"volume-title":"Dica open source prototype","author":"Neto","key":"ref24"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2007477.1952694"},{"key":"ref26","article-title":"Libckpt: Transparent checkpointing under unix","author":"Plank","year":"1994","journal-title":"Computer Science Department"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/356725.356729"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2618128.2618136"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950386"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.5772\/945"},{"key":"ref31","first-page":"17","article-title":"Intermittent computation without hardware support or programmer intervention","author":"Van Der Woude","year":"2016","journal-title":"OSDI"},{"journal-title":"Vivado design suite user guide","year":"2017","key":"ref32"},{"volume-title":"Artix-7 FPGA family","year":"2018","key":"ref33"}],"event":{"name":"2023 IEEE\/ACM International Conference on Computer Aided Design (ICCAD)","start":{"date-parts":[[2023,10,28]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2023,11,2]]}},"container-title":["2023 IEEE\/ACM International Conference on Computer Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10323590\/10323543\/10323895.pdf?arnumber=10323895","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T22:14:55Z","timestamp":1709417695000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10323895\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,28]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/iccad57390.2023.10323895","relation":{},"subject":[],"published":{"date-parts":[[2023,10,28]]}}}