Amanote Research
Register
Sign In
Minimising Buffer Requirements of Synchronous Dataflow Graphs With Model Checking
doi 10.1109/dac.2005.193928
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2005
Authors
M. Geilen
T. Basten
S. Stuijk
Publisher
IEEE