8094 search results - page 1519 / 1619 » Improvements in Formula Generalization |
126
Voted
CCS
2008
ACM
15 years 2 months ago
2008
ACM
Hash tables are fundamental data structures that optimally answer membership queries. Suppose a client stores n elements in a hash table that is outsourced at a remote server so t...
125
click to vote
CCS
2008
ACM
15 years 2 months ago
2008
ACM
Studies have shown that users have great difficulty specifying their security and privacy policies in a variety of application domains. While machine learning techniques have succ...
132
click to vote
ISPASS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—Transactional memory promises to generalize transactional programming to mainstream languages and data structures. The purported benefit of transactions is that they ar...
108
Voted
CEAS
2008
Springer
15 years 2 months ago
2008
Springer
We believe this paper is the first extensive user-study of whitelisting email addresses. While whitelists are common in social networking and instant messaging (e.g., buddylists),...
101
click to vote
CGO
2008
IEEE
15 years 2 months ago
2008
IEEE
Data-flow analysis is an integral part of any aggressive optimizing compiler. We propose a framework for improving the precision of data-flow analysis in the presence of complex c...