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
[1]
Hilfe
Suche: Author="Keller, Robert"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Semantics and implementation of resource expressions
Bharat Jayaraman
,
Robert M. Keller
Journal Parallel Distributed Computing
7
, 1989, pp. 40-63
Rediflow project publications
Robert Keller
,
Gary Lindstrom
misc, 1985, August
Approaching distributed database implementations through functional programming concepts
Robert Keller
,
Gary Lindstrom
Proceedings International Conference on Distributed Systems, Denver, 1985, May
Simulated performance of a reduction-based multiprocessor
Robert Keller
,
Frank Lin
Computer
, 1984, pp. 70-82
Some theoretical aspects of applicative multiprocessing
Robert M. Keller
Lecture Notes in Computer Science
88
, 1980, pp. 58-74
Formal verification of parallel programs
Robert Keller
Communications of the ACM
19
(7), 1976, July, pp. 371-384
Towards a theory of universal speed-independent modules
Robert Keller
IEEE Transactions on Computers
C-23
(1), 1974, January, pp. 21-33
Parallel program schemata and maximal parallelism II. Construction and closures
Robert M. Keller
Journal of the ACM
20
(4), 1973, October, pp. 696-710
Parallel program schemata and maximal parallelism I. Fundamental results
Robert M. Keller
Journal of the ACM
20
(3), 1973, July, pp. 514-537
A fundamental theorem of asynchronous parallel computation
Robert Keller
Lecture Notes in Computer Science
24
, pp. 102-112