The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1994, volume: 128, number: 1&2

  1. Yonatan Aumann, Michael O. Rabin
    Clock Construction in Fully Asynchronous Parallel Systems and PRAM Simulation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:128, n:1&2, pp:3-30 [Journal]
  2. Frank Thomson Leighton
    Methods for Message Routing in Parallel Machines. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:128, n:1&2, pp:31-62 [Journal]
  3. John D. Garofalakis, Paul G. Spirakis, Basil Tampakas, Sergio Rajsbaum
    Tentative and Definite Distributed Computations: An Optimistic Approach to Network Synchronization. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:128, n:1&2, pp:63-74 [Journal]
  4. Gilad Koren, Dennis Shasha
    MOCA: A Multiprocessor On-Line Competitive Algorithm for Real-Time System Scheduling. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:128, n:1&2, pp:75-97 [Journal]
  5. Doron Peled, Mathai Joseph
    A Compositional Framework for Fault Tolerance by Specification Transformation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:128, n:1&2, pp:99-125 [Journal]
  6. Henk Schepers, Jozef Hooman
    A Trace-Based Compositional Proof Theory for Fault Tolerant Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:128, n:1&2, pp:127-157 [Journal]
  7. Padmanabhan Krishnan
    A Semantic Characterisation for Faults in Replicated Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:128, n:1&2, pp:159-177 [Journal]
  8. Hermann de Meer, Kishor S. Trivedi, Mario Dal Cin
    Guarded Repair of Dependable Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:128, n:1&2, pp:179-210 [Journal]
  9. Vinay S. Pai, Alejandro A. Schäffer, Peter J. Varman
    Markov Analysis of Multiple-Disk Prefetching Strategies for External Merging. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:128, n:1&2, pp:211-239 [Journal]
  10. Jehoshua Bruck, Robert Cypher, Ching-Tien Ho
    Tolerating Faults in a Mesh with a Row of Spare Nodes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:128, n:1&2, pp:241-252 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002