55 search results - page 7 / 11 » Robustness Check for Multiple Faults Using Formal Techniques |
SASO
2007
IEEE
14 years 1 months ago
2007
IEEE
With the rapidly falling price of hardware, and increasingly available bandwidth, the storage technology is seeing a paradigm shift from centralized and managed mode to distribute...
IOLTS
2000
IEEE
13 years 11 months ago
2000
IEEE
The combination of higher quality requirements and sensitivity of high performance circuits to delay defects has led to an increasing emphasis on delay testing of VLSI circuits. A...
SRDS
2007
IEEE
14 years 1 months ago
2007
IEEE
Constructing logical machines out of collections of physical machines is a well-known technique for improving the robustness and fault tolerance of distributed systems. We present...
ICVGIP
2004
13 years 8 months ago
2004
Robust model fitting is important for computer vision tasks due to the occurrence of multiple model instances, and, unknown nature of noise. The linear errors-in-variables (EIV) m...
ESOP
2003
Springer
14 years 17 days ago
2003
Springer
Programmers confront a minefield when they design interactive Web programs. Web interactions take place via Web browsers. With browsers, consumers can whimsically navigate among t...