2116 search results - page 225 / 424 » On Probabilistic Alternating Simulations |
161
click to vote
FTCS
1998
15 years 7 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
144
click to vote
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— For mobile platforms with steerable standard wheels it is necessary to precisely coordinate rotation and steering angle of their wheels. Especially for redundantly actuated pla...
151
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Single node failures represent more than 85% of all node failures in the today's large communication networks such as the Internet [10]. Also, these node failures are usually...
141
click to vote
CSDA
2006
15 years 6 months ago
2006
The least squares linear regression estimator is well-known to be highly sensitive to unusual observations in the data, and as a result many more robust estimators have been propo...
131
click to vote
IJHPCA
2008
15 years 6 months ago
2008
We present a speculative extrapolation of the performance aspects of an atmospheric general circulation model to ultra-high resolution and describe alternative technological paths...