148 search results - page 23 / 30 » Recovery From Software Failures Caused by Mandelbugs |
DSN
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper describes the design and evaluation of a robust integrator for software-implemented control systems. The integrator is constructed as a generic component in the Simulin...
113
click to vote
CVPR
2009
IEEE
16 years 4 months ago
2009
IEEE
A novel particle filter, the Memory-based Particle Filter
(M-PF), is proposed that can visually track moving objects
that have complex dynamics. We aim to realize robustness
aga...
COMPSAC
2007
IEEE
15 years 1 months ago
2007
IEEE
The world is increasingly dependent on critical infrastructures such as the electric power grid, water, gas, and oil transport systems, which are susceptible to cascading failures...
KBSE
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—A poorly understood but important factor in random testing is the selection of a maximum length for test runs. Given a limited time for testing, it is seldom clear wheth...
ICST
2010
IEEE
14 years 8 months ago
2010
IEEE
—Although many static-analysis techniques have been developed for automatically detecting bugs, such as null dereferences, fewer automated approaches have been presented for anal...