256 search results - page 17 / 52 » Timing Verification by Successive Approximation |
107
click to vote
TNN
2010
14 years 6 months ago
2010
Compared to Singular Value Decomposition (SVD), Generalized Low Rank Approximations of Matrices (GLRAM) can consume less computation time, obtain higher compression ratio, and yiel...
WSC
2004
15 years 1 months 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...
ICML
2004
IEEE
16 years 17 days ago
2004
IEEE
The multiple-instance learning (MIL) model has been very successful in application areas such as drug discovery and content-based imageretrieval. Recently, a generalization of thi...
101
click to vote
RTAS
2010
IEEE
14 years 10 months ago
2010
IEEE
Recent research in compositional real-time systems has focused on determination of a component’s real-time interface parameters. An important objective in interface-parameter de...
113
click to vote
FORMATS
2004
Springer
15 years 5 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...