Programming GPUs from High Level Data Flow Models

Computational Methods for Engineering Technology ◽

10.4203/csets.34.4 ◽

2015 ◽

pp. 73-109 ◽

Cited By ~ 1

Author(s):

M. Barreteau ◽

R. Barrère ◽

E. Lenormand

Keyword(s):

Data Flow ◽

Flow Models ◽

Level Data ◽

High Level

Download Full-text

Application of symbolic computer algebra in high-level data-flow synthesis

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.2003.816213 ◽

2003 ◽

Vol 22 (9) ◽

pp. 1154-1165 ◽

Cited By ~ 40

Author(s):

A. Peymandoust ◽

G. De Micheli

Keyword(s):

Computer Algebra ◽

Data Flow ◽

Flow Synthesis ◽

Level Data ◽

High Level

Download Full-text

High-level data flow analysis

Communications of the ACM ◽

10.1145/359842.359849 ◽

1977 ◽

Vol 20 (10) ◽

pp. 712-724 ◽

Cited By ~ 39

Author(s):

Barry K. Rosen

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis ◽

Level Data ◽

High Level

Download Full-text

Low-Power High-Level Data-Flow Synthesis

2006 International Conference on Computational Intelligence and Security ◽

10.1109/iccias.2006.295407 ◽

2006 ◽

Author(s):

Guanjun Wang ◽

Tao Zhou

Keyword(s):

Low Power ◽

Data Flow ◽

Flow Synthesis ◽

Level Data ◽

High Level

Download Full-text

Multiprocessor systems programming in a high-level data-flow language

Lecture Notes in Computer Science - PARLE Parallel Architectures and Languages Europe ◽

10.1007/3-540-17943-7_125 ◽

1987 ◽

pp. 134-151 ◽

Cited By ~ 3

Author(s):

J. L. Gaudiot ◽

L. T. Lee

Keyword(s):

Data Flow ◽

Multiprocessor Systems ◽

Level Data ◽

High Level ◽

Systems Programming

Download Full-text

Formal verification of high-level data-flow synthesis designs using relational modeling and symbolic computation

Integration ◽

10.1016/j.vlsi.2009.06.003 ◽

2010 ◽

Vol 43 (1) ◽

pp. 101-112

Author(s):

Zhi Yang ◽

Guangsheng Ma ◽

Shu Zhang

Keyword(s):

Formal Verification ◽

Symbolic Computation ◽

Data Flow ◽

Flow Synthesis ◽

Level Data ◽

High Level

Download Full-text

A High Level Data flow Programming Language for Ultrasonic Data Analysis

Review of Progress in Quantitative Nondestructive Evaluation ◽

10.1007/978-1-4613-0817-1_85 ◽

1989 ◽

pp. 673-680

Author(s):

Roger G. Carter ◽

Lee H. Pearson

Keyword(s):

Data Analysis ◽

Programming Language ◽

Data Flow ◽

Level Data ◽

High Level

Download Full-text

Automatic High-level Data-flow Synthesis and Optimization of Polynomial Datapaths Using Functional Decomposition

IEEE Transactions on Computers ◽

10.1109/tc.2014.2345395 ◽

2014 ◽

pp. 1-1 ◽

Cited By ~ 4

Author(s):

Samaneh Ghandali ◽

Bijan Alizadeh ◽

Masahiro Fujita ◽

Zainalabedin Navabi

Keyword(s):

Data Flow ◽

Functional Decomposition ◽

Flow Synthesis ◽

Level Data ◽

High Level

Download Full-text

A symbolic methodology for formal verification of high-level data-flow synthesis

2008 9th International Conference on Solid-State and Integrated-Circuit Technology ◽

10.1109/icsict.2008.4735043 ◽

2008 ◽

Author(s):

Zhi Yang ◽

Chao Lv ◽

Guangsheng Ma ◽

Jingbo Shao

Keyword(s):

Formal Verification ◽

Data Flow ◽

Flow Synthesis ◽

Level Data ◽

High Level

Download Full-text

High-level data link control (HDLC) procedures

10.3403/00150576 ◽

1985 ◽

Keyword(s):

Data Link ◽

Level Data ◽

High Level

Download Full-text

High-level data link control (HDLC) procedures

10.3403/00150552 ◽

1985 ◽

Keyword(s):

Data Link ◽

Level Data ◽

High Level

Download Full-text