Theoretical 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 Shasha: MOCA: A Multiprocessor On-Line Competitive Algorithm for Real-Time System Scheduling. 75-97
- Doron 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team