{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T13:14:04Z","timestamp":1753881244685,"version":"3.41.2"},"reference-count":36,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2012,5,10]],"date-time":"2012-05-10T00:00:00Z","timestamp":1336608000000},"content-version":"vor","delay-in-days":130,"URL":"http:\/\/creativecommons.org\/licenses\/by\/3.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-0926127","2009-TJ-1984"],"award-info":[{"award-number":["CCF-0926127","2009-TJ-1984"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000028","name":"Semiconductor Research Corporation","doi-asserted-by":"publisher","award":["CCF-0926127","2009-TJ-1984"],"award-info":[{"award-number":["CCF-0926127","2009-TJ-1984"]}],"id":[{"id":"10.13039\/100000028","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Journal of Electrical and Computer Engineering"],"published-print":{"date-parts":[[2012,1]]},"abstract":"<jats:p>The ever\u2010increasing design complexity of modern digital systems makes it necessary to develop electronic system\u2010level (ESL) methodologies with automation and optimization in the higher abstraction level. How the concurrency is modeled in the application specification plays a significant role in ESL design frameworks. The state\u2010of\u2010art concurrent specification models are not suitable for modeling task\u2010level concurrent behavior for the hardware synthesis design flow. Based on the concurrent collection (CnC) model, which provides the maximum freedom of task rescheduling, we propose task\u2010level data model (TLDM), targeted at the task\u2010level optimization in hardware synthesis for data processing applications. Polyhedral models are embedded in TLDM for concise expression of task instances, array accesses, and dependencies. Examples are shown to illustrate the advantages of our TLDM specification compared to other widely used concurrency specifications.<\/jats:p>","DOI":"10.1155\/2012\/691864","type":"journal-article","created":{"date-parts":[[2012,5,10]],"date-time":"2012-05-10T21:03:42Z","timestamp":1336683822000},"update-policy":"https:\/\/doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Task\u2010Level Data Model for Hardware Synthesis Based on Concurrent Collections"],"prefix":"10.1155","volume":"2012","author":[{"given":"Jason","family":"Cong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karthik","family":"Gururaj","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peng","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi","family":"Zou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2012,5,10]]},"reference":[{"key":"e_1_2_8_1_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2026356"},{"key":"e_1_2_8_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.890107"},{"key":"e_1_2_8_3_2","unstructured":"An independent evaluation of the AutoESL autopilot high-level synthesis tool 2010 Berkeley Design Technology."},{"key":"e_1_2_8_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"e_1_2_8_5_2","doi-asserted-by":"publisher","DOI":"10.1109\/5.381846"},{"key":"e_1_2_8_6_2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_2_8_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"e_1_2_8_8_2","unstructured":"Intel\u2014Concurrent Collections for C\/C++: User\u2019s Guide 2010 http:\/\/software.intel.com\/file\/30235."},{"key":"e_1_2_8_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2010.141"},{"key":"e_1_2_8_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"e_1_2_8_11_2","unstructured":"SystemC http:\/\/www.accellera.org\/."},{"key":"e_1_2_8_12_2","unstructured":"BlueSpec http:\/\/bluespec.com\/."},{"key":"e_1_2_8_13_2","unstructured":"FDR2 User Manual 2010 http:\/\/fsel.com\/documentation\/fdr2\/html\/fdr2manual_5.html."},{"key":"e_1_2_8_14_2","unstructured":"ARC CSP model checking environment 2010 http:\/\/cs.adelaide.edu.au\/~esser\/arc.html."},{"key":"e_1_2_8_15_2","unstructured":"AllenR. A formal approach to software architecture Ph.D. thesis 1997 Carnegie Mellon School of Computer Science Issued as CMU Technical Report CMU-CS-97-144."},{"key":"e_1_2_8_16_2","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"e_1_2_8_17_2","unstructured":"Petri net 2010 http:\/\/en.wikipedia.org\/wiki\/Petri_net."},{"key":"e_1_2_8_18_2","article-title":"A next-generation design framework for platform-based design","author":"Davare A.","year":"2007","journal-title":"DVCon"},{"volume-title":"Readings in Hardware\/Software Co-Design. Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems","year":"2002","author":"Buck J.","key":"e_1_2_8_19_2"},{"key":"e_1_2_8_20_2","unstructured":"KahnG. RosenfeldJ. L. The semantics of a simple language for parallel programming Proceedings of the IFIP Congress August 1974 Stockholm Sweden North-Holland."},{"key":"e_1_2_8_21_2","doi-asserted-by":"crossref","unstructured":"NikolovH. ThompsonM. StefanovT. PimentelA. PolstraS. BoseR. ZissulescuC. andDeprettereE. Daedalus: toward composable multimedia MP-SoC design Proceedings of the 45th Design Automation Conference (DAC \u203208) June 2008 New York NY USA ACM 574\u2013579 2-s2.0-51549119581 https:\/\/doi.org\/10.1109\/DAC.2008.4555882.","DOI":"10.1145\/1391469.1391615"},{"key":"e_1_2_8_22_2","unstructured":"ThiesW. KarczmarekM. andAmarasingheS. HorspoolR. Streamit: a language for streaming applications 2304 Proceedings of the 11th International Conference on Compiler Construction (CC \u203202) 2002 Berlin Germany Springer 49\u201384 Lecture Notes in Computer Science."},{"key":"e_1_2_8_23_2","unstructured":"ChiodoM. GiustoP. HsiehH. JurecskaA. LavagnoL. andSangiovanni-VincentelliA. A formal specification model for hardware\/software codesign Proceedings of the International Workshop on Hardware\/Software Co-Design 1993."},{"key":"e_1_2_8_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/1151074.1151077"},{"key":"e_1_2_8_25_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-6127-9"},{"key":"e_1_2_8_26_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014070804761"},{"key":"e_1_2_8_27_2","doi-asserted-by":"publisher","DOI":"10.1145\/1255456.1255461"},{"key":"e_1_2_8_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/92.931229"},{"key":"e_1_2_8_29_2","doi-asserted-by":"crossref","unstructured":"Gr\u00fcttnerK.andNebelW. Modelling program-state machines in SystemCTM Proceedings of the Forum on Specification Verification and Design Languages (FDL \u203208) September 2008 Stuttgart Germany 7\u201312 https:\/\/doi.org\/10.1109\/FDL.2008.4641413.","DOI":"10.1109\/FDL.2008.4641413"},{"key":"e_1_2_8_30_2","doi-asserted-by":"publisher","DOI":"10.1155\/2008\/647953"},{"key":"e_1_2_8_31_2","doi-asserted-by":"crossref","unstructured":"FujitaM.andNakamuraH. The standard SpecC language Proceedings of the 14th International Symposium on System Synthesis (ISSS \u203201) 2001 New York NY USA ACM 81\u201386 2-s2.0-0034795954.","DOI":"10.1145\/500016.500019"},{"key":"e_1_2_8_32_2","doi-asserted-by":"crossref","unstructured":"BlumofeR. D. JoergC. F. KuszmaulB. C. LeisersonC. E. RandallK. H. andZhouY. Cilk: an efficient multithreaded runtime system Proceedings of the 5th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming August 1995 207\u2013216 2-s2.0-0029191296.","DOI":"10.1145\/209936.209958"},{"key":"e_1_2_8_33_2","unstructured":"Habanero-C project 2011 https:\/\/wiki.rice.edu\/confluence\/display\/HABANERO\/Habanero\u2010C."},{"key":"e_1_2_8_34_2","doi-asserted-by":"crossref","unstructured":"CaveV. ZhaoJ. ShirakoJ. andSarkarV. Habanero-Java: the new adventures of old x10 Proceedings of the 9th International Conference on the Principles and Practice of Programming in Java (PPPJ \u203211) 2011.","DOI":"10.1145\/2093157.2093165"},{"key":"e_1_2_8_35_2","unstructured":"Intel CnC distribution 2011 http:\/\/software.intel.com\/en\u2010us\/articles\/intel\u2010concurrent\u2010collections\u2010for\u2010cc\/."},{"key":"e_1_2_8_36_2","unstructured":"Center for Customizable Domain-Specific Computing (CDSC) http:\/\/cdsc.ucla.edu\/."}],"container-title":["Journal of Electrical and Computer Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/downloads.hindawi.com\/journals\/jece\/2012\/691864.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/jece\/2012\/691864.xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1155\/2012\/691864","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:18:31Z","timestamp":1743103111000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1155\/2012\/691864"}},"subtitle":[],"editor":[{"given":"Yuan","family":"Xie","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]}],"short-title":[],"issued":{"date-parts":[[2012,1]]},"references-count":36,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,1]]}},"alternative-id":["10.1155\/2012\/691864"],"URL":"https:\/\/doi.org\/10.1155\/2012\/691864","archive":["Portico"],"relation":{},"ISSN":["2090-0147","2090-0155"],"issn-type":[{"type":"print","value":"2090-0147"},{"type":"electronic","value":"2090-0155"}],"subject":[],"published":{"date-parts":[[2012,1]]},"assertion":[{"value":"2011-10-17","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2012-01-11","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2012-05-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}],"article-number":"691864"}}