757 search results - page 2 / 152 » Monte Carlo Model Checking |
QEST
2008
IEEE
13 years 11 months ago
2008
IEEE
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
WSC
2001
13 years 6 months ago
2001
A constrained Monte Carlo problem arises when one computes an expectation in the presence of a priori computable constraints on the expectations of quantities that are correlated ...
WSC
2004
13 years 6 months ago
2004
We review the basic properties of American options and the difficulties of applying Monte Carlo valuation to American options. Recent progress on the Least Squares Monte Carlo (LS...
ISQED
2008
IEEE
13 years 11 months ago
2008
IEEE
This paper presents a statistic-based approach for evaluating the testability of nodes in combinational circuits. This testability measurement is obtained via Monte Carlo simulati...
WSC
2007
13 years 7 months ago
2007
Much of the rare-event simulation literature is concerned with the development of asymptotically optimal algorithms. Because of the difficulties associated with applying these id...