9067 search results - page 426 / 1814 » Adaptive Model Checking |
176
click to vote
WSC
2004
15 years 8 months ago
2004
Adaptive Monte Carlo methods are specialized Monte Carlo simulation techniques where the methods are adaptively tuned as the simulation progresses. The primary focus of such techn...
249
click to vote
FCCM
2009
IEEE
15 years 4 months ago
2009
IEEE
Adaptive systems are set to become more mainstream, as numerous practical applications in the communications domain emerge. FPGAs offer an ideal implementation platform, combining...
150
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
We describe a new method for pruning in dynamic models based on running an adaptive filtering algorithm online during decoding to predict aspects of the scores in the near future....
195
click to vote
SBMF
2009
Springer
16 years 1 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
179
click to vote
B
2007
Springer
16 years 1 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...