3667 search results - page 300 / 734 » Software Rejuvenation - Modeling and Analysis |
208
click to vote
INFSOF
2010
15 years 3 months ago
2010
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
164
click to vote
CGO
2008
IEEE
15 years 8 months ago
2008
IEEE
Data-flow analysis is an integral part of any aggressive optimizing compiler. We propose a framework for improving the precision of data-flow analysis in the presence of complex c...
189
click to vote
ACSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
—Malicious software is rampant on the Internet and costs billions of dollars each year. Safe and thorough analysis of malware is key to protecting vulnerable systems and cleaning...
167
click to vote
CCS
2007
ACM
16 years 22 days ago
2007
ACM
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...
180
click to vote
LCTRTS
2007
Springer
16 years 21 days ago
2007
Springer
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...