default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 496
Volume 496, July 2013
- Ajoy Kumar Datta, Stéphane Devismes
:
Preface. 1
- Abhinav Mehta, Shashank Agrawal, Kannan Srinathan:
Interplay between (im)perfectness, synchrony and connectivity: The case of reliable message transmission. 2-16 - Jingshu Chen, Sandeep S. Kulkarni:
MR4UM: A framework for adding fault tolerance to UML state diagrams. 17-33 - Carole Delporte-Gallet, Hugues Fauconnier, Hung Tran-The:
Byzantine agreement with homonyms in synchronous systems. 34-49 - Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni:
Facilitating the design of fault tolerance in transaction level SystemC programs. 50-68 - Sotiris Kentros, Aggelos Kiayias:
Solving the at-most-once problem with nearly optimal effectiveness. 69-88 - Alain Cournier, Swan Dubois, Anissa Lamani, Franck Petit, Vincent Villain:
The snap-stabilizing message forwarding algorithm on tree topologies. 89-112 - Ranjan Pal, Pan Hui:
Economic models for cloud service markets: Pricing and Capacity planning. 113-124 - Sathya Peri, K. Vidyasankar:
Correctness of concurrent executions of closed nested transactions in transactional memory systems. 125-153 - Tyler Crain, Damien Imbs, Michel Raynal:
Towards a universal construction for transaction-based multiprocess programs. 154-169 - Nuno Santos, André Schiper:
Optimizing Paxos with batching and pipelining. 170-183 - Guy Even, Moti Medina, Gregor Schaffrath, Stefan Schmid:
Competitive and deterministic embeddings of virtual networks. 184-194
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 2025-12-09 00:12 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:
