352 search results - page 32 / 71 » Evaluating the imprecision of static analysis |
134
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
109
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
104
click to vote
PASTE
2005
ACM
15 years 7 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
116
click to vote
RTSS
2008
IEEE
15 years 8 months ago
2008
IEEE
With the advent of increasingly complex hardware in realtime embedded systems (processors with performance enhancing features such as pipelines, cache hierarchy, multiple cores), ...
SOCC
2008
IEEE
15 years 8 months ago
2008
IEEE
— Several design metrics have been used in the past to evaluate the SRAM cell stability. However, most of them fail to provide the exact stability figures as shown in this paper...