{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T08:58:03Z","timestamp":1725785883695},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,10,19]],"date-time":"2020-10-19T00:00:00Z","timestamp":1603065600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,10,19]],"date-time":"2020-10-19T00:00:00Z","timestamp":1603065600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,10,19]],"date-time":"2020-10-19T00:00:00Z","timestamp":1603065600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,10,19]]},"DOI":"10.1109\/dft50435.2020.9250892","type":"proceedings-article","created":{"date-parts":[[2020,11,11]],"date-time":"2020-11-11T22:04:48Z","timestamp":1605132288000},"page":"1-6","source":"Crossref","is-referenced-by-count":2,"title":["Markov Chain-based Modeling and Analysis of Checkpointing with Rollback Recovery for Efficient DSE in Soft Real-time Systems"],"prefix":"10.1109","author":[{"given":"Siva Satyendra","family":"Sahoo","sequence":"first","affiliation":[]},{"given":"Bharadwaj","family":"Veeravalli","sequence":"additional","affiliation":[]},{"given":"Akash","family":"Kumar","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Fault-Tolerant Systems","year":"2010","author":"koren","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CASES.2013.6662505"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DFT.2014.6962066"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/24.257826"},{"key":"ref14","article-title":"An optimal checkpointing-strategy for real-time control systems under transient faults","author":"kwak","year":"2001","journal-title":"Reliability IEEE Transactions on"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253723"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2018.81"},{"journal-title":"Introduction to Finite Mathematics","year":"1974","author":"kemeny","key":"ref17"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2005.110"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2002.1028924"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2897937.2897996"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DFT.2016.7684071"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2013.93"},{"key":"ref7","article-title":"Coping with silent errors in HPC applications","author":"aupy","year":"2016","journal-title":"Emergent Computation"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MSPEC.2016.7420396"},{"journal-title":"Embedded System Design Embedded Systems Foundations of Cyber-physical Systems","year":"2010","author":"marwedel","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2800986.2801023"}],"event":{"name":"2020 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)","start":{"date-parts":[[2020,10,19]]},"location":"Frascati, Italy","end":{"date-parts":[[2020,10,21]]}},"container-title":["2020 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9250742\/9250725\/09250892.pdf?arnumber=9250892","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T15:46:50Z","timestamp":1656344810000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9250892\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,19]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/dft50435.2020.9250892","relation":{},"subject":[],"published":{"date-parts":[[2020,10,19]]}}}