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
11321976
Some approaches to best-match file searching
WA Burkhard, RM Keller
Communications of the ACM 16 (4), 230-236, 1973
6481973
Data flow program graphs
AL Davis, RM Keller
5201982
The gradient model load balancing method
FCH Lin, RM Keller
IEEE transactions on software engineering, 32-38, 1987
4821987
Look-ahead processors
RM Keller
ACM Computing Surveys (CSUR) 7 (4), 177-195, 1975
2831975
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
2342020
A loosely-coupled applicative multi-processing system*
RM Keller, G Lindstrom, S Patil
1979 International Workshop on Managing Requirements Knowledge (MARK), 613-622, 1979
1861979
Towards a theory of universal speed-independent modules
RM Keller
IEEE Transactions on Computers 100 (1), 21-33, 1974
1601974
A fundamental theorem of asynchronous parallel computation
RM Keller
Sagamore Computer Conference, 102-112, 1974
1571974
Parallel program schemata and maximal parallelism I. Fundamental results
RM Keller
Journal of the ACM (JACM) 20 (3), 514-537, 1973
1351973
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
1281982
Denotational models for parallel programs with indeterminate operators
RM Keller
Formal description of programming concepts, 337-366, 1977
1251977
Simulated performance of a reduction-based multiprocessing system
RM Keller, FCH Lin
1061984
A grammatical approach to automatic improvisation
RM Keller, DR Morrison
Proceedings of the Sound and Music Computing Conference, 330-337, 2007
1002007
Vector replacement systems: A formalism for modeling asynchronous systems
RM Keller
Department of Electrical Engineering Computer Sciences Laboratory Princeton …, 1972
971972
Applicative caching
RM Keller, MR Sleep
ACM Transactions on Programming Languages and Systems (TOPLAS) 8 (1), 88-108, 1986
851986
Rediflow multiprocessing
RM Keller, FCH Lin, J Tanaka
781984
Gradient model: A demand-driven load balancing scheme
FCH Lin
Proc. 6th ICDCS, 1986, 1986
651986
Machine learning of jazz grammars
J Gillick, K Tang, RM Keller
Computer Music Journal 34 (3), 56-66, 2010
642010
Learning to Create Jazz Melodies Using Deep Belief Nets.
G Bickerman, S Bosley, P Swire, RM Keller
ICCC, 228-237, 2010
622010
The system can't perform the operation now. Try again later.
Articles 1–20