Login / Signup

Accelerated test execution using GPUs.

Ajitha RajanSubodh SharmaPeter SchrammelDaniel Kroening
Published in: ASE (2014)
Keyphrases
  • expert systems
  • general purpose
  • gpu implementation
  • real world
  • bayesian networks
  • statistical significance