Login / Signup

A practical and precise inference and specializer for array bound checks elimination.

Corneliu PopeeaDana N. XuWei-Ngan Chin
Published in: PEPM (2008)
Keyphrases
  • upper bound
  • lower bound
  • worst case
  • probabilistic inference
  • bayesian inference
  • elimination algorithm
  • real world
  • random fields
  • data sets
  • knowledge base
  • expert systems
  • practical application
  • decision theoretic