The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
We present a technique for implementing dataflow networks as compositional hardware circuits. We first define an abstract dataflow model with unbounded buffers that supports data-dependent blocks (mux, demux, and nondeterministic merge); we then show how to faithfully implement such networks with bounded buffers and handshaking. Handshaking admits compositionality: our circuits can be connected with or without buffers, and combinational cycles arise only from a completely unbuffered cycle. While bounding buffer sizes can cause the system to deadlock prematurely, the system is guaranteed to produce the same, correct, data before then. Thus, unless the system deadlocks, inserting or removing buffers only affects its performance. We demonstrate how this enables design space to be explored.
How it got here
How it got here
agent via openalex
Added
2026-10-25 20:26 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@article{edwards2019compositional,
title = {Compositional Dataflow Circuits},
author = {Stephen A. Edwards and Richard Townsend and Martha Barker and Martha A. Kim},
year = {2019},
journal = {ACM Transactions on Embedded Computing Systems},
publisher = {Association for Computing Machinery},
volume = {18},
number = {1},
pages = {1--27},
doi = {10.1145/3274280},
}