{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:26Z","timestamp":1772163986067,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,4,13]],"date-time":"2010-04-13T00:00:00Z","timestamp":1271116800000},"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,4,13]]},"DOI":"10.1145\/1755888.1755908","type":"proceedings-article","created":{"date-parts":[[2010,4,16]],"date-time":"2010-04-16T10:28:35Z","timestamp":1271413715000},"page":"133-142","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Sampling-based program execution monitoring"],"prefix":"10.1145","author":[{"given":"Sebastian","family":"Fischmeister","sequence":"first","affiliation":[{"name":"University of Waterloo, Waterloo, ON, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yanmeng","family":"Ba","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, ON, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,4,13]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1990","author":"Standard IEEE","year":"1990","unstructured":"IEEE Standard Glossary of Software Engineering Terminology . IEEE Std 610.12-- 1990 , Dec 1990 . IEEE Standard Glossary of Software Engineering Terminology. IEEE Std 610.12--1990, Dec 1990.","journal-title":"IEEE Std 610.12--"},{"key":"e_1_3_2_1_2_1","volume-title":"Oct","author":"J.","year":"2009","unstructured":"SAT4 J. web page , Oct 2009 a. www.sat4j.org. SAT4J. web page, Oct 2009a. www.sat4j.org."},{"key":"e_1_3_2_1_3_1","volume-title":"Oct.","author":"SHARCNET","year":"2009","unstructured":"SHARCNET : Shared Hierarchical Academic Research Computing Network. web page , Oct. 2009 b. www.sharcnet.ca. SHARCNET: Shared Hierarchical Academic Research Computing Network. web page, Oct. 2009b. www.sharcnet.ca."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378832"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/143165.143180"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/183432.183527"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.2517-6161.1995.tb02031.x"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064979.1065002"},{"key":"e_1_3_2_1_9_1","series-title":"LNCS","doi-asserted-by":"crossref","DOI":"10.1007\/b106761","volume-title":"Embedded Systems Design: The ARTIST Roadmap for Research and Development","author":"Bouyssounouse B.","year":"2005","unstructured":"B. Bouyssounouse and J. Sifakis , editors. Embedded Systems Design: The ARTIST Roadmap for Research and Development , volume 3436 of LNCS . Springer , first edition, May 2005 . B. Bouyssounouse and J.Sifakis, editors. Embedded Systems Design: The ARTIST Roadmap for Research and Development, volume 3436 of LNCS. Springer, first edition, May 2005."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.14778\/1453856.1453866"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICACT.2005.246099"},{"key":"e_1_3_2_1_12_1","volume-title":"Introduction to Algorithms","author":"Cormen T. H.","year":"2001","unstructured":"T. H. Cormen , C. E. Leiserson , R. L. Rivest , and C. Stein . Introduction to Algorithms . MIT Press , second edition, 2001 . T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein. Introduction to Algorithms. MIT Press, second edition, 2001."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/278241.278309"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.103"},{"key":"e_1_3_2_1_15_1","first-page":"10","volume-title":"Handbook on Real-Time Systems","author":"Fischmeister S.","year":"2007","unstructured":"S. Fischmeister and I. Lee . Handbook on Real-Time Systems , chapter Temporal Control in Real-Time Systems: Languages and Systems, pages 10 - 11 to 10-18. Information Science Series. CRC Press , 2007 . S. Fischmeister and I. Lee. Handbook on Real-Time Systems, chapter Temporal Control in Real-Time Systems: Languages and Systems, pages 10-1 to 10-18. Information Science Series. CRC Press, 2007."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.6194"},{"key":"e_1_3_2_1_17_1","volume-title":"The Economic Impacts of Inadequate Infrastructure for Software Testing","author":"Gallaher M.","year":"2002","unstructured":"M. Gallaher and B. Kropp . The Economic Impacts of Inadequate Infrastructure for Software Testing . National Institute of Standards & Technology Planning Report 02-03, May 2002 . M. Gallaher and B. Kropp. The Economic Impacts of Inadequate Infrastructure for Software Testing. National Institute of Standards & Technology Planning Report 02-03, May 2002."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/257734.257766"},{"key":"e_1_3_2_1_19_1","unstructured":"Learning From Software Failure. IEEE Spectrum September 2005.  Learning From Software Failure. IEEE Spectrum September 2005."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1555228.1555233"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/188280.188373"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1108792.1108801"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/513737"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1356058.1356070"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781148"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065014"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081729"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062496"},{"key":"e_1_3_2_1_30_1","volume-title":"ARM","author":"Orme W.","year":"2008","unstructured":"W. Orme . Debug and Trace for Multicore SoCs . ARM , September 2008 . http:\/\/www.arm.com\/pdfs\/CoresightWhitepaper.pdf. W. Orme. Debug and Trace for Multicore SoCs. ARM, September 2008. http:\/\/www.arm.com\/pdfs\/CoresightWhitepaper.pdf."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321682"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1085130.1085151"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/989393.989446"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/332833.332837"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1997.2697"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065910.1065919"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086297.1086305"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1143844.1143983"}],"event":{"name":"LCTES '10: ACM SIGPLAN\/SIGBED 2010 Conference on Languages, Compilers, and Tools for Embedded Systems","location":"Stockholm Sweden","acronym":"LCTES '10","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems","SIGAI ACM Special Interest Group on Artificial Intelligence","SIGDA ACM Special Interest Group on Design Automation","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"]},"container-title":["Proceedings of the ACM SIGPLAN\/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1755888.1755908","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1755888.1755908","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:45:34Z","timestamp":1750236334000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1755888.1755908"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4,13]]},"references-count":38,"alternative-id":["10.1145\/1755888.1755908","10.1145\/1755888"],"URL":"https:\/\/doi.org\/10.1145\/1755888.1755908","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1755951.1755908","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2010,4,13]]},"assertion":[{"value":"2010-04-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}