The use of combinators in translating a purely functional language to low-level data-flow graphs

Computer Languages ◽

10.1016/0096-0551(83)90004-8 ◽

1983 ◽

Vol 8 (1) ◽

pp. 27-45 ◽

Author(s):

Peter M. Maurer ◽

Arthur E. Oldehoeft

Keyword(s):

Data Flow ◽

Functional Language ◽

Low Level ◽

Data Flow Graphs ◽

Download Full-text

Control-Flow Semantics for Assembly-Level Data-Flow Graphs

Relational Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/11734673_12 ◽

2006 ◽

pp. 147-160 ◽

Author(s):

Wolfram Kahl ◽

Christopher K. Anand ◽

Jacques Carette

Keyword(s):

Data Flow ◽

Control Flow ◽

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