473 search results - page 95 / 95 » The Case for Quantum Key Distribution |
113
Voted
ISSTA
2012
ACM
13 years 1 months ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
107
click to vote
ICDT
2012
ACM
13 years 1 months ago
2012
ACM
A universal model of a database D and a set Σ of integrity constraints is a database that extends D, satisfies Σ, and is most general in the sense that it contains sound and co...
92
Voted
SIAMCOMP
1998
14 years 10 months ago
1998
Random binary search trees, b-ary search trees, median-of-(2k+1) trees, quadtrees, simplex trees, tries, and digital search trees are special cases of random split trees. For these...