Login / Signup
Reactivity in SystemC Transaction-Level Models.
Frederic Doucet
R. K. Shyamasundar
Ingolf H. Krüger
Saurabh Joshi
Rajesh K. Gupta
Published in:
Haifa Verification Conference (2007)
Keyphrases
</>
probabilistic model
higher level
experimental data
database
data structure
video sequences
parameter estimation
fine grained
statistical models
levels of abstraction
abstraction levels