{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:15:09Z","timestamp":1763468109330,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,11,5]],"date-time":"2012-11-05T00:00:00Z","timestamp":1352073600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61103028"],"award-info":[{"award-number":["61103028"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002338","name":"Ministry of Education of the People's Republic of China","doi-asserted-by":"publisher","award":["2.01E+13"],"award-info":[{"award-number":["2.01E+13"]}],"id":[{"id":"10.13039\/501100002338","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,11,5]]},"DOI":"10.1145\/2429384.2429484","type":"proceedings-article","created":{"date-parts":[[2013,1,22]],"date-time":"2013-01-22T15:29:29Z","timestamp":1358868569000},"page":"488-495","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Memory partitioning and scheduling co-optimization in behavioral synthesis"],"prefix":"10.1145","author":[{"given":"Peng","family":"Li","sequence":"first","affiliation":[{"name":"Peking University, Beijing, China"}]},{"given":"Yuxin","family":"Wang","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}]},{"given":"Peng","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of California, Los Angeles, CA"}]},{"given":"Guojie","family":"Luo","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}]},{"given":"Tao","family":"Wang","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China and UCLA\/PKU Joint Research Institute in Science and Engineering"}]},{"given":"Jason","family":"Cong","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China and University of California, Los Angeles, CA and UCLA\/PKU Joint Research Institute in Science and Engineering"}]}],"member":"320","published-online":{"date-parts":[[2012,11,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Z. Zhang Y. Fan W. Jiang G. Han C. Yang and J. Cong \"AutoPilot: A Platform-Based ESL Synthesis System \" in High-Level Synthesis: From Algorithm to Digital Circuit P. Coussy and A. Morawiec Eds. ed: Springer Publishers 2008.  Z. Zhang Y. Fan W. Jiang G. Han C. Yang and J. Cong \"AutoPilot: A Platform-Based ESL Synthesis System \" in High-Level Synthesis: From Algorithm to Digital Circuit P. Coussy and A. Morawiec Eds. ed: Springer Publishers 2008."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2011.2110592"},{"key":"e_1_3_2_1_3_1","first-page":"382","volume-title":"IEEE International Symposium on Circuits and Systems","author":"Girczyc E. F.","year":"1987"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1049\/el:19991511"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.97903"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155101"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.466632"},{"key":"e_1_3_2_1_8_1","first-page":"212","article-title":"Memory Bank Disambiguation using Modulo Unrolling for Raw Machines","author":"Barua R.","year":"1998","journal-title":"Proceedings of the Fifth International Conference on High Performance Computing"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1687399.1687528"},{"key":"e_1_3_2_1_10_1","first-page":"257","article-title":"An Integrated and Automated Memory Optimization Flow for FPGA Behavioral Synthesis,\" in Proceedings of the 17th Asia and South Pacific Design Automation Conference, Sydney","author":"Wang Y.","year":"2012","journal-title":"Australia"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1929943.1929947"},{"volume-title":"CA: Morgan Kaufmann Publishers Inc.","year":"2002","author":"Kennedy K.","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","unstructured":"P. Getreuer. Tvreg: Variational Imaging Methods for Denoising Deconvolution Inpainting and Segmentation. Available: http:\/\/www.math.ucla.edu\/getreuer\/tvreg.html  P. Getreuer. Tvreg: Variational Imaging Methods for Denoising Deconvolution Inpainting and Segmentation . Available: http:\/\/www.math.ucla.edu\/getreuer\/tvreg.html"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/192724.192731"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1002\/nav.3800020109"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2010.141"}],"event":{"name":"ICCAD '12: The International Conference on Computer-Aided Design","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CEDA"],"location":"San Jose California","acronym":"ICCAD '12"},"container-title":["Proceedings of the International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2429384.2429484","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2429384.2429484","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:35:26Z","timestamp":1750235726000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2429384.2429484"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11,5]]},"references-count":16,"alternative-id":["10.1145\/2429384.2429484","10.1145\/2429384"],"URL":"https:\/\/doi.org\/10.1145\/2429384.2429484","relation":{},"subject":[],"published":{"date-parts":[[2012,11,5]]},"assertion":[{"value":"2012-11-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}