953 search results - page 60 / 191 » On the Emulation of Software Faults by Software Fault Inject... |
SC
2005
ACM
15 years 3 months ago
2005
ACM
We describe the software architecture, technical features, and performance of TICK (Transparent Incremental Checkpointer at Kernel level), a system-level checkpointer implemented ...
FMSP
2000
ACM
15 years 2 months ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
FOAL
2009
ACM
15 years 4 months ago
2009
ACM
Aspect-oriented programming (AOP) promises to localize concerns that inherently crosscut the primary structural decomposition of a software system. Localization of concerns is cri...
EUROMICRO
2004
IEEE
15 years 1 months ago
2004
IEEE
A proper support for communications has to provide fault tolerance capabilities such as the preservation of established connections in case of failures. Multi-homing addresses thi...
TASE
2007
IEEE
15 years 4 months ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...