An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking

Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis - CODES+ISSS '09 ◽

10.1145/1629435.1629445 ◽

2009 ◽

Author(s):

Weichen Liu ◽

Zonghua Gu ◽

Jiang Xu ◽

Yu Wang ◽

Mingxuan Yuan

Keyword(s):

Model Checking ◽

Efficient Technique ◽

Dataflow Graphs ◽

Synchronous Dataflow ◽

Synchronous Dataflow Graphs

Download Full-text

Minimising buffer requirements of synchronous dataflow graphs with model checking

Proceedings. 42nd Design Automation Conference, 2005. ◽

10.1145/1065579.1065796 ◽

2005 ◽

Author(s):

Marc Geilen ◽

Twan Basten ◽

Sander Stuijk

Keyword(s):

Model Checking ◽

Dataflow Graphs ◽

Synchronous Dataflow ◽

Synchronous Dataflow Graphs

Download Full-text

Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs

2009 Asia and South Pacific Design Automation Conference ◽

10.1109/aspdac.2009.4796564 ◽

2009 ◽

Author(s):

Nan Guan ◽

Zonghua Gu ◽

Wang Yi ◽

Ge Yu

Keyword(s):

Model Checking ◽

Dataflow Graphs ◽

Synchronous Dataflow ◽

Synchronous Dataflow Graphs

Download Full-text

Minimising buffer requirements of synchronous dataflow graphs with model checking

Proceedings. 42nd Design Automation Conference, 2005. ◽

10.1109/dac.2005.193928 ◽

2005 ◽

Author(s):

M. Geilen ◽

T. Basten ◽

S. Stuijk

Keyword(s):

Model Checking ◽

Dataflow Graphs ◽

Synchronous Dataflow ◽

Synchronous Dataflow Graphs

Download Full-text

Efficient Retiming of Unfolded Synchronous Dataflow Graphs

2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs.2019.00022 ◽

2019 ◽

Author(s):

Xue-Yang Zhu

Keyword(s):

Dataflow Graphs ◽

Synchronous Dataflow ◽

Synchronous Dataflow Graphs

Download Full-text

The Implementation of Synchronous Dataflow Graphs Using Reconfigurable Hardware

Lecture Notes in Computer Science - Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing ◽

10.1007/3-540-44614-1_78 ◽

2000 ◽

pp. 739-748 ◽

Author(s):

Martyn Edwards ◽

Peter Green

Keyword(s):

Reconfigurable Hardware ◽

Dataflow Graphs ◽

Synchronous Dataflow ◽

Synchronous Dataflow Graphs

Download Full-text

Buffer Minimization for Rate-Optimal Scheduling of Synchronous Dataflow Graphs on Multicore Systems

Algorithms and Architectures for Parallel Processing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-49583-5_25 ◽

2016 ◽

pp. 325-340 ◽

Author(s):

Mingze Ma ◽

Rizos Sakellariou

Keyword(s):

Optimal Scheduling ◽

Multicore Systems ◽

Dataflow Graphs ◽

Synchronous Dataflow ◽

Synchronous Dataflow Graphs ◽

Buffer Minimization

Download Full-text

Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata

2014 14th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2014.13 ◽

2014 ◽

Author(s):

Waheed Ahmad ◽

Robert de Groote ◽

Philip K.F. Holzenspies ◽

Marielle Stoelinga ◽

Jaco van de Pol

Keyword(s):

Timed Automata ◽

Optimal Scheduling ◽

Resource Constrained ◽

Dataflow Graphs ◽

Synchronous Dataflow ◽

Synchronous Dataflow Graphs

Download Full-text

Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs

2006 43rd ACM/IEEE Design Automation Conference ◽

10.1145/1146909.1147138 ◽

2006 ◽

Author(s):

Sander Stuijk ◽

Marc Geilen ◽

Twan Basten

Keyword(s):

Dataflow Graphs ◽

Synchronous Dataflow ◽

Synchronous Dataflow Graphs

Download Full-text

Latency analysis of homogeneous synchronous dataflow graphs using timed automata

Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 ◽

10.23919/date.2017.7927116 ◽

2017 ◽

Author(s):

Guus Kuiper ◽

Marco J.G. Bekooij

Keyword(s):

Timed Automata ◽

Dataflow Graphs ◽

Synchronous Dataflow ◽

Latency Analysis ◽

Synchronous Dataflow Graphs

Download Full-text

Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs

2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing ◽

10.1109/pdp.2015.57 ◽

2015 ◽

Author(s):

Hazem Ismail Ali ◽

Benny Akesson ◽

Luis Miguel Pinho

Keyword(s):

Real Time ◽

Dataflow Graphs ◽

Synchronous Dataflow ◽

Time Parameters ◽

Synchronous Dataflow Graphs

Download Full-text