147 search results - page 13 / 30 » Automatic recovery from software failure |
MICRO
2006
IEEE
14 years 1 months ago
2006
IEEE
Although processor design verification consumes ever-increasing resources, many design defects still slip into production silicon. In a few cases, such bugs have caused expensive...
ICSE
1998
IEEE-ACM
13 years 11 months ago
1998
IEEE-ACM
Decomposing complex software systems into conceptually independent subsystems is a significant software engineering activity which received considerable research attention. Most o...
RE
2004
Springer
14 years 26 days ago
2004
Springer
Most problems in building and refining a system can be traced back to errors in requirements. Poorly organized requirements, most often in natural language are among the major ca...
PERVASIVE
2005
Springer
14 years 1 months ago
2005
Springer
Distributed sensor networks offer many new capabilities for contextually monitoring environments. By making such systems mobile, we increase the application-space for the distribut...
FMCAD
2008
Springer
13 years 9 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...