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=291
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Directed virtual path layouts in ATM networks
Jean-Claude Bermond
,
Nausica Marlin
,
David Peleg
,
Stéphane Perennes
Theoretical Computer Science
291
(1), 2003, pp. 3-28
Sense of direction in distributed computing
Paola Flocchini
,
Bernard Mans
,
Nicola Santoro
Theoretical Computer Science
291
(1), 2003, pp. 29-53
A classification of wait-free loop agreement tasks
Maurice Herlihy
,
Sergio Rajsbaum
Theoretical Computer Science
291
(1), 2003, pp. 55-77
Optimistic atomic broadcast: A pragmatic viewpoint
Fernando Pedone
,
André Schiper
Theoretical Computer Science
291
(1), 2003, pp. 79-101
The Bancomat problem: An example of resource allocation in a partitionable asynchronous system
Jeremy Sussman
,
Keith Marzullo
Theoretical Computer Science
291
(1), 2003, pp. 103-131
Density results on floating-point invertible numbers
G. Hanrot
,
J. Rivat
,
G. Tenenbaum
,
P. Zimmermann
Theoretical Computer Science
291
(2), 2003, pp. 135-141
Additive symmetries: The non-negative case
Marc Daumas
,
Philippe Langlois
Theoretical Computer Science
291
(2), 2003, pp. 143-157
A
p\times p
bit fraction model of binary floating point division and extremal rounding cases
David W. Matula
,
Lee D. McFearin
Theoretical Computer Science
291
(2), 2003, pp. 159-182
Solving the generalized mask constraint for test generation of binary floating point add operation
Abraham Ziv
,
Laurent Fournier
Theoretical Computer Science
291
(2), 2003, pp. 183-201
Using PVS to validate the algorithms of an exact arithmetic
David Lester
,
Paul Gowland
Theoretical Computer Science
291
(2), 2003, pp. 203-218
A new logic for electronic commerce protocols
Kamel Adi
,
Mourad Debbabi
,
Mohamed Mejri
Theoretical Computer Science
291
(3), 2003, pp. 223-283
A comparison of three authentication properties
Riccardo Focardi
,
Roberto Gorrieri
,
Fabio Martinelli
Theoretical Computer Science
291
(3), 2003, pp. 285-327
Coalgebras and monads in the semantics of Java
Bart Jacobs
,
Erik Poll
Theoretical Computer Science
291
(3), 2003, pp. 329-349
Specification languages in algebraic compilers
Erik Van Wyk
Theoretical Computer Science
291
(3), 2003, pp. 351-385