Matches in SemOpenAlex for { <https://semopenalex.org/work/W3090251569> ?p ?o ?g. }
- W3090251569 endingPage "3992" @default.
- W3090251569 startingPage "3981" @default.
- W3090251569 abstract "We consider a real-time setting where an environment releases sequences of firm-deadline tasks, and an online scheduler chooses on-the-fly the ones to execute on a single processor so as to maximize cumulated utility. The competitive ratio is a well-known performance measure for the scheduler: it gives the worst-case ratio, among all possible choices for the environment, of the cumulated utility of the online scheduler versus an offline scheduler that knows these choices in advance. Traditionally, competitive analysis is performed by hand, while automated techniques are rare and only handle static environments with independent tasks. We present a quantitative-verification framework for precedence-aware competitive analysis, where task releases may depend on preceding scheduling choices, i.e., the environment can respond to scheduling decisions dynamically. We consider two general classes of precedences: 1) follower precedences force the release of a dependent task upon the completion of a set of precursor tasks, while and 2) pairing precedences modify the characteristics of a dependent task provided the completion of a set of precursor tasks. Precedences make competitive analysis challenging, as the online and offline schedulers operate on diverging sequences. We make a formal presentation of our framework, and use a GPU-based implementation to analyze ten well-known schedulers on precedence-based application examples taken from the existing literature: 1) a handshake protocol (HP); 2) network packet-switching; 3) query scheduling (QS); and 4) a sporadic-interrupt setting. Our experimental results show that precedences and task parameters can vary drastically the best scheduler. Our framework thus supports application designers in choosing the best scheduler among a given set automatically." @default.
- W3090251569 created "2020-10-08" @default.
- W3090251569 creator A5006249454 @default.
- W3090251569 creator A5022252401 @default.
- W3090251569 creator A5052607806 @default.
- W3090251569 creator A5069763905 @default.
- W3090251569 date "2020-11-01" @default.
- W3090251569 modified "2023-10-16" @default.
- W3090251569 title "Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling" @default.
- W3090251569 cites W1536375405 @default.
- W3090251569 cites W1552828154 @default.
- W3090251569 cites W1584428153 @default.
- W3090251569 cites W1766015196 @default.
- W3090251569 cites W1767198946 @default.
- W3090251569 cites W1879402272 @default.
- W3090251569 cites W1941732106 @default.
- W3090251569 cites W1964047916 @default.
- W3090251569 cites W1964720438 @default.
- W3090251569 cites W1982538209 @default.
- W3090251569 cites W2012912569 @default.
- W3090251569 cites W2015717967 @default.
- W3090251569 cites W2022098216 @default.
- W3090251569 cites W2028314271 @default.
- W3090251569 cites W2036772106 @default.
- W3090251569 cites W2038892414 @default.
- W3090251569 cites W2085894197 @default.
- W3090251569 cites W2102688949 @default.
- W3090251569 cites W2109488193 @default.
- W3090251569 cites W2111338347 @default.
- W3090251569 cites W2120070938 @default.
- W3090251569 cites W2124298185 @default.
- W3090251569 cites W2125381034 @default.
- W3090251569 cites W2134935059 @default.
- W3090251569 cites W2143376057 @default.
- W3090251569 cites W2145174892 @default.
- W3090251569 cites W2147746266 @default.
- W3090251569 cites W2148311877 @default.
- W3090251569 cites W2171972721 @default.
- W3090251569 cites W2766431763 @default.
- W3090251569 cites W3098817740 @default.
- W3090251569 cites W3157736721 @default.
- W3090251569 cites W3163474831 @default.
- W3090251569 doi "https://doi.org/10.1109/tcad.2020.3012803" @default.
- W3090251569 hasPublicationYear "2020" @default.
- W3090251569 type Work @default.
- W3090251569 sameAs 3090251569 @default.
- W3090251569 citedByCount "1" @default.
- W3090251569 countsByYear W30902515692021 @default.
- W3090251569 crossrefType "journal-article" @default.
- W3090251569 hasAuthorship W3090251569A5006249454 @default.
- W3090251569 hasAuthorship W3090251569A5022252401 @default.
- W3090251569 hasAuthorship W3090251569A5052607806 @default.
- W3090251569 hasAuthorship W3090251569A5069763905 @default.
- W3090251569 hasConcept C102408133 @default.
- W3090251569 hasConcept C107568181 @default.
- W3090251569 hasConcept C111919701 @default.
- W3090251569 hasConcept C120314980 @default.
- W3090251569 hasConcept C122141398 @default.
- W3090251569 hasConcept C126255220 @default.
- W3090251569 hasConcept C127456818 @default.
- W3090251569 hasConcept C134306372 @default.
- W3090251569 hasConcept C149635348 @default.
- W3090251569 hasConcept C151319957 @default.
- W3090251569 hasConcept C162324750 @default.
- W3090251569 hasConcept C173018170 @default.
- W3090251569 hasConcept C187736073 @default.
- W3090251569 hasConcept C206729178 @default.
- W3090251569 hasConcept C206952183 @default.
- W3090251569 hasConcept C2778000800 @default.
- W3090251569 hasConcept C2780451532 @default.
- W3090251569 hasConcept C31258907 @default.
- W3090251569 hasConcept C33923547 @default.
- W3090251569 hasConcept C41008148 @default.
- W3090251569 hasConcept C41661131 @default.
- W3090251569 hasConcept C68387754 @default.
- W3090251569 hasConcept C77553402 @default.
- W3090251569 hasConcept C79403827 @default.
- W3090251569 hasConceptScore W3090251569C102408133 @default.
- W3090251569 hasConceptScore W3090251569C107568181 @default.
- W3090251569 hasConceptScore W3090251569C111919701 @default.
- W3090251569 hasConceptScore W3090251569C120314980 @default.
- W3090251569 hasConceptScore W3090251569C122141398 @default.
- W3090251569 hasConceptScore W3090251569C126255220 @default.
- W3090251569 hasConceptScore W3090251569C127456818 @default.
- W3090251569 hasConceptScore W3090251569C134306372 @default.
- W3090251569 hasConceptScore W3090251569C149635348 @default.
- W3090251569 hasConceptScore W3090251569C151319957 @default.
- W3090251569 hasConceptScore W3090251569C162324750 @default.
- W3090251569 hasConceptScore W3090251569C173018170 @default.
- W3090251569 hasConceptScore W3090251569C187736073 @default.
- W3090251569 hasConceptScore W3090251569C206729178 @default.
- W3090251569 hasConceptScore W3090251569C206952183 @default.
- W3090251569 hasConceptScore W3090251569C2778000800 @default.
- W3090251569 hasConceptScore W3090251569C2780451532 @default.
- W3090251569 hasConceptScore W3090251569C31258907 @default.
- W3090251569 hasConceptScore W3090251569C33923547 @default.
- W3090251569 hasConceptScore W3090251569C41008148 @default.
- W3090251569 hasConceptScore W3090251569C41661131 @default.