{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T17:42:36Z","timestamp":1757612556933,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T00:00:00Z","timestamp":1747785600000},"content-version":"vor","delay-in-days":15,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100006374","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["CNS-2039054 and CNS-2111688"],"award-info":[{"award-number":["CNS-2039054 and CNS-2111688"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Air Force Office of Scientific Research","award":["FA9550-19-1-0169, FA9550-20-1-0238, FA9550-23-1-0145, and FA9550-23-1-0313"],"award-info":[{"award-number":["FA9550-19-1-0169, FA9550-20-1-0238, FA9550-23-1-0145, and FA9550-23-1-0313"]}]},{"DOI":"10.13039\/501100006374","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","award":["FA8651-22-1-0017 and FA8651-23-1-0004"],"award-info":[{"award-number":["FA8651-22-1-0017 and FA8651-23-1-0004"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006374","name":"Army Research Office","doi-asserted-by":"publisher","award":["W911NF-20-1-0253"],"award-info":[{"award-number":["W911NF-20-1-0253"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Department of Defence","award":["W911NF-23-1-0158"],"award-info":[{"award-number":["W911NF-23-1-0158"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,5,6]]},"DOI":"10.1145\/3716863.3718046","type":"proceedings-article","created":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:20:33Z","timestamp":1747808433000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Sharc: Simulator for Hardware Architecture and Real-time Control"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0070-6663","authenticated-orcid":false,"given":"Paul K.","family":"Wintz","sequence":"first","affiliation":[{"name":"University of California, Santa Cruz, Santa Cruz, California, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-0949-8474","authenticated-orcid":false,"given":"Yasin","family":"Sonmez","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, Berkeley, California, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1648-6151","authenticated-orcid":false,"given":"Paul","family":"Griffioen","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, Berkeley, California, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-0369-7744","authenticated-orcid":false,"given":"Mingsheng","family":"Xu","sequence":"additional","affiliation":[{"name":"University of California, Santa Cruz, Santa Cruz, California, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1279-3306","authenticated-orcid":false,"given":"Surim","family":"Oh","sequence":"additional","affiliation":[{"name":"University of California, Santa Cruz, Santa Cruz, California, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5181-9639","authenticated-orcid":false,"given":"Heiner","family":"Litz","sequence":"additional","affiliation":[{"name":"University of California, Santa Cruz, Santa Cruz, California, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6671-5362","authenticated-orcid":false,"given":"Ricardo G.","family":"Sanfelice","sequence":"additional","affiliation":[{"name":"University of California, Santa Cruz, Santa Cruz, California, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9060-4032","authenticated-orcid":false,"given":"Murat","family":"Arcak","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, Berkeley, California, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,5,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n.d.]. Scarab. https:\/\/github.com\/Litz-Lab\/scarab"},{"key":"e_1_3_2_1_2_1","unstructured":"2023. Tesla Full Self-Driving Chip (FSD chip). https:\/\/en.wikichip.org\/wiki\/tesla_(car_company)\/fsd_chip"},{"volume-title":"Real-Time Certified MPC: Reliable Active-Set QP Solvers. Department of Electrical Engineering","author":"Arnstr\u00f6m Daniel","key":"e_1_3_2_1_3_1","unstructured":"Daniel Arnstr\u00f6m. 2023. Real-Time Certified MPC: Reliable Active-Set QP Solvers. Department of Electrical Engineering, Link\u00f6ping University, Link\u00f6ping."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2024.3395521"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2024716.2024718"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3019776"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2003.1191551"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2002.1017703"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2629677"},{"key":"e_1_3_2_1_10_1","volume-title":"This Car Runs on Code","author":"Charette Robert N.","year":"2009","unstructured":"Robert N. Charette. 2009. This Car Runs on Code. IEEE Spectrum (Feb. 2009). https:\/\/spectrum.ieee.org\/this-car-runs-on-code"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWCMC.2011.5982695"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.3182\/20110828-6-IT-1002.03090"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","unstructured":"Nathan Gober Gino Chacon Lei Wang Paul V. Gratz Daniel A. Jimenez Elvira Teran Seth Pugsley and Jinchun Kim. 2022. The Championship Simulator: Architectural Simulation for Education and Competition. https:\/\/doi.org\/10.48550\/arXiv.2210.14324 arXiv:2210.14324 [cs]","DOI":"10.48550\/arXiv.2210.14324"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-501-9"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2007.9"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCA.2015.2414456"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2009.5347560"},{"key":"e_1_3_2_1_18_1","unstructured":"D. Kraft. 1988. A Software Package for Sequential Quadratic Programming. Wiss. Berichtswesen d. DFVLR. https:\/\/books.google.com\/books?id=4rKaGwAACAAJ"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.4271\/2008-01-0989"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.3390\/electronics11152462"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA59077.2024.00089"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2015.12"},{"key":"e_1_3_2_1_23_1","unstructured":"Nicola Piccinelli. [n. d.]. Libmpc++: A library to solve linear and non-linear MPC. https:\/\/github.com\/nicolapiccinelli\/libmpc"},{"key":"e_1_3_2_1_24_1","unstructured":"Dev Pradhan. 2010. Multicore Processors Bring Innovation to Medical Imaging. Technical Report. Texas Instruments."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2485922.2485963"},{"key":"e_1_3_2_1_26_1","first-page":"23","article-title":"A case for (partially) tagged geometric history length branch prediction","volume":"8","author":"Seznec Andr\u00e9","year":"2006","unstructured":"Andr\u00e9 Seznec and Pierre Michaud. 2006. A case for (partially) tagged geometric history length branch prediction. The Journal of Instruction-Level Parallelism 8 (2006), 23.","journal-title":"The Journal of Instruction-Level Parallelism"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3012618"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.111.0025"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD-CCA-ISIC.2006.4776809"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1124706.1121415"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.06.011"}],"event":{"name":"HSCC '25: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Irvine CA USA","acronym":"HSCC '25"},"container-title":["Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716863.3718046","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3716863.3718046","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3716863.3718046","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T13:47:10Z","timestamp":1756993630000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716863.3718046"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,6]]},"references-count":31,"alternative-id":["10.1145\/3716863.3718046","10.1145\/3716863"],"URL":"https:\/\/doi.org\/10.1145\/3716863.3718046","relation":{},"subject":[],"published":{"date-parts":[[2025,5,6]]},"assertion":[{"value":"2025-05-21","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}