3131 search results - page 161 / 627 » Generalized connection caching |
130
click to vote
CIDR
2007
15 years 2 months ago
2007
We present a “black-box” approach to estimating query cardinality that has no knowledge of query execution plans and data distribution, yet provides accurate estimates. It doe...
99
Voted
NSDI
2010
15 years 2 months ago
2010
CoralCDN is a self-organizing web content distribution network (CDN). Publishing through CoralCDN is as simple as making a small change to a URL's hostname; a decentralized D...
94
Voted
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
128
Voted
ICLP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...
118
click to vote
ASC
2000
15 years 2 months ago
2000
A new language and inference algorithm for stochastic modeling is presented. This work refines and generalizes the stochastic functional language originally proposed by [1]. The l...