1687 search results - page 15 / 338 » Which pointer analysis should I use |
IJCAI
2001
13 years 9 months ago
2001
The HITS and the PageRank algorithms are eigenvector methods for identifying "authoritative" or "influential" articles, given hyperlink or citation information...
SPIN
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The paper presents a novel technique to create implementations of the basic primitives used in symbolic program analysis: forward symbolic evaluation, weakest liberal pre...
BC
1998
13 years 7 months ago
1998
In homing tasks, the goal is often not marked by visible objects but must be inferred from the spatial relation to the visual cues in the surrounding scene. The exact computation o...
BMCBI
2010
13 years 7 months ago
2010
Background: Experimental screening of large sets of peptides with respect to their MHC binding capabilities is still very demanding due to the large number of possible peptide seq...
DSN
2003
IEEE
14 years 29 days ago
2003
IEEE
This paper describes an experimental study of Linux kernel behavior in the presence of errors that impact the instruction stream of the kernel code. Extensive error injection exper...