Abstract-The concept of a data flowgraph is formalized as a bipartite directed graph. Each execution sequence of a computer program has a corresponding data flowgraph which describes functionally what happens to the data if that execution sequence is followed. The data flowgraph gives information which is useful in analyzing parallel processing, test case preparation, error analysis, and program verification. An attack aircraft tactical system is used to illustrate how the concept of data flowgraphs is applied to analyze real-time systemrs. Index Terms-Bipartite graph, control complexity, data flowgraph, discrete systems, execution sequence, independence, parallel processes, program analysis. I
We present a comprehensive approach to performing data flow analysis in parallel. We identify three ...
The rapid demand for industrial automation has resulted in the development of very large systems. Th...
International audienceThe synchronous dataflow model of computation is widely used to design embedde...
Many parallel and distributed applications have well defined structure which can be described by few...
this report is to investigate the representation of algorithms as data flow graphs and the lineariza...
The correctness of a sequential program can be shown by the anno-tation of its control flow graph wi...
This paper presents some basic techniques for representation and analysis of software. We use the te...
Data flow languages form a subclass of the languages which are based primarily upon function applica...
The synchronous dataflow model is widely used to design embedded stream-processing applications unde...
We present a comprehensive approach to performing data flow analysis in parallel. We identify three ...
This paper describes about Data Flow Computers. The dataflow model of computation offers an attracti...
Program analysis and optimization can be speeded up through the use of the dependence flow graph (DF...
In real-time applications design, two parts have to be considered : such an application handles valu...
A review of published measures of control flow complexity in programs reveals three major deficienci...
Real-time systems have to complete their actions w.r.t. given timing constraints. In order to valida...
We present a comprehensive approach to performing data flow analysis in parallel. We identify three ...
The rapid demand for industrial automation has resulted in the development of very large systems. Th...
International audienceThe synchronous dataflow model of computation is widely used to design embedde...
Many parallel and distributed applications have well defined structure which can be described by few...
this report is to investigate the representation of algorithms as data flow graphs and the lineariza...
The correctness of a sequential program can be shown by the anno-tation of its control flow graph wi...
This paper presents some basic techniques for representation and analysis of software. We use the te...
Data flow languages form a subclass of the languages which are based primarily upon function applica...
The synchronous dataflow model is widely used to design embedded stream-processing applications unde...
We present a comprehensive approach to performing data flow analysis in parallel. We identify three ...
This paper describes about Data Flow Computers. The dataflow model of computation offers an attracti...
Program analysis and optimization can be speeded up through the use of the dependence flow graph (DF...
In real-time applications design, two parts have to be considered : such an application handles valu...
A review of published measures of control flow complexity in programs reveals three major deficienci...
Real-time systems have to complete their actions w.r.t. given timing constraints. In order to valida...
We present a comprehensive approach to performing data flow analysis in parallel. We identify three ...
The rapid demand for industrial automation has resulted in the development of very large systems. Th...
International audienceThe synchronous dataflow model of computation is widely used to design embedde...