5964 search results - page 816 / 1193 » A theory of speculative computation |
178
Voted
HT
2005
ACM
16 years 1 months ago
2005
ACM
Conversion between different adaptive hypermedia systems has barely been proposed, yet alone tested in realistic settings. This paper presents the evaluation of the interoperabili...
226
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
203
click to vote
PODC
2005
ACM
16 years 1 months ago
2005
ACM
In this paper, we initiate the study of the approximability of the facility location problem in a distributed setting. In particular, we explore a trade-off between the amount of...
184
click to vote
SAC
2005
ACM
16 years 1 months ago
2005
ACM
: We study the problem of one dimensional selectivity estimation in relational databases. We introduce a new type of histogram based on information theory. We compare our histogram...
204
click to vote
SAC
2005
ACM
16 years 1 months ago
2005
ACM
In this paper we present MoCha-π, an exogenous coordination calculus that is based on mobile channels. A mobile channel is a coordination primitive that allows anonymous point-to...