{"id":"https://openalex.org/W2979989260","doi":"https://doi.org/10.1109/rtcsa.2019.8864569","title":"Cutting the Unnecessary Deadlines in EDF","display_name":"Cutting the Unnecessary Deadlines in EDF","publication_year":2019,"publication_date":"2019-08-01","ids":{"openalex":"https://openalex.org/W2979989260","doi":"https://doi.org/10.1109/rtcsa.2019.8864569","mag":"2979989260"},"language":"en","primary_location":{"id":"doi:10.1109/rtcsa.2019.8864569","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rtcsa.2019.8864569","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)","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/A5067618738","display_name":"Enrico Bini","orcid":"https://orcid.org/0000-0001-9205-584X"},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Enrico Bini","raw_affiliation_strings":["University of Turin, Italy"],"affiliations":[{"raw_affiliation_string":"University of Turin, Italy","institution_ids":["https://openalex.org/I55143463"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5067618738"],"corresponding_institution_ids":["https://openalex.org/I55143463"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.12875033,"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":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","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/T10933","display_name":"Real-Time Systems Scheduling","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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9961000084877014,"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.9950000047683716,"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.8037147521972656},{"id":"https://openalex.org/keywords/offset","display_name":"Offset (computer science)","score":0.6411604285240173},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5676622986793518},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5601541996002197},{"id":"https://openalex.org/keywords/processor-scheduling","display_name":"Processor scheduling","score":0.41395506262779236},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.4061993360519409},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3478713035583496},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.29863178730010986},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.14721935987472534},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.14501351118087769},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12971612811088562},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.10643354058265686},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09921762347221375}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8037147521972656},{"id":"https://openalex.org/C175291020","wikidata":"https://www.wikidata.org/wiki/Q1156822","display_name":"Offset (computer science)","level":2,"score":0.6411604285240173},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5676622986793518},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5601541996002197},{"id":"https://openalex.org/C2984822820","wikidata":"https://www.wikidata.org/wiki/Q1123036","display_name":"Processor scheduling","level":3,"score":0.41395506262779236},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.4061993360519409},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3478713035583496},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.29863178730010986},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.14721935987472534},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.14501351118087769},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12971612811088562},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.10643354058265686},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09921762347221375}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/rtcsa.2019.8864569","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rtcsa.2019.8864569","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.47999998927116394,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1534786329","https://openalex.org/W1536808883","https://openalex.org/W1802767708","https://openalex.org/W1944259500","https://openalex.org/W1986832144","https://openalex.org/W2043421108","https://openalex.org/W2068682617","https://openalex.org/W2086748818","https://openalex.org/W2096707344","https://openalex.org/W2105896457","https://openalex.org/W2109488193","https://openalex.org/W2110186189","https://openalex.org/W2110342729","https://openalex.org/W2114946359","https://openalex.org/W2125062835","https://openalex.org/W2127467256","https://openalex.org/W2141556971","https://openalex.org/W2143046770","https://openalex.org/W2143176410","https://openalex.org/W2155801247","https://openalex.org/W2231276398","https://openalex.org/W4255744180","https://openalex.org/W6632170826","https://openalex.org/W6677379084"],"related_works":["https://openalex.org/W2160425906","https://openalex.org/W1882733036","https://openalex.org/W1992741870","https://openalex.org/W2109998134","https://openalex.org/W1507894569","https://openalex.org/W1565190593","https://openalex.org/W3174582865","https://openalex.org/W2546696010","https://openalex.org/W2997221951","https://openalex.org/W2131746591"],"abstract_inverted_index":{"Together":[0],"with":[1,111],"Fixed":[2],"Priority":[3],"Scheduling,":[4],"Earliest":[5],"Deadline":[6],"First":[7],"(EDF)":[8],"is":[9,39,63,77,89,106,116,125,128,150],"the":[10,21,28,31,42,52,69,96,133,139,142],"second":[11],"leg":[12],"on":[13,23,153],"top":[14],"of":[15,20,30,54,61,71,82,98,123,141],"which":[16,47],"a":[17,36,59,75,80,91,104,120],"large":[18],"portion":[19],"research":[22],"real-time":[24],"systems":[25],"stands.":[26],"At":[27],"heart":[29],"EDF":[32],"exact":[33],"schedulability":[34],"test,":[35,46],"pivotal":[37],"role":[38],"played":[40],"by":[41],"demand":[43],"bound":[44],"function":[45],"requires":[48],"to":[49,57,68,100,109,131,146],"evaluate":[50],"whether":[51],"amount":[53,70],"work":[55],"required":[56],"complete":[58],"set":[60,81,97,122,134],"jobs":[62],"less":[64],"than":[65],"or":[66],"equal":[67],"time":[72,83],"available.":[73],"Such":[74,103],"test":[76],"checked":[78],"over":[79],"instants.":[84],"In":[85],"this":[86,148],"paper,":[87],"it":[88,115,127],"proposed":[90],"method":[92,105],"that":[93,118],"cuts":[94],"drastically":[95],"constraints":[99,124],"be":[101],"checked.":[102],"applicable":[107],"also":[108],"tasks":[110],"release":[112],"offset.":[113],"Notably,":[114],"proved":[117],"such":[119],"reduced":[121],"minimal:":[126],"not":[129],"possible":[130],"reduce":[132],"any":[135],"further":[136],"without":[137],"losing":[138],"sufficiency":[140],"test.":[143],"The":[144],"code":[145],"make":[147],"reduction":[149],"publicly":[151],"available":[152],"GitHub.":[154]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}