Matches in SemOpenAlex for { <https://semopenalex.org/work/W2129315023> ?p ?o ?g. }
- W2129315023 abstract "Real-time scheduling theory plays a key role in many time critical control systems or applications. In this paper, an interesting property of the Earliest Deadline First (EDF) algorithm, which has never been discussed before, is examined. To be specific, we conjecture that if a task set is schedulable under EDF, then for any task pair (τ <sub xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>i</sub> , τ <sub xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>j</sub> ) such that p <sub xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>i</sub> ≥ p <sub xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>j</sub> in this task set, there must be at least one whole execution of τ <sub xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>j</sub> occurring between the release time and deadline of any τ <sub xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>i</sub> 's job. Although this property is not hard to describe, its proof is far more difficult than expected. To prove this property, we first show the correctness of the conjecture for task sets consisting of only two real-time tasks. In view of the hardness in extending the proof to task sets having more than 2 members, extensive simulation experiments are conducted to support our intuition for general cases. The conjecture holds under a substantial number of parameter settings we have tried." @default.
- W2129315023 created "2016-06-24" @default.
- W2129315023 creator A5032547376 @default.
- W2129315023 creator A5079431238 @default.
- W2129315023 creator A5090161488 @default.
- W2129315023 creator A5091434120 @default.
- W2129315023 date "2011-07-01" @default.
- W2129315023 modified "2023-09-27" @default.
- W2129315023 title "On a novel property of the earliest deadline first algorithm" @default.
- W2129315023 cites W1580670913 @default.
- W2129315023 cites W1852803854 @default.
- W2129315023 cites W1991227700 @default.
- W2129315023 cites W2012912569 @default.
- W2129315023 cites W2034751786 @default.
- W2129315023 cites W2038364594 @default.
- W2129315023 cites W2052336939 @default.
- W2129315023 cites W2086748818 @default.
- W2129315023 cites W2092513324 @default.
- W2129315023 cites W2102299413 @default.
- W2129315023 cites W2151596065 @default.
- W2129315023 cites W2157218222 @default.
- W2129315023 cites W2159432165 @default.
- W2129315023 cites W2160293203 @default.
- W2129315023 cites W2262960161 @default.
- W2129315023 cites W2976445918 @default.
- W2129315023 doi "https://doi.org/10.1109/fskd.2011.6019496" @default.
- W2129315023 hasPublicationYear "2011" @default.
- W2129315023 type Work @default.
- W2129315023 sameAs 2129315023 @default.
- W2129315023 citedByCount "9" @default.
- W2129315023 countsByYear W21293150232013 @default.
- W2129315023 countsByYear W21293150232014 @default.
- W2129315023 countsByYear W21293150232015 @default.
- W2129315023 countsByYear W21293150232017 @default.
- W2129315023 countsByYear W21293150232018 @default.
- W2129315023 countsByYear W21293150232021 @default.
- W2129315023 crossrefType "proceedings-article" @default.
- W2129315023 hasAuthorship W2129315023A5032547376 @default.
- W2129315023 hasAuthorship W2129315023A5079431238 @default.
- W2129315023 hasAuthorship W2129315023A5090161488 @default.
- W2129315023 hasAuthorship W2129315023A5091434120 @default.
- W2129315023 hasConcept C111472728 @default.
- W2129315023 hasConcept C11413529 @default.
- W2129315023 hasConcept C118615104 @default.
- W2129315023 hasConcept C126255220 @default.
- W2129315023 hasConcept C132010649 @default.
- W2129315023 hasConcept C138885662 @default.
- W2129315023 hasConcept C162324750 @default.
- W2129315023 hasConcept C162838799 @default.
- W2129315023 hasConcept C187736073 @default.
- W2129315023 hasConcept C189950617 @default.
- W2129315023 hasConcept C206729178 @default.
- W2129315023 hasConcept C2780451532 @default.
- W2129315023 hasConcept C2780990831 @default.
- W2129315023 hasConcept C33923547 @default.
- W2129315023 hasConcept C41008148 @default.
- W2129315023 hasConcept C55439883 @default.
- W2129315023 hasConcept C80444323 @default.
- W2129315023 hasConceptScore W2129315023C111472728 @default.
- W2129315023 hasConceptScore W2129315023C11413529 @default.
- W2129315023 hasConceptScore W2129315023C118615104 @default.
- W2129315023 hasConceptScore W2129315023C126255220 @default.
- W2129315023 hasConceptScore W2129315023C132010649 @default.
- W2129315023 hasConceptScore W2129315023C138885662 @default.
- W2129315023 hasConceptScore W2129315023C162324750 @default.
- W2129315023 hasConceptScore W2129315023C162838799 @default.
- W2129315023 hasConceptScore W2129315023C187736073 @default.
- W2129315023 hasConceptScore W2129315023C189950617 @default.
- W2129315023 hasConceptScore W2129315023C206729178 @default.
- W2129315023 hasConceptScore W2129315023C2780451532 @default.
- W2129315023 hasConceptScore W2129315023C2780990831 @default.
- W2129315023 hasConceptScore W2129315023C33923547 @default.
- W2129315023 hasConceptScore W2129315023C41008148 @default.
- W2129315023 hasConceptScore W2129315023C55439883 @default.
- W2129315023 hasConceptScore W2129315023C80444323 @default.
- W2129315023 hasLocation W21293150231 @default.
- W2129315023 hasOpenAccess W2129315023 @default.
- W2129315023 hasPrimaryLocation W21293150231 @default.
- W2129315023 hasRelatedWork W1499133116 @default.
- W2129315023 hasRelatedWork W1602303317 @default.
- W2129315023 hasRelatedWork W1671781844 @default.
- W2129315023 hasRelatedWork W1828553624 @default.
- W2129315023 hasRelatedWork W1964220910 @default.
- W2129315023 hasRelatedWork W1999241485 @default.
- W2129315023 hasRelatedWork W2015480620 @default.
- W2129315023 hasRelatedWork W2058009924 @default.
- W2129315023 hasRelatedWork W2071368090 @default.
- W2129315023 hasRelatedWork W2113896693 @default.
- W2129315023 hasRelatedWork W2120028254 @default.
- W2129315023 hasRelatedWork W2170935076 @default.
- W2129315023 hasRelatedWork W2331786390 @default.
- W2129315023 hasRelatedWork W2916560869 @default.
- W2129315023 hasRelatedWork W2963051147 @default.
- W2129315023 hasRelatedWork W2988535844 @default.
- W2129315023 hasRelatedWork W2996020468 @default.
- W2129315023 hasRelatedWork W3094013952 @default.
- W2129315023 hasRelatedWork W3174008889 @default.
- W2129315023 hasRelatedWork W6056896 @default.
- W2129315023 isParatext "false" @default.
- W2129315023 isRetracted "false" @default.