Matches in SemOpenAlex for { <https://semopenalex.org/work/W2006023091> ?p ?o ?g. }
- W2006023091 endingPage "1034" @default.
- W2006023091 startingPage "1029" @default.
- W2006023091 abstract "In the synchronous periodic task model, a set τ1, ..., τn of tasks is given, each releasing jobs of running time ci with relative deadline di, at each integer multiple of the period pi. It is a classical result that Earliest Deadline First (EDF) is an optimal preemptive uniprocessor scheduling policy. For constrained deadlines, i.e. di ≤ pi, the EDF-schedule is feasible if and only if[EQUATION]Though an enormous amount of literature deals with this topic, the complexity status of this test has remained unknown. We prove that testing EDF-schedulability of such a task system is (weakly) coNP-hard. This solves Problem 2 from the survey Open Problems in Real-time Scheduling by Baruah & Pruhs. The hardness result is achieved by applying recent results on inapproximability of Diophantine approximation." @default.
- W2006023091 created "2016-06-24" @default.
- W2006023091 creator A5000598657 @default.
- W2006023091 creator A5008952420 @default.
- W2006023091 date "2010-01-17" @default.
- W2006023091 modified "2023-10-17" @default.
- W2006023091 title "EDF-schedulability of synchronous periodic task systems is coNP-hard" @default.
- W2006023091 cites W1501066815 @default.
- W2006023091 cites W1566191317 @default.
- W2006023091 cites W1576101174 @default.
- W2006023091 cites W1583069712 @default.
- W2006023091 cites W1585437534 @default.
- W2006023091 cites W1852633567 @default.
- W2006023091 cites W194244820 @default.
- W2006023091 cites W2030926924 @default.
- W2006023091 cites W2034751786 @default.
- W2006023091 cites W2057182494 @default.
- W2006023091 cites W2104635487 @default.
- W2006023091 cites W2104788146 @default.
- W2006023091 cites W2105995702 @default.
- W2006023091 cites W2127467256 @default.
- W2006023091 cites W2129757807 @default.
- W2006023091 cites W2137784941 @default.
- W2006023091 cites W2142511658 @default.
- W2006023091 cites W2150529683 @default.
- W2006023091 cites W2169193227 @default.
- W2006023091 cites W2262960161 @default.
- W2006023091 cites W2611804663 @default.
- W2006023091 cites W2798435870 @default.
- W2006023091 doi "https://doi.org/10.5555/1873601.1873684" @default.
- W2006023091 hasPublicationYear "2010" @default.
- W2006023091 type Work @default.
- W2006023091 sameAs 2006023091 @default.
- W2006023091 citedByCount "18" @default.
- W2006023091 countsByYear W20060230912012 @default.
- W2006023091 countsByYear W20060230912013 @default.
- W2006023091 countsByYear W20060230912014 @default.
- W2006023091 countsByYear W20060230912015 @default.
- W2006023091 countsByYear W20060230912016 @default.
- W2006023091 countsByYear W20060230912017 @default.
- W2006023091 countsByYear W20060230912018 @default.
- W2006023091 countsByYear W20060230912019 @default.
- W2006023091 crossrefType "proceedings-article" @default.
- W2006023091 hasAuthorship W2006023091A5000598657 @default.
- W2006023091 hasAuthorship W2006023091A5008952420 @default.
- W2006023091 hasConcept C107568181 @default.
- W2006023091 hasConcept C111919701 @default.
- W2006023091 hasConcept C120314980 @default.
- W2006023091 hasConcept C126255220 @default.
- W2006023091 hasConcept C127456818 @default.
- W2006023091 hasConcept C162324750 @default.
- W2006023091 hasConcept C173608175 @default.
- W2006023091 hasConcept C187736073 @default.
- W2006023091 hasConcept C206729178 @default.
- W2006023091 hasConcept C206952183 @default.
- W2006023091 hasConcept C2780451532 @default.
- W2006023091 hasConcept C2984822820 @default.
- W2006023091 hasConcept C32310161 @default.
- W2006023091 hasConcept C33923547 @default.
- W2006023091 hasConcept C41008148 @default.
- W2006023091 hasConcept C4822641 @default.
- W2006023091 hasConcept C68387754 @default.
- W2006023091 hasConcept C79189994 @default.
- W2006023091 hasConcept C97137487 @default.
- W2006023091 hasConceptScore W2006023091C107568181 @default.
- W2006023091 hasConceptScore W2006023091C111919701 @default.
- W2006023091 hasConceptScore W2006023091C120314980 @default.
- W2006023091 hasConceptScore W2006023091C126255220 @default.
- W2006023091 hasConceptScore W2006023091C127456818 @default.
- W2006023091 hasConceptScore W2006023091C162324750 @default.
- W2006023091 hasConceptScore W2006023091C173608175 @default.
- W2006023091 hasConceptScore W2006023091C187736073 @default.
- W2006023091 hasConceptScore W2006023091C206729178 @default.
- W2006023091 hasConceptScore W2006023091C206952183 @default.
- W2006023091 hasConceptScore W2006023091C2780451532 @default.
- W2006023091 hasConceptScore W2006023091C2984822820 @default.
- W2006023091 hasConceptScore W2006023091C32310161 @default.
- W2006023091 hasConceptScore W2006023091C33923547 @default.
- W2006023091 hasConceptScore W2006023091C41008148 @default.
- W2006023091 hasConceptScore W2006023091C4822641 @default.
- W2006023091 hasConceptScore W2006023091C68387754 @default.
- W2006023091 hasConceptScore W2006023091C79189994 @default.
- W2006023091 hasConceptScore W2006023091C97137487 @default.
- W2006023091 hasLocation W20060230911 @default.
- W2006023091 hasOpenAccess W2006023091 @default.
- W2006023091 hasPrimaryLocation W20060230911 @default.
- W2006023091 hasRelatedWork W1485093219 @default.
- W2006023091 hasRelatedWork W1566191317 @default.
- W2006023091 hasRelatedWork W1576101174 @default.
- W2006023091 hasRelatedWork W194244820 @default.
- W2006023091 hasRelatedWork W2011039300 @default.
- W2006023091 hasRelatedWork W2030926924 @default.
- W2006023091 hasRelatedWork W2033048442 @default.
- W2006023091 hasRelatedWork W2034751786 @default.
- W2006023091 hasRelatedWork W204261080 @default.
- W2006023091 hasRelatedWork W2056830486 @default.
- W2006023091 hasRelatedWork W2064207294 @default.
- W2006023091 hasRelatedWork W2086061827 @default.