Login / Signup
Deriving Pre-Conditions for Array Bound Check Elimination.
Wei-Ngan Chin
Siau-Cheng Khoo
Dana N. Xu
Published in:
APLAS (2000)
Keyphrases
</>
upper bound
lower bound
sufficient conditions
worst case
real time
genetic algorithm
multiresolution
error bounds
database
data mining
learning algorithm
information systems
estimation error
error detection
covering arrays