Symbolic Analyses of Dataflow Graphs.
Adnan BouakazPascal FradetAlain GiraultPublished in: ACM Trans. Design Autom. Electr. Syst. (2017)
Keyphrases
- graph transformation
- graph matching
- data flow
- bipartite graph
- graph databases
- series parallel
- weighted graph
- high level
- structured objects
- symbolic representation
- parallel computing
- design methodology
- graph theory
- statistical analysis
- database
- undirected graph
- video coding
- object recognition
- graph representation
- graph theoretic
- control flow
- graph construction
- parallel execution
- pattern recognition
- search algorithm
- labeled graphs