1813 search results - page 267 / 363 » Calculi of Approximation Spaces |
253
click to vote
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
Pointer analyses derived from a Context-Free-Language (CFL) reachability formulation achieve very high precision, but they do not scale well to compute the points-to solution for a...
112
click to vote
KDD
2006
ACM
16 years 4 months ago
2006
ACM
There has been considerable interest in random projections, an approximate algorithm for estimating distances between pairs of points in a high-dimensional vector space. Let A Rn...
133
click to vote
HPCA
2006
IEEE
16 years 4 months ago
2006
IEEE
Processor architects have a challenging task of evaluating a large design space consisting of several interacting parameters and optimizations. In order to assist architects in ma...
212
click to vote
POPL
2002
ACM
16 years 4 months ago
2002
ACM
Data-layout optimizations rearrange fields within objects, objects within objects, and objects within the heap, with the goal of increasing spatial locality. While the importance ...
126
click to vote
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
Production systems are commonly plagued by intermittent problems that are difficult to diagnose. This paper describes a new diagnostic tool, called Chopstix, that continuously col...