Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Theor.~Comput.~Sci. AND Volume=128
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Clock construction in fully asynchronous parallel systems and PRAM simulation
Yonatan Aumann
,
Michael O. Rabin
Theoretical Computer Science
128
(1-2), 1994, pp. 3-30
Methods for message routing in parallel machines
Tom Leighton
Theoretical Computer Science
128
(1-2), 1994, pp. 31-62
Tentative and definite distributed computations: An optimistic approach to network synchronization
J. Garofalakis
,
P. Spirakis
,
B. Tampakas
,
S. Rajsbaum
Theoretical Computer Science
128
(1-2), 1994, pp. 63-74
MOCA: A multiprocessor on-line competitive algorithm for real-time system scheduling
Gilad Koren
,
Dennis Shasha
Theoretical Computer Science
128
(1-2), 1994, pp. 75-97
A compositional framework for fault tolerance by specification transformation
Doron Peled
,
Mathai Joseph
Theoretical Computer Science
128
(1-2), 1994, pp. 99-125
A trace-based compositional proof theory for fault tolerant distributed systems
Henk Schepers
,
Jozef Hooman
Theoretical Computer Science
128
(1-2), 1994, pp. 127-157
A semantic characterisation for faults in replicated systems
Padmanabhan Krishnan
Theoretical Computer Science
128
(1-2), 1994, pp. 159-177
Guarded repair of dependable systems
Hermann de Meer
,
Kishor S. Trivedi
,
Mario Dal Cin
Theoretical Computer Science
128
(1-2), 1994, pp. 179-210
Markov analysis of multiple-disk prefetching strategies for external merging
Vinay Sadananda Pai
,
Alejandro A. Schäffer
,
Peter J. Varman
Theoretical Computer Science
128
(1-2), 1994, pp. 211-239
Tolerating faults in a mesh with a row of spare nodes
Jehoshua Bruck
,
Robert Cypher
,
Ching-Tien Ho
Theoretical Computer Science
128
(1-2), 1994, pp. 241-252