{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,6]],"date-time":"2023-10-06T17:47:51Z","timestamp":1696614471029},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2009,3,1]],"date-time":"2009-03-01T00:00:00Z","timestamp":1235865600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2009,3]]},"DOI":"10.1109\/tcad.2009.2013536","type":"journal-article","created":{"date-parts":[[2009,2,19]],"date-time":"2009-02-19T22:09:10Z","timestamp":1235081350000},"page":"378-391","source":"Crossref","is-referenced-by-count":9,"title":["Reducing the Abstraction and Optimality Gaps in the Allocation and Scheduling for Variable Voltage\/Frequency MPSoC Platforms"],"prefix":"10.1109","volume":"28","author":[{"given":"M.","family":"Ruggiero","sequence":"first","affiliation":[]},{"given":"D.","family":"Bertozzi","sequence":"additional","affiliation":[]},{"given":"L.","family":"Benini","sequence":"additional","affiliation":[]},{"given":"M.","family":"Milano","sequence":"additional","affiliation":[]},{"given":"A.","family":"Andrei","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/774572.774678"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/370155.370511"},{"key":"ref31","first-page":"1517","article-title":"allocation and scheduling for mpsocs via decomposition and no-good generation","author":"benini","year":"2005","journal-title":"Proc IJCAI"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1268854"},{"key":"ref37","article-title":"challenging scheduling problems in the field of system design","author":"guerri","year":"2007","journal-title":"Proc ICAPS"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2005.24"},{"key":"ref35","first-page":"736","article-title":"flexible hardware\/software support for message passing on a distributed shared memory architecture","author":"poletti","year":"2005","journal-title":"Proc DATE Conf"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2004.1337672"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2002.803941"},{"key":"ref11","first-page":"362","article-title":"a filtering algorithm for constraints of difference in csps","volume":"1","author":"rgin","year":"1994","journal-title":"Proc Nat Conf Artif Intell"},{"key":"ref12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-1479-4","volume":"39","author":"baptiste","year":"2001","journal-title":"Constraint-Based Scheduling"},{"key":"ref13","author":"tsang","year":"1993","journal-title":"Foundations of Constraint Satisfaction"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2007.358077"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ISSCC.2005.1493986"},{"key":"ref16","year":"2007","journal-title":"Freescale Technologies for Energy Efficiency 2007 Overview"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1268898"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/344588.344618"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.1998.655847"},{"key":"ref28","author":"garey","year":"1979","journal-title":"Computers and Intractability A Guide to the Theory of NP-Completeness"},{"key":"ref4","author":"schmitz","year":"2004","journal-title":"System-Level Design Techniques for Energy-Efficient Embedded Systems"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1065579.1065612"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2007.891101"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.13.4.258.9733"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/972627.972636"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1268966"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISSOC.2006.321997"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30201-8_24"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.243950"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-007-0032-7"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01386316"},{"key":"ref20","first-page":"540","article-title":"a low complex scheduling algorithm for multi-processor system-on-chip","author":"ventroux","year":"2005","journal-title":"Proc Parallel Distrib Comput Netw"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/s10107-003-0375-9","article-title":"logic-based benders decomposition","volume":"96","author":"hooker","year":"2003","journal-title":"Math Program"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/HSC.1997.584596"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1995.492493"},{"key":"ref23","year":"2003","journal-title":"Constraint and Integer Programming Toward a Unified Methodology (Operations Research\/Computer Sciences Interfaces)"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1077603.1077670"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1145\/280756.280894","article-title":"Voltage scheduling problem for dynamically variable voltage processors","author":"ishihara","year":"1998","journal-title":"Proceedings 1998 International Symposium on Low Power Electronics and Design (IEEE Cat No 98TH8379) LPE"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/43\/4785326\/04785400.pdf?arnumber=4785400","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T00:43:42Z","timestamp":1633913022000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4785400\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3]]},"references-count":37,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2009.2013536","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,3]]}}}