Inexact versus exact methods in memory dependence testing for array variables.

Published in: J. Program. Lang. (1995)

Keyphrases

exact methods
random variables
exact algorithms
integer programming
lower bound
np hard
machine learning
bayesian networks
objective function
search algorithm
probability distribution
branch and bound algorithm
heuristic methods