2673 search results - page 256 / 535 » Guided Static Analysis |
164
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Many statistical methods have been proposed to identify disease biomarkers from gene expression profiles. However, from gene expression profile data alone, statistical...
140
Voted
BMCBI
2007
15 years 6 months ago
2007
Background: Microarrays have been used extensively to analyze the expression profiles for thousands of genes in parallel. Most of the widely used methods for analyzing Affymetrix ...
209
click to vote
IR
2002
15 years 5 months ago
2002
Collaborative filtering systems predict a user's interest in new items based on the recommendations of other people with similar interests. Instead of performing content index...
274
Voted
POPL
2007
ACM
16 years 6 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
194
Voted
IEEEARES
2008
IEEE
16 years 17 days ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting memory errors in C source code. We extend the standard C type system with effect, region, and host annotat...