{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:01Z","timestamp":1763468041970,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/sies.2011.5953650","type":"proceedings-article","created":{"date-parts":[[2011,7,20]],"date-time":"2011-07-20T20:50:22Z","timestamp":1311195022000},"page":"9-17","source":"Crossref","is-referenced-by-count":15,"title":["Multi-criteria optimization for mapping programs to multi-processors"],"prefix":"10.1109","author":[{"given":"Scott","family":"Cotton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oded","family":"Maler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julien","family":"Legriel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Selma","family":"Saidi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref30","first-page":"641","article-title":"The quest for efficient boolean satisfiability solvers","author":"zhang","year":"2002","journal-title":"Computer Aided Verification"},{"key":"ref10","first-page":"337","article-title":"Z3: An efficient smt solver","volume":"lncs 4963","author":"de moura","year":"2008","journal-title":"TACAS'08"},{"journal-title":"Task Graphs for Free","year":"1998","author":"robert","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/944691.944693"},{"journal-title":"Multicriteria Optimization","year":"2005","author":"ehrgott","key":"ref13"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"604","DOI":"10.1117\/12.387203","article-title":"Mosquito noise in MPEG-compressed video: test patterns and metrics","author":"fenimore","year":"2000","journal-title":"Proceedings of SPIE"},{"journal-title":"Stochastic Local Search Foundations & Applications","year":"2004","author":"holger","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1049\/PBCS018E_ch1"},{"key":"ref17","first-page":"69","article-title":"Approximating the pareto front of multi-criteria optimization problems","author":"legriel","year":"2010","journal-title":"TACAS"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","article-title":"Synchronous data flow","volume":"75","author":"edward","year":"1987","journal-title":"Proceedings of the IEEE"},{"key":"ref19","article-title":"Meeting deadlines cheaply","author":"legriel","year":"2010","journal-title":"Technical Report"},{"key":"ref28","first-page":"95","article-title":"Spea2: Improving the strength pareto evolutionary algorithm for multiobjective optimization","author":"zitzler","year":"2002","journal-title":"Evolutionary Methods for Design Optimisation and Control"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1186562.1015800"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/978-3-540-88908-3_14","article-title":"Quality assessment of pareto set approximations","author":"zitzler","year":"2008","journal-title":"Multiobjective optimization"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/EURDAC.1996.558204"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ISSOC.2004.1411133"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/4235.797969"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/AHS.2009.35"},{"journal-title":"Multi-Objective Optimization Using Evolutionary Algorithms","year":"2001","author":"deb","key":"ref8"},{"key":"ref7","first-page":"81","article-title":"A fast linear-arithmetic solver for DPLL(T)","author":"dutertre","year":"2006","journal-title":"CAV"},{"journal-title":"xSTream Architecture multi-coeur sur puce pour des applications multimedia","year":"2009","author":"berenguer","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"ref1","first-page":"107","article-title":"Allocation and scheduling for MPSoCs via decomposition and no-good generation","author":"benini","year":"2005","journal-title":"Principles and Practice of Constraint Programming-CP97"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.49"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.243950"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s00158-003-0368-6"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2007.53"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2006.57"},{"key":"ref26","first-page":"33","article-title":"An ILP formulation for task mapping and scheduling on multi-core architectures","author":"yi","year":"2009","journal-title":"DATE'09"},{"key":"ref25","first-page":"179","article-title":"Streamit: A language for streaming applications","author":"thies","year":"2002","journal-title":"CC'02"}],"event":{"name":"2011 6th IEEE International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2011,6,15]]},"location":"Vasteras, Sweden","end":{"date-parts":[[2011,6,17]]}},"container-title":["2011 6th IEEE International Symposium on Industrial and Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5937480\/5953643\/05953650.pdf?arnumber=5953650","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T03:25:34Z","timestamp":1497929134000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5953650\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/sies.2011.5953650","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}