Minimising Buffer Requirements of Synchronous Dataflow Graphs with Model Checking.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of the 42nd Design Automation Confernce, DAC 2005
Place of Publication	New York
Publisher	Association for Computing Machinery, Inc
Pages	819-824
ISBN (Print)	1-59593-133-3
Publication status	Published - 2005
Event	conference; DAC 2005, Anaheim, CA, USA; 2005-06-13; 2005-06-17 - Duration: 13 Jun 2005 → 17 Jun 2005

Conference	conference; DAC 2005, Anaheim, CA, USA; 2005-06-13; 2005-06-17
Period	13/06/05 → 17/06/05
Other	DAC 2005, Anaheim, CA, USA

Cite this

@inproceedings{b073fe17a5d149acaa513f8ec49636f2,

title = "Minimising Buffer Requirements of Synchronous Dataflow Graphs with Model Checking.",

author = "M.C.W. Geilen and T. Basten and S. Stuijk",

year = "2005",

language = "English",

isbn = "1-59593-133-3",

pages = "819--824",

booktitle = "Proceedings of the 42nd Design Automation Confernce, DAC 2005",

publisher = "Association for Computing Machinery, Inc",

address = "United States",

note = "conference; DAC 2005, Anaheim, CA, USA; 2005-06-13; 2005-06-17 ; Conference date: 13-06-2005 Through 17-06-2005",

}

Proceedings of the 42nd Design Automation Confernce, DAC 2005. New York : Association for Computing Machinery, Inc, 2005. p. 819-824.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Minimising Buffer Requirements of Synchronous Dataflow Graphs with Model Checking.

AU - Geilen, M.C.W.

AU - Basten, T.

AU - Stuijk, S.

PY - 2005

Y1 - 2005

M3 - Conference contribution

SN - 1-59593-133-3

SP - 819

EP - 824

BT - Proceedings of the 42nd Design Automation Confernce, DAC 2005

PB - Association for Computing Machinery, Inc

CY - New York

T2 - conference; DAC 2005, Anaheim, CA, USA; 2005-06-13; 2005-06-17

Y2 - 13 June 2005 through 17 June 2005

ER -