{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:15Z","timestamp":1772164035794,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,12]],"date-time":"2014-06-12T00:00:00Z","timestamp":1402531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100005049","name":"Science and Engineering Research Council, Agency for Science, Technology and Research","doi-asserted-by":"publisher","award":["102-101-0028"],"award-info":[{"award-number":["102-101-0028"]}],"id":[{"id":"10.13039\/501100005049","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001459","name":"Ministry of Education - Singapore","doi-asserted-by":"publisher","award":["MOE2010-T2-1-075"],"award-info":[{"award-number":["MOE2010-T2-1-075"]}],"id":[{"id":"10.13039\/501100001459","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,6,12]]},"DOI":"10.1145\/2597809.2597812","type":"proceedings-article","created":{"date-parts":[[2014,6,10]],"date-time":"2014-06-10T08:50:25Z","timestamp":1402390225000},"page":"95-104","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":36,"title":["ASAC"],"prefix":"10.1145","author":[{"given":"Pooja","family":"Roy","sequence":"first","affiliation":[{"name":"National University of Singapore, Singapore, Singapore"}]},{"given":"Rajarshi","family":"Ray","sequence":"additional","affiliation":[{"name":"National Institute of Technology, Meghalaya, Shillong, India"}]},{"given":"Chundong","family":"Wang","sequence":"additional","affiliation":[{"name":"Data Storage Institute, Singapore, Singapore"}]},{"given":"Weng Fai","family":"Wong","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore, Singapore"}]}],"member":"320","published-online":{"date-parts":[[2014,6,12]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"85","volume-title":"Proceedings of the 9th Annual IEEE\/ACM International Symposium on Code Generation and Optimization, CGO'11","author":"Ansel J.","year":"2011"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806620"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254118"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831713"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024863"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837411"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837411"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488873"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2151008"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/2016802.2016898"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1128020.1128563"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950390"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1550987.1550990"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1874620.1874949"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176760.1176810"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950391"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.2307\/1271432"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465790"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1552526.1552530"},{"key":"e_1_3_2_1_20_1","unstructured":"S.\n       \n      Palaniappan B.\n       \n      Gyori B.\n       \n      Liu D.\n       \n      Hsu and \n      \n      \n      P.\n       \n      Thiagarajan\n      \n  \n  . \n  Statistical model checking based calibration and analysis of bio-pathway models. In A. Gupta and T. Henzinger editors Computational Methods in Systems Biology volume \n  8130\n   of \n  Lecture Notes in Computer Science pages \n  120\n  --\n  134\n  . \n  Springer Berlin Heidelberg 2013\n  . ISBN 978--3--642--40707--9. URL http:\/\/dx.doi.org\/10.1007\/978--3--642--40708--6--10.  S. Palaniappan B. Gyori B. Liu D. Hsu and P. Thiagarajan. Statistical model checking based calibration and analysis of bio-pathway models. In A. Gupta and T. Henzinger editors Computational Methods in Systems Biology volume 8130 of Lecture Notes in Computer Science pages 120--134. Springer Berlin Heidelberg 2013. ISBN 978--3--642--40707--9. URL http:\/\/dx.doi.org\/10.1007\/978--3--642--40708--6--10."},{"key":"e_1_3_2_1_21_1","unstructured":"R. Pozo and B. Miller. Scimark 2.0. www.math.nist.gov\/scimark2\/.  R. Pozo and B. Miller. Scimark 2.0. www.math.nist.gov\/scimark2\/."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2013.6494996"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993518"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2540708.2540712"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488755"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755888.1755910"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025133"},{"key":"e_1_3_2_1_28_1","unstructured":"SPEC-CPU2006. Spec benchamrks. www.spec.org\/cpu2006\/.  SPEC-CPU2006. Spec benchamrks. www.spec.org\/cpu2006\/."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2540708.2540710"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103710"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103710"}],"event":{"name":"LCTES '14: SIGPLAN\/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2014","location":"Edinburgh United Kingdom","acronym":"LCTES '14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 2014 SIGPLAN\/SIGBED conference on Languages, compilers and tools for embedded systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2597809.2597812","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2597809.2597812","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:00:50Z","timestamp":1750215650000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2597809.2597812"}},"subtitle":["automatic sensitivity analysis for approximate computing"],"short-title":[],"issued":{"date-parts":[[2014,6,12]]},"references-count":31,"alternative-id":["10.1145\/2597809.2597812","10.1145\/2597809"],"URL":"https:\/\/doi.org\/10.1145\/2597809.2597812","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2666357.2597812","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,6,12]]},"assertion":[{"value":"2014-06-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}