Formal Support for Untimed SystemC Specifications: Application to High-level Synthesis.

Eugenio Villar Fernando Herrera Víctor Fernández

Published in: FDL (2010)

Keyphrases

high level synthesis
decision support
bayesian networks
multi agent
probabilistic model