434 search results - page 45 / 87 » Scalable synchronous queues |
PODC
2009
ACM
14 years 4 months ago
2009
ACM
We study communication complexity of consensus in synchronous message-passing systems with processes prone to crashes. The goal in the consensus problem is to have all the nonfaul...
VSTTE
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
ICDCN
2011
Springer
13 years 1 months ago
2011
Springer
We address the problem of designing distributed algorithms for large scale networks that are robust to Byzantine faults. We consider a message passing, full information model: the ...
PPOPP
2010
ACM
14 years 7 months ago
2010
ACM
Many large-scale parallel programs follow a bulk synchronous parallel (BSP) structure with distinct computation and communication phases. Although the communication phase in such ...
ADBIS
2009
Springer
14 years 2 months ago
2009
Springer
Scaling up web applications requires distribution of load across multiple application servers and across multiple database servers. Distributing load across multiple application se...