{"id":"https://openalex.org/W2056291785","doi":"https://doi.org/10.1145/1698759.1698763","title":"Hardware/software partitioning and pipelined scheduling on runtime reconfigurable FPGAs","display_name":"Hardware/software partitioning and pipelined scheduling on runtime reconfigurable FPGAs","publication_year":2010,"publication_date":"2010-02-01","ids":{"openalex":"https://openalex.org/W2056291785","doi":"https://doi.org/10.1145/1698759.1698763","mag":"2056291785"},"language":"en","primary_location":{"id":"doi:10.1145/1698759.1698763","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1698759.1698763","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-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/A5109233250","display_name":"Mingxuan Yuan","orcid":null},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]},{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]},{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]}],"countries":["CN","HK"],"is_corresponding":true,"raw_author_name":"Mingxuan Yuan","raw_affiliation_strings":["Zhejiang University, P. R. China and Hong Kong University of Science and Technology"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, P. R. China and Hong Kong University of Science and Technology","institution_ids":["https://openalex.org/I200769079","https://openalex.org/I76130692","https://openalex.org/I889458895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029808393","display_name":"Zonghua Gu","orcid":"https://orcid.org/0000-0003-4228-2774"},"institutions":[{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]},{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]},{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["CN","HK"],"is_corresponding":false,"raw_author_name":"Zonghua Gu","raw_affiliation_strings":["Zhejiang University, P. R. China and Hong Kong University of Science and Technology"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, P. R. China and Hong Kong University of Science and Technology","institution_ids":["https://openalex.org/I200769079","https://openalex.org/I76130692","https://openalex.org/I889458895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014618966","display_name":"Xiuqiang He","orcid":"https://orcid.org/0000-0002-3755-7553"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]},{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]},{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]}],"countries":["CN","HK"],"is_corresponding":false,"raw_author_name":"Xiuqiang He","raw_affiliation_strings":["Zhejiang University, P. R. China and Hong Kong University of Science and Technology"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, P. R. China and Hong Kong University of Science and Technology","institution_ids":["https://openalex.org/I200769079","https://openalex.org/I76130692","https://openalex.org/I889458895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100372152","display_name":"Xue Liu","orcid":"https://orcid.org/0000-0001-5252-3442"},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Xue Liu","raw_affiliation_strings":["Mcgill University, Quebec, Canada"],"affiliations":[{"raw_affiliation_string":"Mcgill University, Quebec, Canada","institution_ids":["https://openalex.org/I5023651"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103098320","display_name":"Lei Jiang","orcid":"https://orcid.org/0000-0003-4795-0284"},"institutions":[{"id":"https://openalex.org/I170201317","display_name":"University of Pittsburgh","ror":"https://ror.org/01an3r305","country_code":"US","type":"education","lineage":["https://openalex.org/I170201317"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lei Jiang","raw_affiliation_strings":["University of Pittsburgh, Pittsburgh, PA"],"affiliations":[{"raw_affiliation_string":"University of Pittsburgh, Pittsburgh, PA","institution_ids":["https://openalex.org/I170201317"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5109233250"],"corresponding_institution_ids":["https://openalex.org/I200769079","https://openalex.org/I76130692","https://openalex.org/I889458895"],"apc_list":null,"apc_paid":null,"fwci":0.4994,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.66396839,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"15","issue":"2","first_page":"1","last_page":"41"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"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":1.0,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"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.9995999932289124,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9128925800323486},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.6746329069137573},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.6571577787399292},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5734460949897766},{"id":"https://openalex.org/keywords/reconfigurable-computing","display_name":"Reconfigurable computing","score":0.5502356886863708},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.4857088029384613},{"id":"https://openalex.org/keywords/reconfigurability","display_name":"Reconfigurability","score":0.4654776453971863},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.41017934679985046},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.36417871713638306},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10254830121994019}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9128925800323486},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.6746329069137573},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.6571577787399292},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5734460949897766},{"id":"https://openalex.org/C142962650","wikidata":"https://www.wikidata.org/wiki/Q240838","display_name":"Reconfigurable computing","level":3,"score":0.5502356886863708},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.4857088029384613},{"id":"https://openalex.org/C2780149590","wikidata":"https://www.wikidata.org/wiki/Q7302742","display_name":"Reconfigurability","level":2,"score":0.4654776453971863},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.41017934679985046},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.36417871713638306},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10254830121994019},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1698759.1698763","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1698759.1698763","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4371422983","display_name":null,"funder_award_id":"STPGP 364910-08FQRNT 2010-NC-131844","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G5255413310","display_name":null,"funder_award_id":"6.14E+11","funder_id":"https://openalex.org/F4320321592","funder_display_name":"Research Grants Council, University Grants Committee"}],"funders":[{"id":"https://openalex.org/F4320321592","display_name":"Research Grants Council, University Grants Committee","ror":"https://ror.org/00djwmt25"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W113754791","https://openalex.org/W1973011394","https://openalex.org/W1976339994","https://openalex.org/W2000036939","https://openalex.org/W2024060531","https://openalex.org/W2032187200","https://openalex.org/W2034833774","https://openalex.org/W2040128025","https://openalex.org/W2053913299","https://openalex.org/W2057361103","https://openalex.org/W2069323107","https://openalex.org/W2090068045","https://openalex.org/W2099746521","https://openalex.org/W2100919341","https://openalex.org/W2106970052","https://openalex.org/W2109710497","https://openalex.org/W2115133259","https://openalex.org/W2118007759","https://openalex.org/W2125967324","https://openalex.org/W2127640367","https://openalex.org/W2131167145","https://openalex.org/W2136453233","https://openalex.org/W2138029242","https://openalex.org/W2142386205","https://openalex.org/W2142785340","https://openalex.org/W2148583999","https://openalex.org/W2159456929","https://openalex.org/W2160574318","https://openalex.org/W2160702965","https://openalex.org/W2161577181","https://openalex.org/W2296760900","https://openalex.org/W2397616328","https://openalex.org/W4229655397"],"related_works":["https://openalex.org/W2150194641","https://openalex.org/W2160019493","https://openalex.org/W1895654053","https://openalex.org/W1966868317","https://openalex.org/W1986989907","https://openalex.org/W2133965417","https://openalex.org/W2980931525","https://openalex.org/W2160367103","https://openalex.org/W2042850549","https://openalex.org/W2297943345"],"abstract_inverted_index":{"FPGAs":[0],"are":[1,159],"widely":[2],"used":[3],"in":[4,77],"today's":[5],"embedded":[6],"systems":[7],"design":[8],"due":[9],"to":[10,36,43,64,108,168,174,226],"their":[11],"low":[12],"cost,":[13],"high":[14],"performance,":[15],"and":[16,26,54,92,95,113,177],"reconfigurability.":[17],"Partially":[18],"RunTime-Reconfigurable":[19],"(PRTR)":[20],"FPGAs,":[21],"such":[22],"as":[23,193],"Virtex-2":[24],"Pro":[25],"Virtex-4":[27],"from":[28,223],"Xilinx,":[29],"allow":[30],"part":[31],"of":[32,80,106,121,147,231],"the":[33,40,78,89,100,118,123,145,172,183,194,199,216,228,232],"FPGA":[34,143],"area":[35,97],"be":[37,52],"reconfigured":[38],"while":[39,151],"remainder":[41],"continues":[42],"operate":[44],"without":[45],"interruption,":[46],"so":[47],"that":[48],"HW":[49,65,90,110],"tasks":[50,107],"can":[51],"placed":[53],"removed":[55],"dynamically":[56],"at":[57],"runtime.":[58],"We":[59,181],"address":[60],"two":[61,200],"problems":[62,158],"related":[63],"task":[66,82,134],"scheduling":[67,201,218],"on":[68,88,99,140,212],"PRTR":[69,142],"FPGAs:":[70],"(1)":[71],"HW/SW":[72],"partitioning.":[73],"Given":[74,131],"an":[75,103,132,166,207],"application":[76],"form":[79],"a":[81,114,137,141,153,220],"graph":[83],"with":[84,117,144,187],"known":[85,96],"execution":[86],"times":[87],"(FPGA)":[91],"SW":[93,112,224],"(CPU),":[94],"sizes":[98],"FPGA,":[101],"find":[102],"valid":[104],"allocation":[105],"either":[109],"or":[111],"static":[115],"schedule":[116,125,139],"optimization":[119,195],"objective":[120],"minimizing":[122],"total":[124],"length":[126],"(makespan).":[127],"(2)":[128],"Pipelined":[129],"scheduling.":[130],"input":[133],"graph,":[135],"construct":[136],"pipelined":[138,217],"goal":[146],"maximizing":[148],"system":[149],"throughput":[150],"meeting":[152],"given":[154],"end-to-end":[155],"deadline.":[156],"Both":[157],"NP-hard.":[160],"Satisfiability":[161],"Modulo":[162],"Theories":[163],"(SMT)":[164],"is":[165],"extension":[167],"SAT":[169],"by":[170],"adding":[171],"ability":[173],"handle":[175],"arithmetic":[176],"other":[178],"decidable":[179],"theories.":[180],"use":[182],"SMT":[184],"solver":[185],"Yices":[186],"Linear":[188],"Integer":[189],"Arithmetic":[190],"(LIA)":[191],"theory":[192],"engine":[196],"for":[197,215],"solving":[198],"problems.":[202],"In":[203],"addition,":[204],"we":[205],"present":[206],"efficient":[208],"heuristic":[209],"algorithm":[210],"based":[211],"kernel":[213],"recognition":[214],"problem,":[219],"technique":[221],"borrowed":[222],"pipelining,":[225],"overcome":[227],"scalability":[229],"problem":[230],"SMT-based":[233],"optimal":[234],"solution":[235],"technique.":[236]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}