Matches in SemOpenAlex for { <https://semopenalex.org/work/W1554492130> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1554492130 abstract "We have shown in the past that competitive analysis based power management strategies can be automatically analyzed for proving competitive bounds and for validating power management strategies using the SMV model checker. We show that stochastic modelling based strategies for power management can similarly be automated for computing optimal strategies. Further these can be analyzed for finding system parameters for satisfying probabilistic constraints. Effects of any changes in probabilistic assumptions can be easily analyzed without expensive and time consuming simulations. We demonstrate our methodology using the probabilistic model checker PRISM. We model the system using a continuous-time Markov chain, and compute strategies under varying requirements for performance. We also prove probabilistic properties of strategies using PRISM, which gives insight into individual strategies and pragmatics of their implementations. We also show the effects of changing probabilistic assumptions computed by our method and compare the results with other stochastic analysis based methods, and show that we obtain similar results in a uniform framework of probabilistic model checking." @default.
- W1554492130 created "2016-06-24" @default.
- W1554492130 creator A5021517996 @default.
- W1554492130 creator A5036097359 @default.
- W1554492130 creator A5067544120 @default.
- W1554492130 creator A5078959213 @default.
- W1554492130 creator A5081710233 @default.
- W1554492130 date "2003-10-01" @default.
- W1554492130 modified "2023-09-27" @default.
- W1554492130 title "Formal analysis and validation of continuous-time Markov chain based system level power management strategies" @default.
- W1554492130 cites W1565259779 @default.
- W1554492130 cites W1988500253 @default.
- W1554492130 cites W2002533296 @default.
- W1554492130 cites W2005998857 @default.
- W1554492130 cites W2020142038 @default.
- W1554492130 cites W2037935721 @default.
- W1554492130 cites W2069190813 @default.
- W1554492130 cites W2105449797 @default.
- W1554492130 cites W2126940339 @default.
- W1554492130 cites W2136244995 @default.
- W1554492130 cites W2155161598 @default.
- W1554492130 cites W2169662932 @default.
- W1554492130 cites W2475556675 @default.
- W1554492130 cites W4234844574 @default.
- W1554492130 cites W4240297194 @default.
- W1554492130 cites W4241357800 @default.
- W1554492130 cites W4242441073 @default.
- W1554492130 cites W4254877664 @default.
- W1554492130 doi "https://doi.org/10.1109/hldvt.2002.1224427" @default.
- W1554492130 hasPublicationYear "2003" @default.
- W1554492130 type Work @default.
- W1554492130 sameAs 1554492130 @default.
- W1554492130 citedByCount "23" @default.
- W1554492130 countsByYear W15544921302013 @default.
- W1554492130 countsByYear W15544921302014 @default.
- W1554492130 countsByYear W15544921302015 @default.
- W1554492130 countsByYear W15544921302016 @default.
- W1554492130 countsByYear W15544921302017 @default.
- W1554492130 crossrefType "proceedings-article" @default.
- W1554492130 hasAuthorship W1554492130A5021517996 @default.
- W1554492130 hasAuthorship W1554492130A5036097359 @default.
- W1554492130 hasAuthorship W1554492130A5067544120 @default.
- W1554492130 hasAuthorship W1554492130A5078959213 @default.
- W1554492130 hasAuthorship W1554492130A5081710233 @default.
- W1554492130 hasBestOaLocation W15544921302 @default.
- W1554492130 hasConcept C105795698 @default.
- W1554492130 hasConcept C106189395 @default.
- W1554492130 hasConcept C110251889 @default.
- W1554492130 hasConcept C11413529 @default.
- W1554492130 hasConcept C114289077 @default.
- W1554492130 hasConcept C119857082 @default.
- W1554492130 hasConcept C126255220 @default.
- W1554492130 hasConcept C154945302 @default.
- W1554492130 hasConcept C159886148 @default.
- W1554492130 hasConcept C199360897 @default.
- W1554492130 hasConcept C26713055 @default.
- W1554492130 hasConcept C33923547 @default.
- W1554492130 hasConcept C41008148 @default.
- W1554492130 hasConcept C49937458 @default.
- W1554492130 hasConcept C80444323 @default.
- W1554492130 hasConcept C98763669 @default.
- W1554492130 hasConceptScore W1554492130C105795698 @default.
- W1554492130 hasConceptScore W1554492130C106189395 @default.
- W1554492130 hasConceptScore W1554492130C110251889 @default.
- W1554492130 hasConceptScore W1554492130C11413529 @default.
- W1554492130 hasConceptScore W1554492130C114289077 @default.
- W1554492130 hasConceptScore W1554492130C119857082 @default.
- W1554492130 hasConceptScore W1554492130C126255220 @default.
- W1554492130 hasConceptScore W1554492130C154945302 @default.
- W1554492130 hasConceptScore W1554492130C159886148 @default.
- W1554492130 hasConceptScore W1554492130C199360897 @default.
- W1554492130 hasConceptScore W1554492130C26713055 @default.
- W1554492130 hasConceptScore W1554492130C33923547 @default.
- W1554492130 hasConceptScore W1554492130C41008148 @default.
- W1554492130 hasConceptScore W1554492130C49937458 @default.
- W1554492130 hasConceptScore W1554492130C80444323 @default.
- W1554492130 hasConceptScore W1554492130C98763669 @default.
- W1554492130 hasLocation W15544921301 @default.
- W1554492130 hasLocation W15544921302 @default.
- W1554492130 hasOpenAccess W1554492130 @default.
- W1554492130 hasPrimaryLocation W15544921301 @default.
- W1554492130 hasRelatedWork W125552836 @default.
- W1554492130 hasRelatedWork W1497573972 @default.
- W1554492130 hasRelatedWork W1762969849 @default.
- W1554492130 hasRelatedWork W2041509965 @default.
- W1554492130 hasRelatedWork W2087152645 @default.
- W1554492130 hasRelatedWork W2156355394 @default.
- W1554492130 hasRelatedWork W2734341768 @default.
- W1554492130 hasRelatedWork W2757133052 @default.
- W1554492130 hasRelatedWork W3198596521 @default.
- W1554492130 hasRelatedWork W660320 @default.
- W1554492130 isParatext "false" @default.
- W1554492130 isRetracted "false" @default.
- W1554492130 magId "1554492130" @default.
- W1554492130 workType "article" @default.