Validating Microcode Algebraically.

Published in: Comput. J. (1986)

Keyphrases

iterative methods
linear systems
experimental verification
artificial intelligence
objective function
support vector
neural network
reinforcement learning
artificial neural networks
basis functions