Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             14 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A compositional framework for fault tolerance by specification transformation Peled, Doron
1994
128 1-2 p. 99-125
27 p.
artikel
2 A semantic characterisation for faults in replicated systems Krishnan, Padmanabhan
1994
128 1-2 p. 159-177
19 p.
artikel
3 A trace-based compositional proof theory for fault tolerant distributed systems Schepers, Henk
1994
128 1-2 p. 127-157
31 p.
artikel
4 Author index volume 128 (1994) 1994
128 1-2 p. 257-
1 p.
artikel
5 Clock construction in fully asynchronous parallel systems and PRAM simulation Aumann, Yonatan
1994
128 1-2 p. 3-30
28 p.
artikel
6 Contents EATCS Bulletin Number 52, February 1994 1994
128 1-2 p. 253-256
4 p.
artikel
7 Editorial Tripathi, S.K.
1994
128 1-2 p. 1-2
2 p.
artikel
8 Editorial Board 1994
128 1-2 p. ii-iv
nvt p.
artikel
9 Guarded repair of dependable systems de Meer, Hermann
1994
128 1-2 p. 179-210
32 p.
artikel
10 Markov analysis of multiple-disk prefetching strategies for external merging Pai, Vinay Sadananda
1994
128 1-2 p. 211-239
29 p.
artikel
11 Methods for message routing in parallel machines Leighton, Tom
1994
128 1-2 p. 31-62
32 p.
artikel
12 MOCA: a multiprocessor on-line competitive algorithm for real-time system scheduling Koren, Gilad
1994
128 1-2 p. 75-97
23 p.
artikel
13 Tentative and definite distributed computations: an optimistic approach to network synchronization Garofalakis, J.
1994
128 1-2 p. 63-74
12 p.
artikel
14 Tolerating faults in a mesh with a row of spare nodes Bruck, Jehoshua
1994
128 1-2 p. 241-252
12 p.
artikel
                             14 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland