861 search results - page 162 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
CGO
2008
IEEE
15 years 4 months ago
2008
IEEE
Array inlining expands the concepts of object inlining to arrays. Groups of objects and arrays that reference each other are placed consecutively in memory so that their relative ...
COMPGEOM
2003
ACM
15 years 3 months ago
2003
ACM
We develop cache-oblivious data structures for orthogonal range searching, the problem of finding all T points in a set of N points in Êd lying in a query hyper-rectangle. Cache...
ISSTA
2009
ACM
15 years 4 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
CIVR
2007
Springer
15 years 4 months ago
2007
Springer
Automatic image annotation automatically labels image content with semantic keywords. For instance, the Relevance Model estimates the joint probability of the keyword and the imag...
CIKM
2005
Springer
15 years 3 months ago
2005
Springer
Testing reachability between nodes in a graph is a well-known problem with many important applications, including knowledge representation, program analysis, and more recently, bi...