{"id":"https://openalex.org/W4239619226","doi":"https://doi.org/10.1109/codes-isss.2013.6659001","title":"Bound-oriented parallel pruning approaches for efficient resource constrained scheduling of high-level synthesis","display_name":"Bound-oriented parallel pruning approaches for efficient resource constrained scheduling of high-level synthesis","publication_year":2013,"publication_date":"2013-09-01","ids":{"openalex":"https://openalex.org/W4239619226","doi":"https://doi.org/10.1109/codes-isss.2013.6659001"},"language":"en","primary_location":{"id":"doi:10.1109/codes-isss.2013.6659001","is_oa":false,"landing_page_url":"https://doi.org/10.1109/codes-isss.2013.6659001","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5025413633","display_name":"Mingsong Chen","orcid":"https://orcid.org/0000-0002-3922-0989"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Mingsong Chen","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal Univeristy, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal Univeristy, Shanghai, China","institution_ids":["https://openalex.org/I4210139618"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101724061","display_name":"Lei Zhou","orcid":"https://orcid.org/0000-0002-0089-4345"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lei Zhou","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal Univeristy, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal Univeristy, Shanghai, China","institution_ids":["https://openalex.org/I4210139618"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054490662","display_name":"Geguang Pu","orcid":"https://orcid.org/0000-0001-9750-8334"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Geguang Pu","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal Univeristy, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal Univeristy, Shanghai, China","institution_ids":["https://openalex.org/I4210139618"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021955116","display_name":"Jifeng He","orcid":null},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jifeng He","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal Univeristy, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal Univeristy, Shanghai, China","institution_ids":["https://openalex.org/I4210139618"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5025413633"],"corresponding_institution_ids":["https://openalex.org/I4210139618"],"apc_list":null,"apc_paid":null,"fwci":0.84235547,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.79482409,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10829","display_name":"Interconnection Networks and Systems","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7872395515441895},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.7732031345367432},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.6230225563049316},{"id":"https://openalex.org/keywords/pruning","display_name":"Pruning","score":0.6160963773727417},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.6094658374786377},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.5226064324378967},{"id":"https://openalex.org/keywords/high-level-synthesis","display_name":"High-level synthesis","score":0.5053606629371643},{"id":"https://openalex.org/keywords/branch-and-bound","display_name":"Branch and bound","score":0.4979970455169678},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.49114343523979187},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4669996500015259},{"id":"https://openalex.org/keywords/processor-scheduling","display_name":"Processor scheduling","score":0.462437242269516},{"id":"https://openalex.org/keywords/latency","display_name":"Latency (audio)","score":0.4480465352535248},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4264713525772095},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4159688353538513},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.264911413192749},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.13642257452011108},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11902153491973877},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.1173536479473114}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7872395515441895},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.7732031345367432},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.6230225563049316},{"id":"https://openalex.org/C108010975","wikidata":"https://www.wikidata.org/wiki/Q500094","display_name":"Pruning","level":2,"score":0.6160963773727417},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.6094658374786377},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.5226064324378967},{"id":"https://openalex.org/C58013763","wikidata":"https://www.wikidata.org/wiki/Q5754574","display_name":"High-level synthesis","level":3,"score":0.5053606629371643},{"id":"https://openalex.org/C93693863","wikidata":"https://www.wikidata.org/wiki/Q897659","display_name":"Branch and bound","level":2,"score":0.4979970455169678},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.49114343523979187},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4669996500015259},{"id":"https://openalex.org/C2984822820","wikidata":"https://www.wikidata.org/wiki/Q1123036","display_name":"Processor scheduling","level":3,"score":0.462437242269516},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.4480465352535248},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4264713525772095},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4159688353538513},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.264911413192749},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.13642257452011108},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11902153491973877},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.1173536479473114},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/codes-isss.2013.6659001","is_oa":false,"landing_page_url":"https://doi.org/10.1109/codes-isss.2013.6659001","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Decent work and economic growth","score":0.47999998927116394,"id":"https://metadata.un.org/sdg/8"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1563121416","https://openalex.org/W1582337824","https://openalex.org/W1600301286","https://openalex.org/W1967178860","https://openalex.org/W1999538298","https://openalex.org/W2028558381","https://openalex.org/W2057913622","https://openalex.org/W2071192604","https://openalex.org/W2093842169","https://openalex.org/W2094998159","https://openalex.org/W2102016326","https://openalex.org/W2105325410","https://openalex.org/W2111130897","https://openalex.org/W2119903202","https://openalex.org/W2125266303","https://openalex.org/W2131065168","https://openalex.org/W2138297762","https://openalex.org/W2138776667","https://openalex.org/W2154593868","https://openalex.org/W2156667542","https://openalex.org/W2157311434","https://openalex.org/W2158868759","https://openalex.org/W2166029537","https://openalex.org/W2171318521","https://openalex.org/W3149596646","https://openalex.org/W4247027762","https://openalex.org/W6683168791"],"related_works":["https://openalex.org/W2280422768","https://openalex.org/W2058369727","https://openalex.org/W2530146034","https://openalex.org/W2145890695","https://openalex.org/W4239976916","https://openalex.org/W2153937041","https://openalex.org/W3147403077","https://openalex.org/W1976754731","https://openalex.org/W2040414470","https://openalex.org/W2073831404"],"abstract_inverted_index":{"As":[0],"a":[1],"key":[2],"step":[3],"of":[4,49,58],"high-level":[5],"synthesis":[6],"(HLS),":[7],"resource":[8,29],"constrained":[9],"scheduling":[10],"(RCS)":[11],"tries":[12],"to":[13,35],"find":[14],"an":[15,38],"optimal":[16,39],"schedule":[17,40],"which":[18],"can":[19,44,88,103],"dispatch":[20],"all":[21],"the":[22,54,63,69,75,91,105],"operations":[23],"with":[24],"minimum":[25],"latency":[26],"under":[27],"specific":[28],"constraints.":[30],"Branch-and-bound":[31],"heuristics":[32],"are":[33,60],"promising":[34],"achieve":[36],"such":[37],"quickly,":[41],"since":[42],"they":[43],"prune":[45],"away":[46],"large":[47],"parts":[48],"infeasible":[50],"solution":[51],"space":[52],"during":[53],"exploration.":[55],"However,":[56],"few":[57],"them":[59],"based":[61],"on":[62,68],"prevalent":[64],"multi-core":[65],"platforms.":[66],"Based":[67],"bound":[70],"information,":[71],"this":[72],"paper":[73],"exploits":[74],"parallel":[76],"pruning":[77],"potentials":[78],"from":[79],"different":[80],"perspectives":[81],"and":[82],"proposes":[83],"various":[84],"efficient":[85],"techniques":[86],"that":[87,100],"substantially":[89],"reduce":[90,104],"overall":[92],"RCS":[93,106],"search":[94],"efforts.":[95],"The":[96],"experimental":[97],"results":[98],"demonstrate":[99],"our":[101],"approach":[102],"time":[107],"drastically.":[108]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}