{"id":"https://openalex.org/W3091767725","doi":"https://doi.org/10.1109/tcad.2020.3012174","title":"Efficient Feasibility Analysis for Graph-Based Real-Time Task Systems","display_name":"Efficient Feasibility Analysis for Graph-Based Real-Time Task Systems","publication_year":2020,"publication_date":"2020-10-02","ids":{"openalex":"https://openalex.org/W3091767725","doi":"https://doi.org/10.1109/tcad.2020.3012174","mag":"3091767725"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2020.3012174","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2020.3012174","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and 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/A5101796840","display_name":"Jinghao Sun","orcid":"https://orcid.org/0000-0003-4107-1123"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jinghao Sun","raw_affiliation_strings":["School Of Computer Science and Technology, Dalian University of Technology, Dalian, China"],"affiliations":[{"raw_affiliation_string":"School Of Computer Science and Technology, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045422800","display_name":"Rongxiao Shi","orcid":null},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Rongxiao Shi","raw_affiliation_strings":["School Of Computer Science and Engineering, Northeastern University, Shenyang, China"],"affiliations":[{"raw_affiliation_string":"School Of Computer Science and Engineering, Northeastern University, Shenyang, China","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014365979","display_name":"Kexuan Wang","orcid":"https://orcid.org/0000-0003-1334-1472"},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Kexuan Wang","raw_affiliation_strings":["School Of Computer Science and Engineering, Northeastern University, Shenyang, China"],"affiliations":[{"raw_affiliation_string":"School Of Computer Science and Engineering, Northeastern University, Shenyang, China","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002245169","display_name":"Nan Guan","orcid":"https://orcid.org/0000-0003-3775-911X"},"institutions":[{"id":"https://openalex.org/I14243506","display_name":"Hong Kong Polytechnic University","ror":"https://ror.org/0030zas98","country_code":"HK","type":"education","lineage":["https://openalex.org/I14243506"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Nan Guan","raw_affiliation_strings":["Department of Computing, Hong Kong Polytechnic University, Hong Kong"],"affiliations":[{"raw_affiliation_string":"Department of Computing, Hong Kong Polytechnic University, Hong Kong","institution_ids":["https://openalex.org/I14243506"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067621571","display_name":"Zhishan Guo","orcid":"https://orcid.org/0000-0002-5967-1058"},"institutions":[{"id":"https://openalex.org/I106165777","display_name":"University of Central Florida","ror":"https://ror.org/036nfer12","country_code":"US","type":"education","lineage":["https://openalex.org/I106165777"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhishan Guo","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Central Florida, Orlando, FL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Central Florida, Orlando, FL, USA","institution_ids":["https://openalex.org/I106165777"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5101796840"],"corresponding_institution_ids":["https://openalex.org/I27357992"],"apc_list":null,"apc_paid":null,"fwci":0.2342,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.50035496,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"39","issue":"11","first_page":"3385","last_page":"3397"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994999766349792,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994999766349792,"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.9980999827384949,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9980999827384949,"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.7696336507797241},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.7345994710922241},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5976012349128723},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5462940335273743},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5312601923942566},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.4985227584838867},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.47366270422935486},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.4588812291622162},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.4334799647331238},{"id":"https://openalex.org/keywords/interval-arithmetic","display_name":"Interval arithmetic","score":0.4236205518245697},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.42214423418045044},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.412917822599411},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.298411101102829},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12462791800498962},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.07007381319999695}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7696336507797241},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.7345994710922241},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5976012349128723},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5462940335273743},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5312601923942566},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.4985227584838867},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47366270422935486},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.4588812291622162},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.4334799647331238},{"id":"https://openalex.org/C191252586","wikidata":"https://www.wikidata.org/wiki/Q1671453","display_name":"Interval arithmetic","level":3,"score":0.4236205518245697},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.42214423418045044},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.412917822599411},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.298411101102829},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12462791800498962},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.07007381319999695},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2020.3012174","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2020.3012174","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1256397579","display_name":null,"funder_award_id":"15213818","funder_id":"https://openalex.org/F4320321592","funder_display_name":"Research Grants Council, University Grants Committee"},{"id":"https://openalex.org/G2261976061","display_name":null,"funder_award_id":"U1808206","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6050970002","display_name":null,"funder_award_id":"GRF 15204917","funder_id":"https://openalex.org/F4320321592","funder_display_name":"Research Grants Council, University Grants Committee"},{"id":"https://openalex.org/G6115430872","display_name":null,"funder_award_id":"61972076","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6311521850","display_name":null,"funder_award_id":"CNS-1850851","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7703804649","display_name":null,"funder_award_id":"61672140","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321592","display_name":"Research Grants Council, University Grants Committee","ror":"https://ror.org/00djwmt25"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W1566191317","https://openalex.org/W1569199077","https://openalex.org/W1997238672","https://openalex.org/W2002476447","https://openalex.org/W2036081705","https://openalex.org/W2043148658","https://openalex.org/W2063356859","https://openalex.org/W2065028827","https://openalex.org/W2087424002","https://openalex.org/W2107233055","https://openalex.org/W2109488193","https://openalex.org/W2110186189","https://openalex.org/W2110634048","https://openalex.org/W2117778060","https://openalex.org/W2119358936","https://openalex.org/W2127467256","https://openalex.org/W2134961957","https://openalex.org/W2154835224","https://openalex.org/W2156021445","https://openalex.org/W2167898851","https://openalex.org/W2302319408","https://openalex.org/W2336147195","https://openalex.org/W2389028360","https://openalex.org/W2527946915","https://openalex.org/W2529891289","https://openalex.org/W2532760205","https://openalex.org/W2539293379","https://openalex.org/W2610896884","https://openalex.org/W2617068312","https://openalex.org/W2617505721","https://openalex.org/W2886159080","https://openalex.org/W2895960568","https://openalex.org/W2899143346","https://openalex.org/W2957550324","https://openalex.org/W4230784452","https://openalex.org/W4285719527","https://openalex.org/W6727983165"],"related_works":["https://openalex.org/W2045155990","https://openalex.org/W4313163053","https://openalex.org/W4300973204","https://openalex.org/W1483408780","https://openalex.org/W4284884309","https://openalex.org/W4243842598","https://openalex.org/W2105980483","https://openalex.org/W2007666006","https://openalex.org/W1589381382","https://openalex.org/W961142965"],"abstract_inverted_index":{"The":[0,78],"demand":[1,91],"bound":[2],"function":[3],"(DBF)":[4],"is":[5,27,80,98],"a":[6,46,122],"powerful":[7],"abstraction":[8],"to":[9,38,73,88,100,107,132,138,163],"analyze":[10],"the":[11,17,41,58,74,90,101,110,141,147,173],"feasibility/schedulability":[12],"of":[13,76,85,103,178],"real-time":[14,52],"tasks.":[15],"Computing":[16],"DBF":[18,42,155],"for":[19,45,69,92,112,130,157],"expressive":[20],"system":[21],"models,":[22],"such":[23],"as":[24],"graph-based":[25,48],"tasks,":[26,72],"typically":[28],"very":[29],"expensive.":[30],"In":[31],"this":[32,118],"article,":[33],"we":[34,56,120,134,145],"develop":[35,121],"new":[36],"techniques":[37,84],"drastically":[39],"improve":[40,140,146,172],"computation":[43,111,150,156],"efficiency":[44,159,175],"representative":[47],"task":[49,148],"model,":[50],"digraph":[51],"tasks":[53],"(DRT).":[54],"First,":[55],"apply":[57,136],"well-known":[59],"quick":[60],"processor-demand":[61],"analysis":[62,75,83,128,142,174],"(QPA)":[63],"technique,":[64],"which":[65,97,133],"was":[66],"originally":[67],"designed":[68],"simple":[70],"sporadic":[71],"DRT.":[77],"challenge":[79],"that":[81,105,168],"existing":[82],"DRT":[86],"have":[87],"compute":[89],"each":[93],"possible":[94],"interval":[95,114],"size,":[96],"contradictory":[99],"idea":[102],"QPA":[104,137],"aims":[106],"aggressively":[108],"skip":[109],"most":[113],"sizes.":[115],"To":[116],"solve":[117],"problem,":[119],"novel":[123],"integer":[124],"linear":[125],"programming":[126],"(ILP)-based":[127],"technique":[129],"DRT,":[131],"can":[135,171],"significantly":[139],"efficiency.":[143],"Second,":[144],"utilization":[149],"(a":[151],"major":[152],"step":[153],"in":[154],"DRT)":[158],"from":[160],"pseudo-polynomial":[161],"complexity":[162],"polynomial":[164],"complexity.":[165],"Experiments":[166],"show":[167],"our":[169],"approach":[170],"by":[176],"dozens":[177],"times.":[179]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}