25167 search results - page 4882 / 5034 » Parallel and Distributed Algorithms |
153
Voted
STOC
2012
ACM
13 years 5 months ago
2012
ACM
We give the first time-space tradeoff lower bounds for Resolution proofs that apply to superlinear space. In particular, we show that there are formulas of size N that have Reso...
197
Voted
WWW
2009
ACM
16 years 3 months ago
2009
ACM
In this paper, we propose a novel framework called SmartMiner for web usage mining problem which uses link information for producing accurate user sessions and frequent navigation...
144
Voted
EUROSYS
2007
ACM
15 years 11 months ago
2007
ACM
Two oft-cited file systems, the Fast File System (FFS) and the Log-Structured File System (LFS), adopt two sharply different update strategies—update-in-place and update-out-of-...
153
Voted
EUROSYS
2006
ACM
15 years 11 months ago
2006
ACM
Peer-to-peer (p2p) technology can potentially be used to build highly reliable applications without a single point of failure. However, most of the existing applications, such as ...
126
Voted
STOC
2005
ACM
16 years 2 months ago
2005
ACM
We present new explicit constructions of deterministic randomness extractors, dispersers and related objects. We say that a distribution X on binary strings of length n is a -sour...