2056 search results - page 287 / 412 » Detecting Errors in Spreadsheets |
120
click to vote
AUTOMATICA
2007
15 years 4 months ago
2007
The problem of sensor fault diagnosis in the class of nonlinear Lipschitz systems is considered. A dynamic observer structure is used with the objective to make the residual conve...
125
click to vote
CCR
2010
15 years 4 months ago
2010
Software errors and vulnerabilities in core Internet routers have led to several high-profile attacks on the Internet infrastructure and numerous outages. Building an understandin...
123
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
: We present a new approach to fault tolerance for High Performance Computing system. Our approach is based on a careful adaptation of the Algorithmic Based Fault Tolerance techniq...
142
click to vote
ENDM
2010
15 years 4 months ago
2010
Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain Abstract interpretati...
130
Voted
COMSIS
2006
15 years 4 months ago
2006
Traditional knowledge representations were developed to encode complete, explicit and executable programs, a goal that makes them less than ideal for representing the incomplete an...