{"id":"https://openalex.org/W3113588049","doi":"https://doi.org/10.1109/tcad.2020.3046571","title":"iCheck: Progressive Checkpointing for Intermittent Systems","display_name":"iCheck: Progressive Checkpointing for Intermittent Systems","publication_year":2020,"publication_date":"2020-12-22","ids":{"openalex":"https://openalex.org/W3113588049","doi":"https://doi.org/10.1109/tcad.2020.3046571","mag":"3113588049"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2020.3046571","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2020.3046571","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033796500","display_name":"Wen Sheng Lim","orcid":"https://orcid.org/0000-0002-2391-8127"},"institutions":[{"id":"https://openalex.org/I91807558","display_name":"National Cheng Kung University","ror":"https://ror.org/01b8kcc49","country_code":"TW","type":"education","lineage":["https://openalex.org/I91807558"]}],"countries":["TW"],"is_corresponding":true,"raw_author_name":"Wen Sheng Lim","raw_affiliation_strings":["Department of Computer Science and Information Engineering, National Cheng Kung University, Tainan, Taiwan"],"raw_orcid":"https://orcid.org/0000-0002-2391-8127","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Information Engineering, National Cheng Kung University, Tainan, Taiwan","institution_ids":["https://openalex.org/I91807558"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012739047","display_name":"Chia-Heng Tu","orcid":"https://orcid.org/0000-0001-8967-1385"},"institutions":[{"id":"https://openalex.org/I91807558","display_name":"National Cheng Kung University","ror":"https://ror.org/01b8kcc49","country_code":"TW","type":"education","lineage":["https://openalex.org/I91807558"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Chia-Heng Tu","raw_affiliation_strings":["Department of Computer Science and Information Engineering, National Cheng Kung University, Tainan, Taiwan"],"raw_orcid":"https://orcid.org/0000-0001-8967-1385","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Information Engineering, National Cheng Kung University, Tainan, Taiwan","institution_ids":["https://openalex.org/I91807558"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064046587","display_name":"Chun-Feng Wu","orcid":"https://orcid.org/0000-0002-6367-0517"},"institutions":[{"id":"https://openalex.org/I4210098366","display_name":"Institute of Information Science, Academia Sinica","ror":"https://ror.org/00z83z196","country_code":"TW","type":"facility","lineage":["https://openalex.org/I4210098366","https://openalex.org/I84653119"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Chun-Feng Wu","raw_affiliation_strings":["Academia Sinica, Institute of Information Science, Taipei, Taiwan"],"raw_orcid":"https://orcid.org/0000-0002-6367-0517","affiliations":[{"raw_affiliation_string":"Academia Sinica, Institute of Information Science, Taipei, Taiwan","institution_ids":["https://openalex.org/I4210098366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073534245","display_name":"Yuan-Hao Chang","orcid":"https://orcid.org/0000-0002-1282-2111"},"institutions":[{"id":"https://openalex.org/I4210098366","display_name":"Institute of Information Science, Academia Sinica","ror":"https://ror.org/00z83z196","country_code":"TW","type":"facility","lineage":["https://openalex.org/I4210098366","https://openalex.org/I84653119"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Yuan-Hao Chang","raw_affiliation_strings":["Academia Sinica, Institute of Information Science, Taipei, Taiwan"],"raw_orcid":"https://orcid.org/0000-0002-1282-2111","affiliations":[{"raw_affiliation_string":"Academia Sinica, Institute of Information Science, Taipei, Taiwan","institution_ids":["https://openalex.org/I4210098366"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5033796500"],"corresponding_institution_ids":["https://openalex.org/I91807558"],"apc_list":null,"apc_paid":null,"fwci":0.7282,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.71576923,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"40","issue":"11","first_page":"2224","last_page":"2236"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11392","display_name":"Energy Harvesting in Wireless Networks","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11392","display_name":"Energy Harvesting in Wireless Networks","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9939000010490417,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9911999702453613,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/capacitor","display_name":"Capacitor","score":0.7865384817123413},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6463375091552734},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5690822005271912},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5601680874824524},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.5448522567749023},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.5092445611953735},{"id":"https://openalex.org/keywords/energy-harvesting","display_name":"Energy harvesting","score":0.4767511785030365},{"id":"https://openalex.org/keywords/miniaturization","display_name":"Miniaturization","score":0.47620829939842224},{"id":"https://openalex.org/keywords/energy","display_name":"Energy (signal processing)","score":0.44695788621902466},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.43896064162254333},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.41481924057006836},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4142308831214905},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.40417277812957764},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.17500349879264832},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12681987881660461},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12578287720680237},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09545356035232544}],"concepts":[{"id":"https://openalex.org/C52192207","wikidata":"https://www.wikidata.org/wiki/Q5322","display_name":"Capacitor","level":3,"score":0.7865384817123413},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6463375091552734},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5690822005271912},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5601680874824524},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.5448522567749023},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.5092445611953735},{"id":"https://openalex.org/C101518730","wikidata":"https://www.wikidata.org/wiki/Q930236","display_name":"Energy harvesting","level":3,"score":0.4767511785030365},{"id":"https://openalex.org/C57528182","wikidata":"https://www.wikidata.org/wiki/Q1271842","display_name":"Miniaturization","level":2,"score":0.47620829939842224},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.44695788621902466},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.43896064162254333},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.41481924057006836},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4142308831214905},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.40417277812957764},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.17500349879264832},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12681987881660461},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12578287720680237},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09545356035232544},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2020.3046571","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2020.3046571","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy","score":0.6800000071525574}],"awards":[{"id":"https://openalex.org/G494043499","display_name":null,"funder_award_id":"107-2923-E-001-001-MY3","funder_id":"https://openalex.org/F4320309618","funder_display_name":"Ministry of Science and Technology"},{"id":"https://openalex.org/G5467066492","display_name":null,"funder_award_id":"108-2221-E-001-001-MY3","funder_id":"https://openalex.org/F4320309618","funder_display_name":"Ministry of Science and Technology"},{"id":"https://openalex.org/G8304419897","display_name":null,"funder_award_id":"AS-CDA-107-M05","funder_id":"https://openalex.org/F4320321041","funder_display_name":"Academia Sinica"},{"id":"https://openalex.org/G8999667883","display_name":null,"funder_award_id":"108-2221-E-001-004-MY3","funder_id":"https://openalex.org/F4320309618","funder_display_name":"Ministry of Science and Technology"}],"funders":[{"id":"https://openalex.org/F4320309618","display_name":"Ministry of Science and Technology","ror":"https://ror.org/02b207r52"},{"id":"https://openalex.org/F4320321041","display_name":"Academia Sinica","ror":"https://ror.org/05bxb3784"},{"id":"https://openalex.org/F4320336031","display_name":"Intelligent Manufacturing Research Center","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W1624078759","https://openalex.org/W2000042664","https://openalex.org/W2002076319","https://openalex.org/W2009053018","https://openalex.org/W2019240782","https://openalex.org/W2021824097","https://openalex.org/W2024338138","https://openalex.org/W2034151099","https://openalex.org/W2048865440","https://openalex.org/W2092885536","https://openalex.org/W2099794868","https://openalex.org/W2104250954","https://openalex.org/W2115721786","https://openalex.org/W2121497251","https://openalex.org/W2128617709","https://openalex.org/W2133724338","https://openalex.org/W2137580560","https://openalex.org/W2156695866","https://openalex.org/W2164298032","https://openalex.org/W2167034863","https://openalex.org/W2265381295","https://openalex.org/W2323498967","https://openalex.org/W2441154483","https://openalex.org/W2462134012","https://openalex.org/W2483896020","https://openalex.org/W2583922584","https://openalex.org/W2606637175","https://openalex.org/W2620872300","https://openalex.org/W2726269556","https://openalex.org/W2801085366","https://openalex.org/W2883786987","https://openalex.org/W2897904688","https://openalex.org/W2945772758","https://openalex.org/W2946086109","https://openalex.org/W2954387821","https://openalex.org/W2994748234","https://openalex.org/W3004993287","https://openalex.org/W3083307721","https://openalex.org/W3091233059","https://openalex.org/W3103362336","https://openalex.org/W3141007262","https://openalex.org/W6680582634","https://openalex.org/W6682293484","https://openalex.org/W6721815682","https://openalex.org/W6738724981"],"related_works":["https://openalex.org/W2348807422","https://openalex.org/W2361025757","https://openalex.org/W2050837474","https://openalex.org/W4241592276","https://openalex.org/W2926730772","https://openalex.org/W2049043962","https://openalex.org/W1985414612","https://openalex.org/W1655828763","https://openalex.org/W2568758138","https://openalex.org/W2105952573"],"abstract_inverted_index":{"Energy":[0],"harvesting":[1],"devices":[2,44,164],"powered":[3],"by":[4,111,208],"ambient":[5],"energies,":[6],"instead":[7],"of":[8,14,20,61,99,120,184,188,220],"batteries,":[9],"have":[10,91],"been":[11],"drawn":[12],"lots":[13],"attention":[15],"due":[16],"to":[17,144,174,193,199],"their":[18],"advantages":[19],"energy":[21,76,191],"saving,":[22],"easy":[23],"deployment":[24],"without":[25],"relying":[26],"on":[27,58,102],"stable":[28],"power":[29,85,210],"sources,":[30],"and":[31,40,55,72,105,198],"smaller":[32],"sizes,":[33],"facilitating":[34],"promising":[35],"applications,":[36],"such":[37,66],"as":[38,74],"environmental":[39],"health":[41],"monitoring.":[42],"These":[43],"perform":[45,175],"the":[46,50,59,62,68,75,80,89,97,103,112,118,146,150,154,162,176,185,189,195],"computations":[47],"intermittently,":[48],"where":[49],"code":[51],"executions":[52],"are":[53,70,109,156,165],"halted":[54],"resumed":[56],"depending":[57],"availability":[60],"harvested":[63,190],"energy.":[64],"On":[65],"devices,":[67,104],"capacitors":[69,90,155],"present":[71],"served":[73],"buffers":[77],"for":[78,124,149],"preserving":[79,179],"program":[81],"states":[82],"when":[83,153,161],"sudden":[84,209],"outages":[86],"occur.":[87],"Nevertheless,":[88],"relatively":[92],"shorter":[93],"lifetimes,":[94],"compared":[95],"with":[96,181,217,222],"rest":[98],"hardware":[100],"components":[101],"larger":[106],"capacitors,":[107],"which":[108],"desired":[110],"systems":[113],"requiring":[114],"complex":[115],"computations,":[116],"hamper":[117],"achievement":[119],"device":[121],"miniaturization,":[122],"e.g.,":[123],"medical":[125],"implants":[126],"or":[127],"smart":[128],"dust.":[129],"In":[130],"this":[131],"article,":[132],"we":[133],"propose":[134],"a":[135,218],"new":[136],"intermittent":[137],"checkpointing":[138],"strategy,":[139],"<italic":[140,169],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[141,170],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">iCheck</i>":[142,171],",":[143],"tackle":[145],"issues":[147],"raised":[148],"program-state":[151,178],"retaining":[152],"not":[157],"functioning":[158],"correctly":[159],"(or":[160],"capacitor-less":[163],"adopted).":[166],"The":[167,212],"proposed":[168,213],"is":[172,215],"designed":[173],"checkpointing-based":[177],"progressively":[180],"being":[182],"aware":[183],"power-failure":[186],"characteristics":[187],"source":[192],"maximize":[194],"progress":[196],"forwarding":[197],"ensure":[200],"data":[201],"consistency":[202],"while":[203],"encountering":[204],"incomplete":[205],"checkpoints":[206],"caused":[207],"losses.":[211],"design":[214],"evaluated":[216],"series":[219],"experiments":[221],"encouraging":[223],"results.":[224]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}