Login / Signup
Formal Verification of IA-64 Division Algorithms.
John Harrison
Published in:
TPHOLs (2000)
Keyphrases
</>
formal verification
learning algorithm
data structure
computationally efficient
theoretical analysis
model checking
times faster
artificial intelligence
bayesian networks
reinforcement learning
computational complexity
lower bound
evolutionary algorithm
significant improvement