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 |