2498 search results - page 245 / 500 » Software Fault Tolerance |
171
click to vote
FTRTFT
2000
Springer
15 years 10 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
141
click to vote
FLAIRS
2006
15 years 8 months ago
2006
Diagnosing multiple faults for a complex system is often very difficult. It requires not only a model which adequately represents the diagnostic aspect of a complex system, but al...
150
click to vote
ASPLOS
2006
ACM
16 years 16 days ago
2006
ACM
Log-based recovery and replay systems are important for system reliability, debugging and postmortem analysis/recovery of malware attacks. These systems must incur low space and p...
173
click to vote
IEEEARES
2007
IEEE
16 years 26 days ago
2007
IEEE
Passive replication has been extensively studied in the literature. However, there is no comprehensive study yet with regard to its degree of communication synchrony. Therefore, w...
169
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents an architecture which is suitable for a massive parallelization of the compact genetic algorithm. The approach is scalable, has low synchronization costs, and i...