Login / Signup

Off-line variable substitution for scaling points-to analysis.

Atanas RountevSatish Chandra
Published in: PLDI (2000)
Keyphrases
  • statistical analysis
  • sample points
  • database
  • real time
  • databases
  • decision trees
  • bayesian networks
  • search algorithm
  • object recognition
  • image analysis
  • control system
  • probabilistic model