Lars Graf, Thomas Bohnstingl, et al.
NeurIPS 2025
This paper considers some of the issues that arise when messages or jobs inbound to a computer facility are buffered prior to being processed. Models are developed that describe (a) the results of blocking a single memory unit for the use of diverse messages, (b) the occupancy behavior of a buffer that is tied to a single message source, and (c) the occupancy of a buffer dynamically shared among many independent sources. © 1971, ACM. All rights reserved.
Lars Graf, Thomas Bohnstingl, et al.
NeurIPS 2025
Joseph Y. Halpern
aaai 1996
Albert Atserias, Anuj Dawar, et al.
Journal of the ACM
Chen-chia Chang, Wan-hsuan Lin, et al.
ICML 2025