420 search results - page 39 / 84 » Fault Analysis Study of IDEA |
DSN
2002
IEEE
14 years 2 months ago
2002
IEEE
Concentration of design effort for current single-chip Commercial-Off-The-Shelf (COTS) microprocessors has been directed towards performance. Reliability has not been the primary ...
DSN
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper describes an experimental study of Linux kernel behavior in the presence of errors that impact the instruction stream of the kernel code. Extensive error injection exper...
DSN
2006
IEEE
14 years 1 months ago
2006
IEEE
Distributed sensor networks are highly prone to accidental errors and malicious activities, owing to their limited resources and tight interaction with the environment. Yet only a...
SPIN
2012
Springer
12 years 9 days ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
ESEM
2007
ACM
13 years 11 months ago
2007
ACM
An important number of studies have addressed the importance of models in software engineering, mainly in the design of robust software systems. Although models have been proven t...