Follow
Robert Keller
Title
Cited by
Cited by
Year
Formal verification of parallel programs
RM Keller
Communications of the ACM 19 (7), 371-384, 1976
11891976
Some approaches to best-match file searching
WA Burkhard, RM Keller
Communications of the ACM 16 (4), 230-236, 1973
6741973
Data flow program graphs
AL Davis, RM Keller
5561982
The gradient model load balancing method
FCH Lin, RM Keller
IEEE transactions on software engineering, 32-38, 1987
4891987
The energy consumption of blockchain technology: Beyond myth
J Sedlmeir, HU Buhl, G Fridgen, R Keller
Business & Information Systems Engineering 62 (6), 599-608, 2020
3382020
Look-ahead processors
RM Keller
ACM Computing Surveys (CSUR) 7 (4), 177-195, 1975
2991975
A loosely-coupled applicative multi-processing system*
RM Keller, G Lindstrom, S Patil
1979 International Workshop on Managing Requirements Knowledge (MARK), 613-622, 1979
2021979
Towards a theory of universal speed-independent modules
RM Keller
IEEE Transactions on Computers 100 (1), 21-33, 1974
1651974
A fundamental theorem of asynchronous parallel computation
RM Keller
Sagamore Computer Conference, 102-112, 1974
1631974
Garbage collection and task deletion in distributed applicative processing systems
P Hudak, RM Keller
Proceedings of the 1982 ACM Symposium on LISP and Functional Programming …, 1982
1371982
Parallel program schemata and maximal parallelism I. Fundamental results
RM Keller
Journal of the ACM (JACM) 20 (3), 514-537, 1973
1341973
Denotational models for parallel programs with indeterminate operators
RM Keller
Formal description of programming concepts, 337-366, 1977
1261977
Vector replacement systems: A formalism for modeling asynchronous systems
RM Keller
Department of Electrical Engineering Computer Sciences Laboratory Princeton …, 1972
1081972
Simulated performance of a reduction-based multiprocessing system
RM Keller, FCH Lin
1071984
Machine learning of jazz grammars
J Gillick, K Tang, RM Keller
Computer Music Journal 34 (3), 56-66, 2010
1052010
A grammatical approach to automatic improvisation
RM Keller, DR Morrison
proceedings of the sound and Music computing conference, 330-337, 2007
1002007
A holistic view on sector coupling
G Fridgen, R Keller, MF Körner, M Schöpf
Energy Policy 147, 111913, 2020
862020
Rediflow multiprocessing
RM Keller, FCH Lin, J Tanaka
811984
Gradient Model: A Demand-Driven Load Balancing Scheme.
FCH Lin, RM Keller
ICDCS, 329-336, 1986
651986
Learning to Create Jazz Melodies Using Deep Belief Nets.
G Bickerman, S Bosley, P Swire, RM Keller
ICCC, 228-237, 2010
632010
The system can't perform the operation now. Try again later.
Articles 1–20