2947 search results - page 76 / 590 » Analyzing Program Analyses |
116
click to vote
TAPSOFT
1997
Springer
15 years 6 months ago
1997
Springer
This paper considers the complexity of interprocedural function pointer may-alias analysis, i.e., determining the set of functions that a function pointer (in a language such as C...
102
click to vote
IJDE
2006
15 years 2 months ago
2006
This paper discusses the emerging trend of Personal Desktop Searching utilities on desktop computers, and how the information cached and stored with these systems can be retrieved...
131
Voted
MICRO
2008
IEEE
15 years 9 months ago
2008
IEEE
Heavyweight security analysis systems, such as taint analysis and dynamic type checking, are powerful technologies used to detect security vulnerabilities and software bugs. Tradi...
111
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: High density oligonucleotide tiling arrays are an effective and powerful platform for conducting unbiased genome-wide studies. The ab initio probe selection method emp...
105
Voted
LPAR
2001
Springer
15 years 7 months ago
2001
Springer
This paper focuses on the inference of modes for which a logic program is guaranteed to terminate. This generalizes traditional termination analysis where an analyzer tries to veri...