Minimising Buffer Requirements of Synchronous Dataflow Graphs with Model Checking.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

69 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the 42nd Design Automation Confernce, DAC 2005
Place of PublicationNew York
PublisherAssociation for Computing Machinery, Inc
Pages819-824
ISBN (Print)1-59593-133-3
Publication statusPublished - 2005
Eventconference; DAC 2005, Anaheim, CA, USA; 2005-06-13; 2005-06-17 -
Duration: 13 Jun 200517 Jun 2005

Conference

Conferenceconference; DAC 2005, Anaheim, CA, USA; 2005-06-13; 2005-06-17
Period13/06/0517/06/05
OtherDAC 2005, Anaheim, CA, USA

Cite this