Login / Signup
Extending the FSMD Framework for Validating Code Motions of Array-Handling Programs.
Kunal Banerjee
Dipankar Sarkar
Chittaranjan A. Mandal
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2014)
Keyphrases
</>
main contribution
image sequences
lightweight
neural network
artificial intelligence
expert systems
computer programs
databases
knowledge base
bayesian networks