220 search results - page 15 / 44 » Estimating functional coverage in bounded model checking |
117
click to vote
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
Tracking in a multipath environment poses many challenges. It is worth while to quantify the achievable performance bounds in such an environment. However finding the performance...
121
click to vote
TNN
2010
14 years 5 months ago
2010
Finite mixture model is a powerful tool in many statistical learning problems. In this paper, we propose a general, structure-preserving approach to reduce its model complexity, w...
116
click to vote
SPIN
2004
Springer
15 years 4 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
WSC
2004
15 years 12 days ago
2004
Monte Carlo simulation techniques that use function approximations have been successfully applied to approximately price multi-dimensional American options. However, for many pric...
76
Voted
TCAD
2010
14 years 5 months ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...