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
12101976
Some approaches to best-match file searching
WA Burkhard, RM Keller
Communications of the ACM 16 (4), 230-236, 1973
6711973
Data flow program graphs
AL Davis, RM Keller
Computer 15 (02), 26-41, 1982
5651982
The gradient model load balancing method
FCH Lin, RM Keller
IEEE transactions on software engineering, 32-38, 1987
4931987
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
3982020
Look-ahead processors
RM Keller
ACM Computing Surveys (CSUR) 7 (4), 177-195, 1975
3041975
A loosely-coupled applicative multi-processing system*
RM Keller, G Lindstrom, S Patil
1979 International Workshop on Managing Requirements Knowledge (MARK), 613-622, 1979
2041979
Towards a theory of universal speed-independent modules
RM Keller
IEEE Transactions on Computers 100 (1), 21-33, 1974
1701974
A fundamental theorem of asynchronous parallel computation
RM Keller
Sagamore Computer Conference, 102-112, 1974
1641974
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
1321973
Denotational models for parallel programs with indeterminate operators
RM Keller
Formal description of programming concepts, 337-366, 1977
1261977
A holistic view on sector coupling
G Fridgen, R Keller, MF Körner, M Schöpf
Energy Policy 147, 111913, 2020
1192020
Machine learning of jazz grammars
J Gillick, K Tang, RM Keller
Computer Music Journal 34 (3), 56-66, 2010
1092010
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
A grammatical approach to automatic improvisation
RM Keller, DR Morrison
proceedings of the sound and Music computing conference, 330-337, 2007
1022007
Rediflow multiprocessing
RM Keller, FCH Lin, J Tanaka
791984
Learning to Create Jazz Melodies Using Deep Belief Nets.
G Bickerman, S Bosley, P Swire, RM Keller
ICCC, 228-237, 2010
652010
Gradient Model: A Demand-Driven Load Balancing Scheme.
FCH Lin, RM Keller
ICDCS, 329-336, 1986
651986
The system can't perform the operation now. Try again later.
Articles 1–20