3820 search results - page 612 / 764 » Bounded Model Debugging |
147
click to vote
WWW
2006
ACM
16 years 3 months ago
2006
ACM
An important issue arising from Peer-to-Peer applications is how to accurately and efficiently retrieve a set of K best matching data objects from different sources while minimizi...
183
Voted
PODS
2009
ACM
16 years 3 months ago
2009
ACM
We consider the the problem of tracking heavy hitters and quantiles in the distributed streaming model. The heavy hitters and quantiles are two important statistics for characteri...
115
Voted
CADE
2001
Springer
16 years 2 months ago
2001
Springer
Context trees are a popular and effective tool for tasks such as compression, sequential prediction, and language modeling. We present an algebraic perspective of context trees for...
111
Voted
STOC
2004
ACM
16 years 2 months ago
2004
ACM
We investigate the design of algorithms resilient to memory faults, i.e., algorithms that, despite the corruption of some memory values during their execution, are able to produce...
103
click to vote
OSDI
2008
ACM
16 years 2 months ago
2008
ACM
Active research is being conducted in reducing power consumption of all the components of the Internet. To that end, we propose schemes for power reduction in network switches - T...