Information Streams Sharing a Finite Buffer

By E. Dijkstra. 1972

Subfields: Information Theory

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Information Theory

1. Joost-Pieter Katoen
2. Carl Vondrick
3. D'idac Sur'is
4. Sachit Menon
5. Christel Baier

Citations in the corpus

• ViperGPT: Visual Inference via Python Execution for Reasoning (2023, positive): “Our producer-consumer design [12] enables efficient GPU batching, reducing the memory and computation costs.”
• Principles of model checking (2008, background): “The interaction between concurrent processes by means of buffers (or channels) has first been considered by Dijkstra [129].”
• The Power of Models: Modeling Power Consumption for IoT Devices (2015, background): “This is analogous to the classic producer-consumer problem in computing (also known as the bounded-buffer problem [8]).”