Synthesis of Heterogeneous Dataflow Models from Synchronous Specifications.

Omair Rafique Yu Bai Klaus Schneider Guangxi Yan

Published in: COMPSAC (2021)

Keyphrases

statistical models
metamodel
neural network
bayesian networks
mathematical models
finite state machines
high level
parameter estimation
experimental data
computational models
data flow
formal specification
design methodology
conceptual models