1507 search results - page 53 / 302 » Summary |
ACL
2011
13 years 1 months ago
2011
ACL
2011
13 years 1 months ago
2011
PLDI
2011
ACM
13 years 25 days ago
2011
ACM
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verification that performs strong updates to heap locations at call sites. We firs...
WWW
2008
ACM
14 years 10 months ago
2008
ACM
To solve this problem, we devised the HS-bitmap index, which is hierarchically comprised of compressed data of summary bits. A summary bit in an upper matrix is obtained by logical...
CHI
2001
ACM
14 years 10 months ago
2001
ACM
We introduce a technique for creating novel, textuallyenhanced thumbnails of Web pages. These thumbnails combine the advantages of image thumbnails and text summaries to provide c...