# Data-Flow

### Optimizing construction of scheduled data flow graph for on-line testability

**data**path is tested at least once within their ...scheduled

**data**

**flow**graph is utilized to estimate the number of FUs and their idle periods in which certain testing operations are scheduled ...

10

### Formal verification of a synchronous data-flow compiler : from Signal to C

195

### Assessing the Functional Feasibility of Variability-Intensive Data Flow-Oriented Systems

**data**-

**flow**image processing effects, such as blending, warping and scaling, an instrument cluster system improves driver experience with useful and high quality 2D/3D Human-Machine Interface ...

11

### Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler

**data**-

**flow**language that allows the specification of multi-clocked systems. Signal handles unbounded sequences of typed values (x(t)) t∈N , called signals, ...

16

### An experiment with reactive data-flow tasking in active robot vision

**data**dependencies), and of the temporal aspects ...a

**flow**of

**data**, multi-rate parallel computations), for which there is no well-founded support or ...synchronous

**data**

**flow**language ...

34

### Formal verification of automatically generated C-code from polychronous data-flow equations

**data**-

**flow**languages such as L USTRE [10] or S IGNAL [8] have been introduced and successfully used to design and implement em- bedded software architectures and critical real-time ...

10

### Translation Validation for Synchronous Data-flow Specification in the SIGNAL Compiler

**data**-

**flow**compiler Signal. With the simplicity of the graph ...

23

### Application of Data Flow Computation to the Shaded Image Problem

28

### Implementation of Turing machines with the Scufl data-flow language

7

### Optimization of Data Flow Computations using Canonical TED Representation

**flow**. It transforms the

**data**

**flow**graph extracted from the initial specification into an opti- mized DFG using a host of TED-based decomposition and DFG optimization techniques, and ...

9

### Data-flow Explicit Futures

43

### BPDF: Boolean Parametric Data Flow

**Data**

**Flow**(BPDF) model which combines integer parameters (to express dynamic rates) and boolean parameters (to express the activation and deactivation of communication ...

25

### Modeling and scheduling embedded real-time systems using Synchronous Data Flow Graphs

192

### Accelerated Data-Flow Analysis

**data**-

**flow**analysis and we apply these ideas to interval ...generic

**data**-

**flow**analysis framework, and we establish several links between the resulting ...for

**data**-

**flow**anal- ...

21

### Acceleration in Convex Data-Flow Analysis

**data**-

**flow**analysis, widening opera- tors are usually used in order to speed up the iterative computation of the mini- mum fix-point solution ...control-

**flow**cycle in order to ...

23

### Formal Verification of Synchronous Data-flow Program Transformations Toward Certified Compilers

18

### Separating Control and Data Flow: Methodology and Automotive System Case Study

36

### Constrained and phased scheduling of synchronous data flow graphs for StreamIt language

109

### Tracking Data-Flow with Open Closure Types

**data**-ﬂow from the environment into the function closure. A simply-typed lambda ...

28

### Data flow models for fault-tolerant computation

83