16 search results - page 3 / 4 » Performability and Reliability Modeling of N Version Fault T... |
SAFECOMP
2005
Springer
13 years 10 months ago
2005
Springer
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...
ASPLOS
2011
ACM
12 years 9 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
ACSAC
1999
IEEE
13 years 9 months ago
1999
IEEE
Uncorrupted log files are the critical system component for computer forensics in case of intrusion and for real time system monitoring and auditing. Protection from tampering wit...
ICSE
2005
IEEE-ACM
14 years 5 months ago
2005
IEEE-ACM
Software systems evolve over time due to changes in requirements, optimization of code, fixes for security and reliability bugs etc. Code churn, which measures the changes made to...
ASPLOS
2006
ACM
13 years 11 months ago
2006
ACM
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...