Login / Signup

ABCD: eliminating array bounds checks on demand.

Rastislav BodíkRajiv GuptaVivek Sarkar
Published in: PLDI (2000)
Keyphrases
  • upper bound
  • upper and lower bounds
  • lower bound
  • cloud computing
  • worst case
  • lower and upper bounds
  • linear array
  • database
  • neural network
  • machine learning
  • learning algorithm
  • average case
  • tight bounds