{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T15:30:31Z","timestamp":1772724631469,"version":"3.50.1"},"reference-count":28,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2016,7,1]],"date-time":"2016-07-01T00:00:00Z","timestamp":1467331200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100001809","name":"Natural Science Foundation of China","doi-asserted-by":"publisher","award":["91418203"],"award-info":[{"award-number":["91418203"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61202103"],"award-info":[{"award-number":["61202103"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"Natural Science Foundation of China","doi-asserted-by":"publisher","award":["91118008"],"award-info":[{"award-number":["91118008"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003395","name":"Shanghai Municipal Education Commission","doi-asserted-by":"publisher","award":["14ZZ047"],"award-info":[{"award-number":["14ZZ047"]}],"id":[{"id":"10.13039\/501100003395","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Shanghai Knowledge Service","award":["ZF1213"],"award-info":[{"award-number":["ZF1213"]}]},{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CCF-1351054"],"award-info":[{"award-number":["CCF-1351054"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[2016,7,1]]},"DOI":"10.1109\/tc.2015.2468230","type":"journal-article","created":{"date-parts":[[2015,8,14]],"date-time":"2015-08-14T10:50:51Z","timestamp":1439549451000},"page":"2059-2073","source":"Crossref","is-referenced-by-count":6,"title":["Efficient Resource Constrained Scheduling Using Parallel Structure-Aware Pruning Techniques"],"prefix":"10.1109","volume":"65","author":[{"given":"Mingsong","family":"Chen","sequence":"first","affiliation":[]},{"given":"Xinqian","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Geguang","family":"Pu","sequence":"additional","affiliation":[]},{"given":"Xin","family":"Fu","sequence":"additional","affiliation":[]},{"given":"Prabhat","family":"Mishra","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/43.240074"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1142\/S0217595911003132"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580097"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/43.275355"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BF02960762"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/2.386982"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/290833.290839"},{"key":"ref17","year":"0"},{"key":"ref18","year":"0"},{"key":"ref19","year":"0"},{"key":"ref28","first-page":"53","author":"branch","year":"2006","journal-title":"Parallel Combinatorial Optimization"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2008.2004874"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1002\/9780470053928.ch1"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2011.2110592"},{"key":"ref6","author":"de micheli","year":"1994","journal-title":"Synthesis and Optimization of Digital Circuits"},{"key":"ref5","author":"gajski","year":"1992","journal-title":"High-Level Synthesis Introduction to Chip and System Design"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1835420.1835422"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/502175.502178"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2009.83"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1498690.1498694"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2009.69"},{"key":"ref20","year":"0"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/12.780886"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.2010.14"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2013.6654637"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1109\/12.910815","article-title":"Automata-based symbolic scheduling for looping DFGs","volume":"50","author":"steve","year":"2001","journal-title":"IEEE Trans Comput"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2014.35"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CODES-ISSS.2013.6659001"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/12\/7486166\/07194766.pdf?arnumber=7194766","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:45:04Z","timestamp":1641987904000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7194766\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,1]]},"references-count":28,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tc.2015.2468230","relation":{},"ISSN":["0018-9340"],"issn-type":[{"value":"0018-9340","type":"print"}],"subject":[],"published":{"date-parts":[[2016,7,1]]}}}