{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T15:21:11Z","timestamp":1730215271696,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1109\/dsn.2009.5270291","type":"proceedings-article","created":{"date-parts":[[2009,9,30]],"date-time":"2009-09-30T14:41:36Z","timestamp":1254321696000},"page":"584-589","source":"Crossref","is-referenced-by-count":10,"title":["An end-to-end approach for the automatic derivation of application-aware error detectors"],"prefix":"10.1109","author":[{"given":"Galen","family":"Lyle","sequence":"first","affiliation":[]},{"given":"Shelley","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Karthik","family":"Pattabiraman","sequence":"additional","affiliation":[]},{"given":"Zbigniew","family":"Kalbarczyk","sequence":"additional","affiliation":[]},{"given":"Ravishankar","family":"Iyer","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/309847.310030"},{"key":"15","article-title":"the ibm eserver z990 microprocessor","volume":"48","author":"siegel","year":"2004","journal-title":"IBM J Res Dev"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2007.21"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2005.34"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/24.994913"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2005.19"},{"key":"3","article-title":"translating ansi c to asynchronous circuits","author":"budiu","year":"2004","journal-title":"Proc 10th Int Symp Asynchronous Circuits Syst (ASYNC'04)"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICDSN.2000.857517"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/IEDM.2002.1175845"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2004.1311929"},{"journal-title":"Stanford integer and floating point benchmarks","year":"1988","author":"hennesey","key":"7"},{"key":"6","article-title":"why do computers stop and what can be done about it?","author":"gray","year":"1986","journal-title":"Proc of Symp on Reliability in Distributed Software and Database Systems"},{"journal-title":"Leon 3 synthesizable processor","year":"0","author":"gaisler","key":"5"},{"year":"0","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/32.387474"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2005.119"}],"event":{"name":"Networks (DSN)","start":{"date-parts":[[2009,6,29]]},"location":"Lisbon, Portugal","end":{"date-parts":[[2009,7,2]]}},"container-title":["2009 IEEE\/IFIP International Conference on Dependable Systems &amp; Networks"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5243642\/5270274\/05270291.pdf?arnumber=5270291","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,19]],"date-time":"2017-03-19T01:51:21Z","timestamp":1489888281000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5270291\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/dsn.2009.5270291","relation":{},"subject":[],"published":{"date-parts":[[2009,6]]}}}