18466 search results - page 122 / 3694 » On distributed systems and CSCL |
111
click to vote
ECRTS
1999
IEEE
15 years 8 months ago
1999
IEEE
Safety-critical systems typically operate in unpredictable environments. Requirements for safety and reliability are in conflict with those for real-time responsiveness. Due to un...
182
click to vote
SIGIR
2010
ACM
14 years 10 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...
183
click to vote
CONCUR
2009
Springer
15 years 10 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...
122
click to vote
BIRTHDAY
2007
Springer
15 years 10 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...
109
click to vote
IPPS
2007
IEEE
15 years 10 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...