606 search results - page 17 / 122 » A Comparative Study of Industrial Static Analysis Tools |
100
click to vote
CC
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
CSB
2004
IEEE
15 years 4 months ago
2004
IEEE
The Gene Ontology (GO) resource can be used as a powerful tool to uncover the properties shared among, and specific to, a list of genes produced by high-throughput functional geno...
95
Voted
GRID
2008
Springer
15 years 1 months ago
2008
Springer
Network performance measurement and prediction is one of the most prominent and indispensable components in distributed computing environments. The selection of the most advantage...
113
click to vote
ICDAR
2005
IEEE
15 years 6 months ago
2005
IEEE
Static handwritten scripts are available only as images on documents and by definition do not contain dynamic information. This study is about extracting dynamic information from...
PC
1998
15 years 4 days ago
1998
In this paper, we present several tools for analyzing parallel programs. The tools are built on top of a compiler infrastructure, which provides advanced capabilities for symbolic...