default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 128
Volume 128, Numbers 1&2, 6 June 1994
- Yonatan Aumann, Michael O. Rabin:
Clock Construction in Fully Asynchronous Parallel Systems and PRAM Simulation. 3-30 - Frank Thomson Leighton:
Methods for Message Routing in Parallel Machines. 31-62 - John D. Garofalakis, Paul G. Spirakis, Basil Tampakas
, Sergio Rajsbaum:
Tentative and Definite Distributed Computations: An Optimistic Approach to Network Synchronization. 63-74 - Gilad Koren, Dennis E. Shasha:
MOCA: A Multiprocessor On-Line Competitive Algorithm for Real-Time System Scheduling. 75-97 - Doron A. Peled, Mathai Joseph:
A Compositional Framework for Fault Tolerance by Specification Transformation. 99-125 - Henk Schepers, Jozef Hooman:
A Trace-Based Compositional Proof Theory for Fault Tolerant Distributed Systems. 127-157 - Padmanabhan Krishnan:
A Semantic Characterisation for Faults in Replicated Systems. 159-177 - Hermann de Meer, Kishor S. Trivedi, Mario Dal Cin:
Guarded Repair of Dependable Systems. 179-210 - Vinay S. Pai, Alejandro A. Schäffer, Peter J. Varman:
Markov Analysis of Multiple-Disk Prefetching Strategies for External Merging. 211-239 - Jehoshua Bruck, Robert Cypher, Ching-Tien Ho:
Tolerating Faults in a Mesh with a Row of Spare Nodes. 241-252
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:
