SAT-Based Mapping of Data-Flow Graphs onto Coarse-Grained Reconfigurable Arrays

VLSI-SoC: Design Trends - IFIP Advances in Information and Communication Technology ◽

10.1007/978-3-030-81641-4_6 ◽

2021 ◽

pp. 113-131

Author(s):

Yukio Miyasaka ◽

Masahiro Fujita ◽

Alan Mishchenko ◽

John Wawrzynek

Keyword(s):

Data Flow ◽

Coarse Grained ◽

Reconfigurable Arrays ◽

Data Flow Graphs ◽

Download Full-text

Resource constrained mapping of data flow graphs onto coarse-grained reconfigurable array

23rd IEEE International SOC Conference ◽

10.1109/socc.2010.5784756 ◽

2010 ◽

Author(s):

Naifeng Jing ◽

Weifeng He ◽

Zhigang Mao

Keyword(s):

Data Flow ◽

Coarse Grained ◽

Resource Constrained ◽

Reconfigurable Array ◽

Data Flow Graphs ◽

Download Full-text

Inductive data flow graphs

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 ◽

10.1145/2429069.2429086 ◽

2013 ◽

Author(s):

Azadeh Farzan ◽

Zachary Kincaid ◽

Andreas Podelski

Keyword(s):

Data Flow ◽

Data Flow Graphs ◽

Download Full-text

Optimizing data flow graphs to minimize hardware implementation

2009 Design, Automation & Test in Europe Conference & Exhibition ◽

10.1109/date.2009.5090643 ◽

2009 ◽

Author(s):

D. Gomez-Prado ◽

Q. Ren ◽

M. Ciesielski ◽

J. Guillot ◽

E. Boutillon

Keyword(s):

Hardware Implementation ◽

Data Flow ◽

Data Flow Graphs ◽

Download Full-text

A branch-and-bound method for optimal transformation of data flow graphs for observing hardware constraints

Proceedings of the European Design Automation Conference, 1990., EDAC. ◽

10.1109/edac.1990.136623 ◽

2002 ◽

Author(s):

W. Grass

Keyword(s):

Branch And Bound ◽

Data Flow ◽

Branch And Bound Method ◽

Data Flow Graphs ◽

Download Full-text

Inductive data flow graphs

ACM SIGPLAN Notices ◽

10.1145/2480359.2429086 ◽

2013 ◽

Vol 48 (1) ◽

pp. 129-142 ◽

Author(s):

Azadeh Farzan ◽

Zachary Kincaid ◽

Andreas Podelski

Keyword(s):

Data Flow ◽

Data Flow Graphs ◽

Download Full-text

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

Large Data Flow Graphs in Limited GPU Memory

2019 IEEE International Conference on Big Data (Big Data) ◽

10.1109/bigdata47090.2019.9006198 ◽

2019 ◽

Author(s):

Geert Janssen ◽

Vladimir Zolotov ◽

Tung D. Le

Keyword(s):

Data Flow ◽

Data Flow Graphs ◽

Download Full-text

Scheduling conditional data-flow graphs with resource sharing

Proceedings. Fifth Great Lakes Symposium on VLSI ◽

10.1109/glsv.1995.516032 ◽

2002 ◽

Author(s):

J. Siddhiwala ◽

Liang-Fang Chao

Keyword(s):

Resource Sharing ◽

Data Flow ◽

Data Flow Graphs ◽

Download Full-text

Dynamically Reconfigurable Adaptable MultiModule Based Synthesis of DSP Data Flow Graphs

2007 Canadian Conference on Electrical and Computer Engineering ◽

10.1109/ccece.2007.377 ◽

2007 ◽

Author(s):

Awni Itradat ◽

M. O. Ahmad ◽

Ali Shatnawi

Keyword(s):

Data Flow ◽

Dynamically Reconfigurable ◽

Data Flow Graphs ◽

Download Full-text