Liveness and Boundedness of Synchronous Data Flow Graphs

2006 Formal Methods in Computer Aided Design ◽

10.1109/fmcad.2006.20 ◽

2006 ◽

Author(s):

A.H. Ghamarian ◽

M.C.W. Geilen ◽

T. Basten ◽

B.D. Theelen ◽

M.R. Mousavi ◽

...

Keyword(s):

Data Flow ◽

Data Flow Graphs ◽

Synchronous Data Flow ◽

Download Full-text

Availability analysis for synchronous data-flow graphs in mixed-criticality systems

2016 11th IEEE Symposium on Industrial Embedded Systems (SIES) ◽

10.1109/sies.2016.7509431 ◽

2016 ◽

Author(s):

Roberto Medina ◽

Etienne Borde ◽

Laurent Pautet

Keyword(s):

Data Flow ◽

Availability Analysis ◽

Data Flow Graphs ◽

Synchronous Data Flow ◽

Flow Graphs ◽

Mixed Criticality

Download Full-text

PARALLELIZING SYNCHRONOUS DATA-FLOW GRAPHS VIA RETIMING

Algorithms and Architectures for Parallel Processing ◽

10.1142/9789812792037_0023 ◽

2000 ◽

Author(s):

TIMOTHY W. O'NEIL ◽

EDWIN H.-M. SHA ◽

SISSADES TONGSIMA

Keyword(s):

Data Flow ◽

Data Flow Graphs ◽

Synchronous Data Flow ◽

Download Full-text

Erratum to: Pareto Optimal Scheduling of Synchronous Data Flow Graphs via Parallel Methods

Dependable Software Engineering: Theories, Tools, and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25942-0_21 ◽

2015 ◽

pp. E1-E1

Author(s):

Yu-Lei Gu ◽

Xue-Yang Zhu ◽

Guangquan Zhang

Keyword(s):

Data Flow ◽

Optimal Scheduling ◽

Pareto Optimal ◽

Parallel Methods ◽

Data Flow Graphs ◽

Synchronous Data Flow ◽

Download Full-text

STATIC SCHEDULING OF SYNCHRONOUS DATA-FLOW GRAPHS UNDER RESOURCE CONSTRAINTS

Parallel and Distributed Computing and Networks ◽

10.2316/journal.211.2012.1.211-1057 ◽

2012 ◽

Vol 2 (1) ◽

Author(s):

Timothy W. O’Neil

Keyword(s):

Data Flow ◽

Resource Constraints ◽

Static Scheduling ◽

Data Flow Graphs ◽

Synchronous Data Flow ◽

Download Full-text

Retiming for Synchronous Data Flow Graphs

2007 Asia and South Pacific Design Automation Conference ◽

10.1109/aspdac.2007.358032 ◽

2007 ◽

Author(s):

N. Liveris ◽

C. Lin ◽

J. Wang ◽

H. Zhou ◽

P. Banerjee

Keyword(s):

Data Flow ◽

Data Flow Graphs ◽

Synchronous Data Flow ◽

Download Full-text

Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking

FM 2015: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-19249-9_34 ◽

2015 ◽

pp. 551-569 ◽

Author(s):

Xue-Yang Zhu ◽

Rongjie Yan ◽

Yu-Lei Gu ◽

Jian Zhang ◽

Wenhui Zhang ◽

...

Keyword(s):

Model Checking ◽

Data Flow ◽

Optimal Scheduling ◽

Data Flow Graphs ◽

Synchronous Data Flow ◽

Download Full-text

Latency Minimization for Synchronous Data Flow Graphs

10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007) ◽

10.1109/dsd.2007.4341468 ◽

2007 ◽

Author(s):

A.H. Ghamarian ◽

S. Stuijk ◽

T. Basten ◽

M.C.W. Geilen ◽

B.D. Theelen

Keyword(s):

Data Flow ◽

Data Flow Graphs ◽

Synchronous Data Flow ◽

Flow Graphs ◽

Latency Minimization

Download Full-text

Task sheduling for power optimisation of multi frequency synchronous data flow graphs

2005 18th Symposium on Integrated Circuits and Systems Design ◽

10.1145/1081081.1081100 ◽

2005 ◽

Author(s):

Bastian Knerr ◽

Martin Holzer ◽

Markus Rupp

Keyword(s):

Data Flow ◽

Data Flow Graphs ◽

Synchronous Data Flow ◽

Download Full-text

Parametric throughput analysis of synchronous data flow graphs

2008 Design, Automation and Test in Europe ◽

10.1145/1403375.1403407 ◽

2008 ◽

Author(s):

A. H. Ghamarian ◽

M. C. W. Geilen ◽

T. Basten ◽

S. Stuijk

Keyword(s):

Data Flow ◽

Throughput Analysis ◽

Data Flow Graphs ◽

Synchronous Data Flow ◽

Download Full-text

Data memory minimisation for synchronous data flow graphs emulated on DSP-FPGA targets

Proceedings of the 34th annual conference on Design automation conference - DAC '97 ◽

10.1145/266021.266036 ◽

1997 ◽

Author(s):

Marleen Adé ◽

Rudy Lauwereins ◽

J. A. Peperstraete

Keyword(s):

Data Flow ◽

Data Memory ◽

Data Flow Graphs ◽

Synchronous Data Flow ◽

Download Full-text