• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Reactivity in SystemC Transaction-Level Models.

Frederic DoucetR. K. ShyamasundarIngolf H. KrügerSaurabh JoshiRajesh 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