219 search results - page 37 / 44 » Computational Approaches to Reachability Analysis of Stochas... |
IFM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
SIGMETRICS
2002
ACM
13 years 7 months ago
2002
ACM
Scheduling in large-scale parallel systems has been and continues to be an important and challenging research problem. Several key factors, including the increasing use of off-the...
WSC
2007
13 years 10 months ago
2007
State-dependent importance sampling (SDIS) has proved to be particularly useful in simulation (specially in rare event analysis of stochastic systems). One approach for designing ...
BMCBI
2010
13 years 7 months ago
2010
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...
CVPR
2003
IEEE
14 years 9 months ago
2003
IEEE
In addition to its technical merits as a challenging non-rigid motion and structural integrity analysis problem, quantitative estimation of cardiac regional functions and material...