{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:45:57Z","timestamp":1729640757174,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,4]]},"DOI":"10.1109\/rtas.2008.39","type":"proceedings-article","created":{"date-parts":[[2008,7,3]],"date-time":"2008-07-03T15:20:03Z","timestamp":1215098403000},"page":"295-304","source":"Crossref","is-referenced-by-count":11,"title":["Hardware\/Software Partitioning and Static Task Scheduling on Runtime Reconfigurable FPGAs using a SMT Solver"],"prefix":"10.1109","author":[{"given":"Mingxuan","family":"Yuan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiuqiang","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zonghua","family":"Gu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/HSC.1998.666245"},{"key":"ref12","first-page":"335","article-title":"Physically-aware HW-SW partitioning for reconfigurable architectures with partial dynamic reconfiguration","author":"banerjee","year":"2005","journal-title":"Proc of Design Automation Conference (DAC)"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2002.1106801"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0170-9"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2001.915093"},{"key":"ref17","article-title":"Energy-efficient scheduling on multi-context fpgas","author":"perng","year":"2006","journal-title":"ISCAS"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2006.10"},{"key":"ref19","first-page":"15","article-title":"Modeling and design of fault-tolerant and self-adaptive reconfigurable networked embedded systems","author":"streichert","year":"2006","journal-title":"EURASIP Journal on Embedded Systems pp Article ID 42 168"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"771","DOI":"10.1145\/1278480.1278673","article-title":"selective band width and resource management in scheduling for dynamically reconfigurable architectures","author":"banerjee","year":"2007","journal-title":"2007 44th ACM\/IEEE Design Automation Conference DAC"},{"journal-title":"Altera","year":"0","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/993396.993398"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/11817963_11","article-title":"A Fast Linear-Arithmetic Solver for DPLL(T)","volume":"4144","author":"dutertre","year":"2006","journal-title":"CAV Ser Lecture Notes in Computer Science"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"UPPAAL in a Nutshell","volume":"1","author":"larsen","year":"1997","journal-title":"STTT"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2007.22"},{"key":"ref2","article-title":"Hardware\/software co-design","volume":"85","author":"micheli","year":"1997","journal-title":"Proceedings of the IEEE"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/503074.503076"},{"year":"0","key":"ref9"}],"event":{"name":"2008 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)","start":{"date-parts":[[2008,4,22]]},"location":"St. Louis, MO, USA","end":{"date-parts":[[2008,4,24]]}},"container-title":["2008 IEEE Real-Time and Embedded Technology and Applications Symposium"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/4550764\/4550765\/04550801.pdf?arnumber=4550801","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T09:38:28Z","timestamp":1497778708000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/4550801\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4]]},"references-count":19,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/rtas.2008.39","relation":{},"subject":[],"published":{"date-parts":[[2008,4]]}}}