18493 search results - page 127 / 3699 » Timers for Distributed Systems |
174
Voted
SIGIR
2010
ACM
14 years 9 months ago
2010
ACM
The size of the Web as well as user bases of search systems continue to grow exponentially. Consequently, providing subsecond query response times and high query throughput become...
169
Voted
CONCUR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...
112
click to vote
BIRTHDAY
2007
Springer
15 years 8 months ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
97
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Compositional performance analysis iteratively alternates local scheduling analysis techniques and output event model propagation between system components to enable performance a...
152
Voted
ICDE
2006
IEEE
15 years 8 months ago
2006
IEEE
We consider the problem of query optimization in distributed stream based systems where multiple continuous queries may be executing simultaneously. In such systems, distribution ...