DSRT
2009
IEEE
13 years 9 months ago
2009
IEEE
Computer simulation is an important factor in today's disaster prevention procedures. Simulation codes assess the evolution and impact of various physical phenomena in domains...
SPRINGSIM
2010
13 years 9 months ago
2010
SPRINGSIM
2010
13 years 9 months ago
2010
SPRINGSIM
2010
13 years 9 months ago
2010
SPRINGSIM
2010
13 years 9 months ago
2010
QEST
2010
IEEE
13 years 9 months ago
2010
IEEE
We consider Markov Decision Processes (MDPs) as transformers on probability distributions, where with respect to a scheduler that resolves nondeterminism, the MDP can be seen as ex...
QEST
2010
IEEE
13 years 9 months ago
2010
IEEE
Traditional architecture design approaches hide hardware uncertainties from the software stack through overdesign, which is often expensive in terms of power consumption. The recen...
QEST
2010
IEEE
13 years 9 months ago
2010
IEEE
Stochastic model checking has been used recently to assess, among others, dependability measures for a variety of systems. However, the employed numerical methods, as, e.g., suppor...
QEST
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
QEST
2010
IEEE
13 years 9 months ago
2010
IEEE
