606 search results - page 49 / 122 » A Comparative Study of Industrial Static Analysis Tools |
135
click to vote
PASTE
2010
ACM
15 years 2 months ago
2010
ACM
Many analysis techniques have been proposed to determine when a potentially null value may be dereferenced. But we have observed in practice that not every potential null derefere...
124
Voted
DSN
2005
IEEE
15 years 2 months ago
2005
IEEE
Soft errors are a growing concern for processor reliability. Recent work has motivated architecture-level studies of soft errors since the architecture can mask many raw errors an...
101
Voted
STTT
2008
15 years 14 days ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
123
Voted
BMCBI
2008
15 years 20 days ago
2008
Background: Data mining in large DNA sequences is a major challenge in microbial genomics and bioinformatics. Oligonucleotide usage (OU) patterns provide a wealth of information f...
106
Voted
VMCAI
2005
Springer
15 years 6 months ago
2005
Springer
Interval computations, stochastic arithmetic, automatic diļ¬erentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...