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=220
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Using the heartbeat failure detector for quiescent reliable communication and consensus in partitionable networks
Marcos Kawazoe Aguilera
,
Wei Chen
,
Sam Toueg
Theoretical Computer Science
220
(1), 1999, pp. 3-30
Using knowledge to optimally achive coordination in distributed systems
Gil Neiger
,
Rida A. Bazzi
Theoretical Computer Science
220
(1), 1999, pp. 31-65
Timing conditions for linearizability in uniform counting networks
Nancy Lynch
,
Nir Shavit
,
Alex Shvartsman
,
Dan Touitou
Theoretical Computer Science
220
(1), 1999, pp. 67-91
Stabilizing time-adaptive protocols
Shay Kutten
,
Boaz Patt-Shamir
Theoretical Computer Science
220
(1), 1999, pp. 93-111
Eventually-serializable data services
Alan Fekete
,
David Gupta
,
Victor Luchangco
,
Nancy Lynch
,
Alex Shvartsman
Theoretical Computer Science
220
(1), 1999, pp. 113-156
Scheduling in synchronous networks and the greedy algorithm
King-Shan Lui
,
Shmuel Zaks
Theoretical Computer Science
220
(1), 1999, pp. 157-183
Reliable communication over partially authenticated networks
Amos Beimel
,
Matthew Franklin
Theoretical Computer Science
220
(1), 1999, pp. 185-210
Wait-free implementations in message-passing systems
Soma Chaudhuri
,
Maurice Herlihy
,
Mark R. Tuttle
Theoretical Computer Science
220
(1), 1999, pp. 211-245
Rapid convergence of a local load balancing algorithm for asynchronous rings
Johannes E. Gehrke
,
C. Greg Plaxton
,
Rajmohan Rajaraman
Theoretical Computer Science
220
(1), 1999, pp. 247-265
Linearizable read/write objects
Marios Mavronicolas
,
Dan Roth
Theoretical Computer Science
220
(1), 1999, pp. 267-319
Ordinal mind change complexity of language identification
Andris Ambainis
,
Sanjay Jain
,
Arun Sharma
Theoretical Computer Science
220
(2), 1999, pp. 323-343
Heaps and Heapsort on secondary storage
R. Fadel
,
K.V. Jakobsen
,
J. Katajainen
,
J. Teuhola
Theoretical Computer Science
220
(2), 1999, pp. 345-362
Optimal dimension-exchange token distribution on complete binary trees
Micheal E. Houle
,
Ewan Pempero
,
Gavin Turner
Theoretical Computer Science
220
(2), 1999, pp. 363-376
Verification of reactive systems using temporal logic with clocks
Chuchang Liu
,
Mehmet A. Orgun
Theoretical Computer Science
220
(2), 1999, pp. 377-408
Actor languages - Their syntax, semantics, translation, and equivalence
Ian A. Mason
,
Carolyn L. Talcott
Theoretical Computer Science
220
(2), 1999, pp. 409-467
On-line matching routing on trees
Alan Roberts
,
Antonios Symvonis
Theoretical Computer Science
220
(2), 1999, pp. 469-488
Specifying causality in action theories: A default logic approach
Yan Zhang
Theoretical Computer Science
220
(2), 1999, pp. 489-513