R
Robert M. Keller
Researcher at University of Augsburg
Publications - 88
Citations - 4026
Robert M. Keller is an academic researcher from University of Augsburg. The author has contributed to research in topics: Load balancing (computing) & Chord (music). The author has an hindex of 25, co-authored 88 publications receiving 3664 citations. Previous affiliations of Robert M. Keller include Princeton University & Fraunhofer Society.
Papers
More filters
Journal ArticleDOI
Formal verification of parallel programs
TL;DR: An induction principle is presented which treats the control and data state sets on the same ground and it is observed that certain correctness conditions can be expressed without enumeration of the set of all possible control states.
Journal ArticleDOI
Some approaches to best-match file searching
W. A. Burkhard,Robert M. Keller +1 more
TL;DR: Three file structures are presented together with their corresponding search algorithms, which are intended to reduce the number of comparisons required to achieve the desired result.
The Gr adient Model Load Balancing Method
Frank C. H. Lin,Robert M. Keller +1 more
TL;DR: In this article, a dynamic load balancing method is proposed for a class of large-diameter multiprocessor systems based on the "gradient model", which entails transferring backlogged tasks to nearby idle processors according to a pressure gradient indirectly established by requests from idle processors.
Journal ArticleDOI
The Gradient Model Load Balancing Method
F.C.H. Lin,Robert M. Keller +1 more
TL;DR: A dynamic load balancing method is proposed for a class of large-diameter multiprocessor systems based on the "gradient model," which entails transferring backlogged tasks to nearby idle processors according to a pressure gradient indirectly established by requests from idle processors.
Journal ArticleDOI
The Energy Consumption of Blockchain Technology: Beyond Myth
Johannes Sedlmeir,Hans Ulrich Buhl,Hans Ulrich Buhl,Gilbert Fridgen,Gilbert Fridgen,Robert M. Keller,Robert M. Keller +6 more
TL;DR: The article is meant to bring clarity to the topic in a holistic fashion, looking beyond claims regarding the energy consumption of Bitcoin, which have, so far, dominated the discussion.