106 search results - page 19 / 22 » Distinguishability and identifiability testing of contact st... |
SOSP
2009
ACM
14 years 4 months ago
2009
ACM
We present ClearView, a system for automatically patching errors in deployed software. ClearView works on stripped Windows x86 binaries without any need for source code, debugging...
ATVA
2007
Springer
14 years 2 months ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
MR
2007
13 years 7 months ago
2007
Damage pre-cursors based health management and prognostication methodology has been presented for electronic systems in harsh environments. The framework has been developed based ...
SSS
2010
Springer
13 years 6 months ago
2010
Springer
Complex systems experience dramatic changes in behavior and can undergo transitions from functional to dysfunctional states. An unstable system is prone to dysfunctional collective...
ICCD
2008
IEEE
14 years 4 months ago
2008
IEEE
— Verification remains an integral and crucial phase of today’s microprocessor design and manufacturing process. Unfortunately, with soaring design complexities and decreasing...