1039 search results - page 208 / 208 » The Def-inite Approach to Dependency Analysis |
151
click to vote
ISCA
2011
IEEE
14 years 4 months ago
2011
IEEE
In this paper we study the impact of sharing memory resources on five Google datacenter applications: a web search engine, bigtable, content analyzer, image stitching, and protoc...
144
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
131
click to vote
IACR
2011
14 years 1 months ago
2011
Abstract. Homomorphic encryption schemes are powerful cryptographic primitives that allow for a variety of applications. Consequently, a variety of proposals have been made in the ...
140
click to vote
WECWIS
2003
IEEE
15 years 6 months ago
2003
IEEE
The huge success of eBay has proven the demand for customer-to-customer (C2C) electronic commerce. eBay is a centralized infrastructure with all its scalability problems (network ...