Matches in SemOpenAlex for { <https://semopenalex.org/work/W2098979034> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2098979034 endingPage "372" @default.
- W2098979034 startingPage "357" @default.
- W2098979034 abstract "This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH algorithm is a sophisticated state-of-the-art scheduling algorithm with advanced capacity sharing features for reusing unused execution budgets. Because the number of elements in the queue of unused resources can grow beyond any bound, the CASH algorithm poses challenges to its formal specification and analysis. Real-Time Maude extends the rewriting logic tool Maude to support formal specification and analysis of object-based real-time systems. It emphasizes generality of specification and supports a spectrum of analysis methods, including symbolic simulation and (unbounded and time-bounded) reachability analysis and LTL model checking. We show how we have used Real-Time Maude to experiment with different design modifications of the CASH algorithm using both Monte Carlo simulation and reachability analysis. We could quickly and easily specify and analyze these modifications using Real-Time Maude, and discovered subtle behaviors in the modifications that lead to missed deadlines." @default.
- W2098979034 created "2016-06-24" @default.
- W2098979034 creator A5060442004 @default.
- W2098979034 creator A5078403066 @default.
- W2098979034 date "2006-01-01" @default.
- W2098979034 modified "2023-09-30" @default.
- W2098979034 title "Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude" @default.
- W2098979034 cites W1575698838 @default.
- W2098979034 cites W1962072139 @default.
- W2098979034 cites W1993707617 @default.
- W2098979034 cites W2006340882 @default.
- W2098979034 cites W2011886298 @default.
- W2098979034 cites W2023499821 @default.
- W2098979034 cites W2060095702 @default.
- W2098979034 cites W2127820743 @default.
- W2098979034 cites W2134287022 @default.
- W2098979034 cites W3005662975 @default.
- W2098979034 cites W3141556658 @default.
- W2098979034 doi "https://doi.org/10.1007/11693017_26" @default.
- W2098979034 hasPublicationYear "2006" @default.
- W2098979034 type Work @default.
- W2098979034 sameAs 2098979034 @default.
- W2098979034 citedByCount "37" @default.
- W2098979034 countsByYear W20989790342012 @default.
- W2098979034 countsByYear W20989790342013 @default.
- W2098979034 countsByYear W20989790342014 @default.
- W2098979034 countsByYear W20989790342017 @default.
- W2098979034 countsByYear W20989790342022 @default.
- W2098979034 countsByYear W20989790342023 @default.
- W2098979034 crossrefType "book-chapter" @default.
- W2098979034 hasAuthorship W2098979034A5060442004 @default.
- W2098979034 hasAuthorship W2098979034A5078403066 @default.
- W2098979034 hasBestOaLocation W20989790341 @default.
- W2098979034 hasConcept C110251889 @default.
- W2098979034 hasConcept C11413529 @default.
- W2098979034 hasConcept C116253237 @default.
- W2098979034 hasConcept C120314980 @default.
- W2098979034 hasConcept C126255220 @default.
- W2098979034 hasConcept C136643341 @default.
- W2098979034 hasConcept C154690210 @default.
- W2098979034 hasConcept C199360897 @default.
- W2098979034 hasConcept C206729178 @default.
- W2098979034 hasConcept C33923547 @default.
- W2098979034 hasConcept C41008148 @default.
- W2098979034 hasConceptScore W2098979034C110251889 @default.
- W2098979034 hasConceptScore W2098979034C11413529 @default.
- W2098979034 hasConceptScore W2098979034C116253237 @default.
- W2098979034 hasConceptScore W2098979034C120314980 @default.
- W2098979034 hasConceptScore W2098979034C126255220 @default.
- W2098979034 hasConceptScore W2098979034C136643341 @default.
- W2098979034 hasConceptScore W2098979034C154690210 @default.
- W2098979034 hasConceptScore W2098979034C199360897 @default.
- W2098979034 hasConceptScore W2098979034C206729178 @default.
- W2098979034 hasConceptScore W2098979034C33923547 @default.
- W2098979034 hasConceptScore W2098979034C41008148 @default.
- W2098979034 hasLocation W20989790341 @default.
- W2098979034 hasOpenAccess W2098979034 @default.
- W2098979034 hasPrimaryLocation W20989790341 @default.
- W2098979034 hasRelatedWork W1882733036 @default.
- W2098979034 hasRelatedWork W1986369088 @default.
- W2098979034 hasRelatedWork W1992741870 @default.
- W2098979034 hasRelatedWork W2099266623 @default.
- W2098979034 hasRelatedWork W2160425906 @default.
- W2098979034 hasRelatedWork W2336109798 @default.
- W2098979034 hasRelatedWork W2546696010 @default.
- W2098979034 hasRelatedWork W2786605369 @default.
- W2098979034 hasRelatedWork W4284975031 @default.
- W2098979034 hasRelatedWork W611797893 @default.
- W2098979034 isParatext "false" @default.
- W2098979034 isRetracted "false" @default.
- W2098979034 magId "2098979034" @default.
- W2098979034 workType "book-chapter" @default.