An Executable Semantics of SystemC Transaction Level Models and Its Applications with VERDS.

Naiju Zeng Wenhui Zhang

Published in: ICECCS (2014)

Keyphrases

levels of abstraction
abstraction levels
database
object oriented
logic programming
parameter estimation
computational models
web services
prior knowledge
statistical model
statistical models
classification models
formal semantics