{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:23Z","timestamp":1772163983960,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T00:00:00Z","timestamp":1287878400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,10,24]]},"DOI":"10.1145\/1879063.1879079","type":"proceedings-article","created":{"date-parts":[[2010,11,9]],"date-time":"2010-11-09T10:01:31Z","timestamp":1289296891000},"page":"53-62","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Extending Ada to support multi-core based monitoring and fault tolerance"],"prefix":"10.1145","author":[{"given":"You","family":"Li","sequence":"first","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lu","family":"Yang","sequence":"additional","affiliation":[{"name":"Soochow University, Suzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei","family":"Bu","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Linzhang","family":"Wang","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianhua","family":"Zhao","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xuandong","family":"Li","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"SOFTWARE FAULT TOLERANCE. John Wiley & Sons Ltd","author":"Avizienis A.","year":"1994"},{"key":"e_1_3_2_1_2_1","first-page":"211","volume-title":"SOFTWARE FAULT TOLERANCE","author":"Bishop P. G.","year":"1994"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297069"},{"key":"e_1_3_2_1_4_1","unstructured":"M. B. Feldman. Where is Ada used in Industry? http:\/\/www.seas.gwu.edu\/ mfeldman\/ada-projectsummary.html June 2008.  M. B. Feldman. Where is Ada used in Industry? http:\/\/www.seas.gwu.edu\/ mfeldman\/ada-projectsummary.html June 2008."},{"key":"e_1_3_2_1_5_1","first-page":"47","volume-title":"SOFTWARE FAULT TOLERANCE","author":"Laprie J. C.","year":"1994"},{"key":"e_1_3_2_1_6_1","unstructured":"Microsoft. MSDN Library. http:\/\/msdn2.microsoft.com\/en-us\/library\/default.aspx.  Microsoft. MSDN Library. http:\/\/msdn2.microsoft.com\/en-us\/library\/default.aspx."},{"key":"e_1_3_2_1_7_1","first-page":"1","volume-title":"SOFTWARE FAULT TOLERANCE","author":"Randell B.","year":"1994"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1987.233463"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1316002.1316020"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCC.2009.44"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1370082.1370094"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1808954.1808963"}],"event":{"name":"SIGAda '10: ACM SIGAda Annual International Conference","location":"Fairfax Virginia USA","acronym":"SIGAda '10","sponsor":["SIGAda ACM Special Interest Group on Ada Programming Language","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages","Ada Europe Ada Europe","SIGBED ACM Special Interest Group on Embedded Systems","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the ACM SIGAda annual international conference on SIGAda"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1879063.1879079","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1879063.1879079","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:09:05Z","timestamp":1750234145000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1879063.1879079"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,24]]},"references-count":12,"alternative-id":["10.1145\/1879063.1879079","10.1145\/1879063"],"URL":"https:\/\/doi.org\/10.1145\/1879063.1879079","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1879097.1879079","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2010,10,24]]},"assertion":[{"value":"2010-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}