{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:15:43Z","timestamp":1763468143240},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/dsn.2013.6575309","type":"proceedings-article","created":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T16:18:36Z","timestamp":1376497116000},"page":"1-12","source":"Crossref","is-referenced-by-count":35,"title":["An algorithmic approach to error localization and partial recomputation for low-overhead fault tolerance"],"prefix":"10.1109","author":[{"given":"Joseph","family":"Sloan","sequence":"first","affiliation":[]},{"given":"Rakesh","family":"Kumar","sequence":"additional","affiliation":[]},{"given":"Greg","family":"Bronevetsky","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"The Design and Implementation of Berkeley Labs' Linux Checkpoint\/restart","year":"2002","author":"hargrove","key":"19"},{"journal-title":"Fault-tolerant Iterative Methods Via Selective Reliability","year":"2011","author":"heroux","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1984.1676475"},{"key":"15","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/978-1-5041-2940-4_9","article-title":"Matrix market: A web resource for test matrix collections","author":"boisvert","year":"1997","journal-title":"The Quality of Numerical Software Assessment and Enhancement"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TDMR.2005.855685"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/24.994926"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2004.1311929"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2011.36"},{"journal-title":"Swat An Error Resilient System","year":"2008","author":"li m -lap","key":"12"},{"journal-title":"Matrix Factorization Techniques for Recommender Systems","year":"2009","author":"koren","key":"21"},{"journal-title":"Study of Voltage and Process Variation's Impact on the Path Delays of Arithmetic Units","year":"2008","author":"kong","key":"20"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2006.50"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2010.18"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837367"},{"journal-title":"Theory of Inexact Krylov Subspace Methods and Applications to Scientific Computing","year":"2002","author":"simoncini","key":"25"},{"key":"26","doi-asserted-by":"crossref","DOI":"10.1109\/DSN.2010.5544923","article-title":"A numerical optimization-based methodology for application robustification: Transforming applications for error tolerance","author":"sloan","year":"2010","journal-title":"Dependable Systems and Networks (DSN)"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2012.6263938"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/12.392843"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2005.45"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/12.9736"},{"year":"0","key":"2"},{"journal-title":"A Sparse Matrix Library in C++ for High Performance Architectures","year":"1994","author":"andrew","key":"10"},{"year":"0","key":"1"},{"key":"30","first-page":"26","article-title":"A job pause service under lam\/mpi+blcr for transparent fault tolerances's in international parallel and distributed processing symposium","author":"wang","year":"2007","journal-title":"International Parallel and Distributed Processing Symposium"},{"year":"0","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1996130.1996142"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/966049.781513"},{"year":"0","key":"31"},{"key":"4","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1109\/DSN.2010.5544927","article-title":"AutomaDeD: Automata-based debugging for dissimilar parallel tasks","author":"bronevetsky","year":"2010","journal-title":"2010 IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN)"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1362622.1362700"},{"journal-title":"Exascale Computing Study Technology Challenges in Achieving Exascale Systems Peter Kogge Editor & Study Lead","year":"2008","author":"berman","key":"8"}],"event":{"name":"2013 43rd Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN)","start":{"date-parts":[[2013,6,24]]},"location":"Budapest, Hungary","end":{"date-parts":[[2013,6,27]]}},"container-title":["2013 43rd Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6569391\/6575287\/06575309.pdf?arnumber=6575309","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,21]],"date-time":"2019-07-21T00:15:17Z","timestamp":1563668117000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6575309\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/dsn.2013.6575309","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}