7988 search results - page 1530 / 1598 » A Useful Undecidable Theory |
PODC
2005
ACM
14 years 2 months ago
2005
ACM
A quorum system is a family of sets (themselves called quorums), each pair of which intersect. In many distributed algorithms, the basic unit accessed by a client is a quorum of n...
SBCCI
2005
ACM
14 years 2 months ago
2005
ACM
The designer of a system on a chip (SoC) that connects IP cores through a network on chip (NoC) needs methods to support application performance evaluation. Two key aspects these ...
SIGIR
2005
ACM
14 years 2 months ago
2005
ACM
We consider the problem of document indexing and representation. Recently, Locality Preserving Indexing (LPI) was proposed for learning a compact document subspace. Different from...
SIGIR
2005
ACM
14 years 2 months ago
2005
ACM
Different from traditional information retrieval, both content and structure are critical to the success of Web information retrieval. In recent years, many relevance propagation ...
SIGMETRICS
2005
ACM
14 years 2 months ago
2005
ACM
- Since many Web applications employ a multi-tier architecture, in this paper, we focus on the problem of analytically modeling the behavior of such applications. We present a mode...