{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T16:38:54Z","timestamp":1781714334788,"version":"3.54.5"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/cases.2015.7324553","type":"proceedings-article","created":{"date-parts":[[2015,11,12]],"date-time":"2015-11-12T23:05:25Z","timestamp":1447369525000},"page":"127-136","source":"Crossref","is-referenced-by-count":6,"title":["Efficient SAT-based application mapping and scheduling on multiprocessor systems for throughput maximization"],"prefix":"10.1109","author":[{"given":"Weichen","family":"Liu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zonghua","family":"Gu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Yaoyao Ye","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2007.358032"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.44"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289941"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/12.73588"},{"key":"ref14","article-title":"A comparison of synchronous and cyclo-static dataflow","author":"parks","year":"0","journal-title":"Proc Asilomar Conference on Signals Systems and Computers (ACSSC) 1995"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/11814948_1"},{"key":"ref16","author":"sriram","year":"2000","journal-title":"Embedded Multiprocessors Scheduling and Synchronization"},{"key":"ref17","author":"stuijk","year":"2007","journal-title":"Predictable Mapping of Streaming Applications on Multiprocessors"},{"key":"ref18","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":"ref19","first-page":"276","article-title":"SDF3: SDF For Free","author":"stuijk","year":"0","journal-title":"Application of Concurrency to System Design 6th International Conference ACSD 2006 Proceedings"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/43.728912"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5456924"},{"key":"ref6","first-page":"502","article-title":"An Extensible SAT-solver","volume":"2919","author":"e\u00e9n","year":"2003","journal-title":"SAT"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/82.700929"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.5009446"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1613\/jair.2347","article-title":"MiniMaxSat: An efficient Weighted Max-SAT solver","author":"heras","year":"2008","journal-title":"Journal of Artificial Intelligence Research"},{"key":"ref2","article-title":"Performance evaluation of macroblock-level parallelization of h.264 decoding on a cc-numa multiprocessor architecture","author":"alvarez","year":"0","journal-title":"Proc of the 4CCC 4th Colombian Computing Conf 2009"},{"key":"ref1","year":"0"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.49"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090635"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.7873\/DATE2014.338"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2011.2182352"}],"event":{"name":"2015 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES)","location":"Amsterdam, Netherlands","start":{"date-parts":[[2015,10,4]]},"end":{"date-parts":[[2015,10,9]]}},"container-title":["2015 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7313573\/7324531\/07324553.pdf?arnumber=7324553","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T13:51:38Z","timestamp":1567345898000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7324553\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/cases.2015.7324553","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}