14165 search results - page 637 / 2833 » The generalized two-server problem |
172
click to vote
IWCMC
2006
ACM
16 years 1 months ago
2006
ACM
This paper explores the tracers deployment problem for IP traceback methods how many and where the tracers should be deployed in the network to be effective for locating the attac...
211
click to vote
SPAA
2004
ACM
16 years 19 days ago
2004
ACM
We address a hierarchical generalization of the well-known disk paging problem. In the hierarchical cooperative caching problem, a set of n machines residing in an ultrametric spa...
171
click to vote
CP
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems. The generalizat...
179
click to vote
ISSAC
2004
Springer
16 years 17 days ago
2004
Springer
We present a streamlined and refined version of Karr’s summation algorithm. Karr’s original approach constructively decides the telescoping problem in ΠΣ-fields, a very ge...
208
click to vote
PODS
2010
ACM
16 years 8 days ago
2010
ACM
We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed λ-calculus. Our language allows one to succinctly de...