{"id":"https://openalex.org/W2002620973","doi":"https://doi.org/10.1145/1324969.1324975","title":"Uniprocessor scheduling under precedence constraints for embedded systems design","display_name":"Uniprocessor scheduling under precedence constraints for embedded systems design","publication_year":2007,"publication_date":"2007-12-01","ids":{"openalex":"https://openalex.org/W2002620973","doi":"https://doi.org/10.1145/1324969.1324975","mag":"2002620973"},"language":"en","primary_location":{"id":"doi:10.1145/1324969.1324975","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1324969.1324975","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"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 Embedded Computing 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/A5033111076","display_name":"Leonardo Mangeruca","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Leonardo Mangeruca","raw_affiliation_strings":["Parades E.E.I.G., Roma, Italy"],"affiliations":[{"raw_affiliation_string":"Parades E.E.I.G., Roma, Italy","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059953092","display_name":"Massimo Baleani","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Massimo Baleani","raw_affiliation_strings":["Parades E.E.I.G., Roma, Italy"],"affiliations":[{"raw_affiliation_string":"Parades E.E.I.G., Roma, Italy","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103700447","display_name":"Alberto Ferrari","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alberto Ferrari","raw_affiliation_strings":["Parades E.E.I.G., Roma, Italy"],"affiliations":[{"raw_affiliation_string":"Parades E.E.I.G., Roma, Italy","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088660554","display_name":"Alberto Sangiovanni\u2010Vincentelli","orcid":"https://orcid.org/0000-0003-1298-8389"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alberto Sangiovanni-Vincentelli","raw_affiliation_strings":["University of California, Berkeley, California"],"affiliations":[{"raw_affiliation_string":"University of California, Berkeley, California","institution_ids":["https://openalex.org/I95457486"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5033111076"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6333,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.69887663,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"7","issue":"1","first_page":"1","last_page":"30"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998999834060669,"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.9998999834060669,"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.994700014591217,"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/T10142","display_name":"Formal Methods in Verification","score":0.9915000200271606,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.8557777404785156},{"id":"https://openalex.org/keywords/uniprocessor-system","display_name":"Uniprocessor system","score":0.7681493759155273},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.6429276466369629},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.6177027225494385},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.5156108736991882},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.474842369556427},{"id":"https://openalex.org/keywords/dynamic-priority-scheduling","display_name":"Dynamic priority scheduling","score":0.45963531732559204},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.2395506501197815},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.13118603825569153},{"id":"https://openalex.org/keywords/multiprocessing","display_name":"Multiprocessing","score":0.07009533047676086},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.06870627403259277}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8557777404785156},{"id":"https://openalex.org/C79189994","wikidata":"https://www.wikidata.org/wiki/Q3488021","display_name":"Uniprocessor system","level":3,"score":0.7681493759155273},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.6429276466369629},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.6177027225494385},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5156108736991882},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.474842369556427},{"id":"https://openalex.org/C107568181","wikidata":"https://www.wikidata.org/wiki/Q5319000","display_name":"Dynamic priority scheduling","level":3,"score":0.45963531732559204},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.2395506501197815},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.13118603825569153},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.07009533047676086},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.06870627403259277},{"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/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1324969.1324975","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1324969.1324975","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"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 Embedded Computing 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":18,"referenced_works":["https://openalex.org/W1526035966","https://openalex.org/W1658875433","https://openalex.org/W1999728843","https://openalex.org/W2012912569","https://openalex.org/W2019285863","https://openalex.org/W2064207294","https://openalex.org/W2093100591","https://openalex.org/W2097889900","https://openalex.org/W2103779723","https://openalex.org/W2104319554","https://openalex.org/W2109488193","https://openalex.org/W2111206806","https://openalex.org/W2158086125","https://openalex.org/W2160293203","https://openalex.org/W2167754005","https://openalex.org/W2169170386","https://openalex.org/W3023139863","https://openalex.org/W3123618879"],"related_works":["https://openalex.org/W160191800","https://openalex.org/W2172075652","https://openalex.org/W2508864672","https://openalex.org/W4381889969","https://openalex.org/W1712986213","https://openalex.org/W2001066483","https://openalex.org/W2888222534","https://openalex.org/W2605049164","https://openalex.org/W4293461542","https://openalex.org/W2350876336"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3],"present":[4],"a":[5,15,95],"novel":[6],"approach":[7],"to":[8,79],"the":[9,24],"constrained":[10],"scheduling":[11,39,50],"problem,":[12],"while":[13,63],"addressing":[14],"more":[16],"general":[17,33],"class":[18],"of":[19],"constraints":[20,42,67],"that":[21,56],"arise":[22],"from":[23],"timing":[25],"requirements":[26],"on":[27,87,94],"real-time":[28],"embedded":[29],"controllers.":[30],"We":[31,52,71],"provide":[32,57],"necessary":[34],"and":[35,43,60,68],"sufficient":[36,45],"conditions":[37,46],"for":[38,47],"under":[40],"precedence":[41,66],"derive":[44],"two":[48],"well-known":[49],"policies.":[51],"define":[53],"mathematical":[54],"problems":[55,75],"optimum":[58],"priority":[59],"deadline":[61],"assignments,":[62],"ensuring":[64],"both":[65],"system's":[69],"schedulability.":[70],"show":[72],"how":[73],"these":[74],"can":[76],"be":[77],"relaxed":[78],"corresponding":[80],"integer":[81],"linear":[82],"programming":[83],"(ILP)":[84],"formulations":[85],"leveraging":[86],"available":[88],"solvers.":[89],"The":[90],"results":[91],"are":[92],"demonstrated":[93],"real":[96],"design":[97],"case.":[98]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}