{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:12:38Z","timestamp":1750306358893,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,6,5]],"date-time":"2016-06-05T00:00:00Z","timestamp":1465084800000},"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":[[2016,6,5]]},"DOI":"10.1145\/2897937.2897990","type":"proceedings-article","created":{"date-parts":[[2016,5,25]],"date-time":"2016-05-25T20:14:10Z","timestamp":1464207250000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Area optimization of resilient designs guided by a mixed integer geometric program"],"prefix":"10.1145","author":[{"given":"Hsin-Ho","family":"Huang","sequence":"first","affiliation":[{"name":"University of Southern California, Los Angeles, CA"}]},{"given":"Huimei","family":"Cheng","sequence":"additional","affiliation":[{"name":"University of Southern California, Los Angeles, CA"}]},{"given":"Chris","family":"Chu","sequence":"additional","affiliation":[{"name":"Iowa State University Ames, IA"}]},{"given":"Peter A.","family":"Beerel","sequence":"additional","affiliation":[{"name":"University of Southern California, Los Angeles, CA"}]}],"member":"320","published-online":{"date-parts":[[2016,6,5]]},"reference":[{"issue":"1","key":"e_1_3_2_1_1_1","first-page":"49","article-title":"Energy-efficient and metastability-immune resilient circuits for dynamic variation tolerance","volume":"44","author":"Bowman K.","year":"2009","unstructured":"K. Bowman , J. Tschanz , N. S. Kim , J. Lee , C. Wilkerson , S. Lu , T. Karnik , and V. De . Energy-efficient and metastability-immune resilient circuits for dynamic variation tolerance . IEEE JSCC , 44 ( 1 ): 49 -- 63 , Jan 2009 . K. Bowman, J. Tschanz, N. S. Kim, J. Lee, C. Wilkerson, S. Lu, T. Karnik, and V. De. Energy-efficient and metastability-immune resilient circuits for dynamic variation tolerance. IEEE JSCC, 44(1):49--63, Jan 2009.","journal-title":"IEEE JSCC"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11081-007-9001-7"},{"key":"e_1_3_2_1_3_1","first-page":"1554","volume-title":"DATE","author":"Choudhury M.","year":"2010","unstructured":"M. Choudhury , V. Chandra , K. Mohanram , and R. Aitken . Timber: Time borrowing and error relaying for online timing error resilience . In DATE , pages 1554 -- 1559 , March 2010 . M. Choudhury, V. Chandra, K. Mohanram, and R. Aitken. Timber: Time borrowing and error relaying for online timing error resilience. In DATE, pages 1554--1559, March 2010."},{"issue":"1","key":"e_1_3_2_1_4_1","first-page":"32","article-title":"Razor II: In situ error detection and correction for PVT and SER tolerance","volume":"44","author":"Das S.","year":"2009","unstructured":"S. Das , C. Tokunaga , S. Pant , W.-H. Ma , S. Kalaiselvan , K. Lai , D. Bull , and D. Blaauw . Razor II: In situ error detection and correction for PVT and SER tolerance . IEEE JSCC , 44 ( 1 ): 32 -- 48 , Jan 2009 . S. Das, C. Tokunaga, S. Pant, W.-H. Ma, S. Kalaiselvan, K. Lai, D. Bull, and D. Blaauw. Razor II: In situ error detection and correction for PVT and SER tolerance. IEEE JSCC, 44(1):32--48, Jan 2009.","journal-title":"IEEE JSCC"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2009.2034764"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/956417.956571"},{"issue":"1","key":"e_1_3_2_1_7_1","first-page":"66","article-title":"Bubble razor: Eliminating timing margins in an ARM cortex-M3 processor in 45 nm CMOS using architecturally independent error detection and correction","volume":"48","author":"Fojtik M.","year":"2013","unstructured":"M. Fojtik , D. Fick , Y. Kim , N. Pinckney , D. Harris , D. Blaauw , and D. Sylvester . Bubble razor: Eliminating timing margins in an ARM cortex-M3 processor in 45 nm CMOS using architecturally independent error detection and correction . IEEE JSCC , 48 ( 1 ): 66 -- 81 , Jan 2013 . M. Fojtik, D. Fick, Y. Kim, N. Pinckney, D. Harris, D. Blaauw, and D. Sylvester. Bubble razor: Eliminating timing margins in an ARM cortex-M3 processor in 45 nm CMOS using architecturally independent error detection and correction. IEEE JSCC, 48(1):66--81, Jan 2013.","journal-title":"IEEE JSCC"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.2015.13"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2749462"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/MWSCAS.2011.6026656"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429384.2429512"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024760"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2015.7085455"},{"issue":"1","key":"e_1_3_2_1_14_1","first-page":"28","article-title":"Dynamic voltage and frequency management for a low-power embedded microprocessor","volume":"40","author":"Nakai M.","year":"2005","unstructured":"M. Nakai , S. Akui , K. Seno , T. Meguro , T. Seki , T. Kondo , A. Hashiguchi , H. Kawahara , K. Kumano , and M. Shimura . Dynamic voltage and frequency management for a low-power embedded microprocessor . IEEE JSCC , 40 ( 1 ): 28 -- 35 , 2005 . M. Nakai, S. Akui, K. Seno, T. Meguro, T. Seki, T. Kondo, A. Hashiguchi, H. Kawahara, K. Kumano, and M. Shimura. Dynamic voltage and frequency management for a low-power embedded microprocessor. IEEE JSCC, 40(1):28--35, 2005.","journal-title":"IEEE JSCC"},{"key":"e_1_3_2_1_15_1","first-page":"112","volume-title":"VLSI Circuits","author":"Tschanz J.","year":"2009","unstructured":"J. Tschanz , K. Bowman , S. Walstra , M. Agostinelli , T. Karnik , and V. De . Tunable replica circuits and adaptive voltage-frequency techniques for dynamic voltage, temperature, and aging variation tolerance . In VLSI Circuits , pages 112 -- 113 , June 2009 . J. Tschanz, K. Bowman, S. Walstra, M. Agostinelli, T. Karnik, and V. De. Tunable replica circuits and adaptive voltage-frequency techniques for dynamic voltage, temperature, and aging variation tolerance. In VLSI Circuits, pages 112--113, June 2009."},{"key":"e_1_3_2_1_16_1","unstructured":"YALMIP\n  : modelling language for advanced modeling and solution of convex and nonconvex optimization problems. http:\/\/users.isy.liu.se\/johanl\/yalmip\/.  YALMIP: modelling language for advanced modeling and solution of convex and nonconvex optimization problems. http:\/\/users.isy.liu.se\/johanl\/yalmip\/."},{"key":"e_1_3_2_1_17_1","first-page":"929","volume-title":"DATE","author":"Ye R.","year":"2012","unstructured":"R. Ye , F. Yuan , H. Zhou , and Q. Xu . Clock skew scheduling for timing speculation . In DATE , pages 929 -- 934 . IEEE, 2012 . R. Ye, F. Yuan, H. Zhou, and Q. Xu. Clock skew scheduling for timing speculation. In DATE, pages 929--934. IEEE, 2012."}],"event":{"name":"DAC '16: The 53rd Annual Design Automation Conference 2016","acronym":"DAC '16","location":"Austin Texas"},"container-title":["Proceedings of the 53rd Annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2897937.2897990","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2897937.2897990","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:56:09Z","timestamp":1750222569000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2897937.2897990"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,5]]},"references-count":17,"alternative-id":["10.1145\/2897937.2897990","10.1145\/2897937"],"URL":"https:\/\/doi.org\/10.1145\/2897937.2897990","relation":{},"subject":[],"published":{"date-parts":[[2016,6,5]]},"assertion":[{"value":"2016-06-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}