default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDistributed Computing, Volume 23
Volume 23, Number 1, September 2010
- Rachid Guerraoui
, Marko Vukolic:
Refined quorum systems. 1-42 - Viacheslav Chernoy, Mordechai Shalom, Shmuel Zaks:
On the performance of Dijkstra's third self-stabilizing algorithm for mutual exclusion and related algorithms. 43-60 - Étienne Lozes, Jules Villard:
A spatial equational logic for the applied pi-calculus. 61-83
Volume 23, Number 2, October 2010
- Gadi Taubenfeld:
Special issue on DISC 2008. 85-86 - Robert Danek, Wojciech M. Golab:
Closing the complexity gap between FCFS mutual exclusion and mutual exclusion. 87-111 - Marcos Kawazoe Aguilera, Eli Gafni, Leslie Lamport:
The mailbox problem. 113-134 - Flavio Paiva Junqueira, Keith Marzullo, Maurice Herlihy, Lucia Draque Penso:
Threshold protocols in survivor set systems. 135-149
Volume 23, Number 3, November 2010
- Alexander Kipnis, Boaz Patt-Shamir:
On the complexity of distributed stable matching with small messages. 151-161 - Alexander Kesselman, Kirill Kogan, Michael Segal:
Packet mode and QoS algorithms for buffered crossbar switches with FIFO queuing. 163-175 - Jérémie Chalopin, Yves Métivier:
On the power of synchronization between two adjacent processes. 177-196 - Joseph Y. Halpern, Sabina Petride:
A knowledge-based analysis of global function computation. 197-224
Volume 23, Number 4, December 2010
- Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman:
Rambo: a robust, reconfigurable atomic memory service for dynamic networks. 225-272 - Daniele Gorla:
A taxonomy of process calculi for distribution and mobility. 273-299
Volume 23, Numbers 5-6, April 2011
- Joan Feigenbaum, Vijay Ramachandran, Michael Schapira:
Incentive-compatible interdomain routing. 301-319 - Heiner Ackermann, Simon Fischer, Martin Hoefer, Marcel Schöngens:
Distributed algorithms for QoS load balancing. 321-330 - Yves Métivier, John Michael Robson, Nasser Saheb-Djahromi, Akka Zemmari:
An optimal bit complexity randomized distributed MIS algorithm. 331-340 - Tatsuhiro Tsuchiya, André Schiper:
Verification of consensus algorithms using satisfiability solving. 341-358 - Lung-Pin Chen, Der-Johng Sun, William C. Chu:
Efficient online algorithm for identifying useless states in distributed systems. 359-372 - Haifeng Yu:
Secure and highly-available aggregation queries in large-scale sensor networks via set sampling. 373-394
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-28 20:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
