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

Using AI for Performance Verification of High-End Processors.

Raviv GalAlex GoldinWesam IbraheemYehuda Naveh
Published in: ICPE Companion (2019)
Keyphrases
  • high end
  • low end
  • computer systems
  • artificial intelligence
  • computing systems
  • mobile devices
  • frame rate
  • processing units
  • file system
  • machine learning
  • parallel architectures
  • databases
  • model checking
  • formal methods