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

Utility of transaction-level hardware models in refinement checking.

Yogesh S. MahajanSharad Malik
Published in: HLDVT (2010)
Keyphrases
  • statistical model
  • database
  • low cost
  • probabilistic model
  • levels of abstraction
  • artificial neural networks
  • data sets
  • information retrieval
  • data streams
  • computer systems
  • model selection
  • utility function