Deriving Pre-conditions for Array Bound Check Elimination.

Wei-Ngan Chin Siau-Cheng Khoo Dana N. Xu

Published in: PADO (2001)

Keyphrases

lower bound
sufficient conditions
search algorithm
genetic algorithm
training data
environmental conditions
error detection
neural network
upper bound
worst case