Sciweavers

Share
DSRT
2009
IEEE
8 years 1 months ago
An Aspect-Oriented Approach for Disaster Prevention Simulation Workflows on Supercomputers, Clusters, and Grids
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...
Tudor B. Ionescu, Andreas Piater, Walter Scheuerma...
SPRINGSIM
2010
8 years 1 months ago
UAV search strategies using Cell-DEVS
Keith Holman, Jeremy Kuzub, Gabriel A. Wainer
QEST
2010
IEEE
8 years 1 months ago
Reasoning about MDPs as Transformers of Probability Distributions
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...
Vijay Anand Korthikanti, Mahesh Viswanathan, Gul A...
QEST
2010
IEEE
8 years 1 months ago
On the Theory of Stochastic Processors
Traditional architecture design approaches hide hardware uncertainties from the software stack through overdesign, which is often expensive in terms of power consumption. The recen...
Parasara Sridhar Duggirala, Sayan Mitra, Rakesh Ku...
QEST
2010
IEEE
8 years 1 months ago
Rare Event Simulation for Highly Dependable Systems with Fast Repairs
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...
Daniël Reijsbergen, Pieter-Tjerk de Boer, Wer...
QEST
2010
IEEE
8 years 1 months ago
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems
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...
Ralf Wimmer, Bettina Braitling, Bernd Becker, Erns...
books