{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T18:58:06Z","timestamp":1725389886628},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1109\/rsp.2013.6683961","type":"proceedings-article","created":{"date-parts":[[2014,1,3]],"date-time":"2014-01-03T12:52:49Z","timestamp":1388753569000},"page":"73-79","source":"Crossref","is-referenced-by-count":0,"title":["Embedded system verification through constraint-based scheduling"],"prefix":"10.1109","author":[{"given":"Olfat","family":"El-Mahi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Pesant","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriela","family":"Nicolescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Beltrame","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015452903532"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.5009446"},{"key":"18","doi-asserted-by":"crossref","first-page":"777","DOI":"10.1145\/1278480.1278674","article-title":"multiprocessor resource allocation for throughput-constrained synchronous dataflow graphs","author":"stuijk","year":"2007","journal-title":"2007 44th ACM\/IEEE Design Automation Conference DAC"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.02.032"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29828-8_6"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-011-9115-6"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85958-1_2"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2002.1224425"},{"journal-title":"System-On-A-Chip Verification Methodology and Techniques","year":"2001","author":"rashinkar","key":"12"},{"key":"21","first-page":"1506","article-title":"Buffer minimization of real-time streaming applications scheduling on hybrid cpu\/fpga architectures","author":"zhu","year":"2009","journal-title":"Proceedings of the Conference on Design Automation and Test in Europe European Design and Automation Association"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/92.894152"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2012.6418248"},{"year":"0","key":"23"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-6184-6_2"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450075"},{"year":"0","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2010.5419892"},{"key":"10","first-page":"348","article-title":"Schedulingbased test-case generation for verification of multimedia socs","author":"nahir","year":"2006","journal-title":"Proceedings of the 40th Annual Design Automation Conference ACM"},{"key":"1","first-page":"681","article-title":"The future of multiprocessor systems-on-chips","author":"wolf","year":"2004","journal-title":"Proceedings 41st Design Automation Conference 2004 DAC"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2003.1252470"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2004.1277900"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2002.1224444"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2030268"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2003.1250255"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2003.1252469"}],"event":{"name":"2013 International Symposium on Rapid System Prototyping (RSP)","start":{"date-parts":[[2013,10,3]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2013,10,4]]}},"container-title":["2013 International Symposium on Rapid System Prototyping (RSP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6676470\/6683946\/06683961.pdf?arnumber=6683961","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T01:13:33Z","timestamp":1498094013000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6683961\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/rsp.2013.6683961","relation":{},"subject":[],"published":{"date-parts":[[2013,10]]}}}