{"id":"https://openalex.org/W2031155920","doi":"https://doi.org/10.1145/2003695.2003696","title":"2011 ACM TODAES best paper award","display_name":"2011 ACM TODAES best paper award","publication_year":2011,"publication_date":"2011-10-01","ids":{"openalex":"https://openalex.org/W2031155920","doi":"https://doi.org/10.1145/2003695.2003696","mag":"2031155920"},"language":"en","primary_location":{"id":"doi:10.1145/2003695.2003696","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2003695.2003696","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/A5083330935","display_name":"Meikang Qiu","orcid":"https://orcid.org/0000-0002-1004-0140"},"institutions":[{"id":"https://openalex.org/I192396691","display_name":"University of New Orleans","ror":"https://ror.org/034mtvk83","country_code":"US","type":"education","lineage":["https://openalex.org/I192396691","https://openalex.org/I2799628689"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Meikang Qiu","raw_affiliation_strings":["University of New Orleans and University of Texas at Dallas","University of New Orleans and University of Texas at Dallas#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of New Orleans and University of Texas at Dallas","institution_ids":["https://openalex.org/I192396691"]},{"raw_affiliation_string":"University of New Orleans and University of Texas at Dallas#TAB#","institution_ids":["https://openalex.org/I192396691"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077381252","display_name":"Edwin H.\u2010M. Sha","orcid":"https://orcid.org/0000-0001-5605-5631"},"institutions":[{"id":"https://openalex.org/I192396691","display_name":"University of New Orleans","ror":"https://ror.org/034mtvk83","country_code":"US","type":"education","lineage":["https://openalex.org/I192396691","https://openalex.org/I2799628689"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Edwin H.-M. Sha","raw_affiliation_strings":["University of New Orleans and University of Texas at Dallas","University of New Orleans and University of Texas at Dallas#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of New Orleans and University of Texas at Dallas","institution_ids":["https://openalex.org/I192396691"]},{"raw_affiliation_string":"University of New Orleans and University of Texas at Dallas#TAB#","institution_ids":["https://openalex.org/I192396691"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I192396691"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.10232733,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"16","issue":"4","first_page":"1","last_page":"1"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9976000189781189,"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.9976000189781189,"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.9973999857902527,"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.992900013923645,"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.8518794775009155},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.688030481338501},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.5505533218383789},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5388085842132568},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.5053253769874573},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.48037654161453247},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.46289435029029846},{"id":"https://openalex.org/keywords/time-constraint","display_name":"Time constraint","score":0.44027960300445557},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.43939706683158875},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.43734681606292725},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.42639249563217163},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.42079854011535645},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11271515488624573},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09576338529586792}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8518794775009155},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.688030481338501},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.5505533218383789},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5388085842132568},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.5053253769874573},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.48037654161453247},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.46289435029029846},{"id":"https://openalex.org/C2775907273","wikidata":"https://www.wikidata.org/wiki/Q7805281","display_name":"Time constraint","level":2,"score":0.44027960300445557},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.43939706683158875},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.43734681606292725},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.42639249563217163},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.42079854011535645},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11271515488624573},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09576338529586792},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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/2003695.2003696","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2003695.2003696","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":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2379400063","https://openalex.org/W2056754788","https://openalex.org/W1996678060","https://openalex.org/W1996913881","https://openalex.org/W2067631180","https://openalex.org/W2482624724","https://openalex.org/W2385681271","https://openalex.org/W836555340","https://openalex.org/W2393276978","https://openalex.org/W2123522572"],"abstract_inverted_index":{"In":[0],"high-level":[1],"synthesis":[2],"for":[3,21,94,111],"real-time":[4,97,100],"embedded":[5],"systems":[6],"using":[7,189],"heterogeneous":[8,48],"functional":[9],"units":[10],"(FUs),":[11],"it":[12],"is":[13,73,79,118,129,134],"critical":[14],"to":[15,65,88,106,139],"select":[16],"the":[17,47,57,70,76,89,108,112,116,132,141,153,186,190],"best":[18],"FU":[19,63],"type":[20,64],"each":[22,36,66],"task.":[23],"However,":[24],"some":[25],"tasks":[26],"may":[27],"not":[28],"have":[29],"fixed":[30],"execution":[31,38],"times.":[32],"This":[33],"article":[34],"models":[35],"varied":[37],"time":[39],"as":[40],"a":[41,61,82,119,122],"probabilistic":[42],"random":[43],"variable":[44],"and":[45,98,131],"solves":[46],"assignment":[49],"with":[50,81,160,177,185],"probability":[51,180],"(HAP)":[52],"problem.":[53,143],"The":[54,86,144],"solution":[55],"of":[56,172],"HAP":[58,90,113],"problem":[59,91,114],"assigns":[60],"proper":[62],"task":[67],"such":[68],"that":[69,147],"total":[71,154,175],"cost":[72,155,176],"minimized":[74],"while":[75,156],"timing":[77,158,182],"constraint":[78],"satisfied":[80],"guaranteed":[83,161],"confidence":[84,162,179],"probability.":[85],"solutions":[87,110],"are":[92,104,137],"useful":[93],"both":[95],"hard":[96],"soft":[99],"systems.":[101],"Optimal":[102],"algorithms":[103,149,167],"proposed":[105,138],"find":[107],"optimal":[109,130],"when":[115],"input":[117],"tree":[120],"or":[121],"simple":[123],"path.":[124],"Two":[125],"other":[126,133],"algorithms,":[127],"one":[128],"near-optimal":[135],"heuristic,":[136],"solve":[140],"general":[142],"experiments":[145],"show":[146],"our":[148,166],"can":[150],"effectively":[151],"reduce":[152],"satisfying":[157,181],"constraints":[159,183],"probabilities.":[163],"For":[164],"example,":[165],"achieve":[168],"an":[169],"average":[170],"reduction":[171],"33.0%":[173],"on":[174],"0.90":[178],"compared":[184],"previous":[187],"work":[188],"worst-case":[191],"scenario.":[192]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}