Adding 32-bit Mode to the ACL2 Model of the x86 ISA.
Alessandro CoglioShilpi GoelPublished in: ACL2 (2018)
Keyphrases
- computational model
- formal model
- artificial intelligence
- probabilistic model
- theoretical framework
- mathematical model
- statistical model
- experimental data
- application specific
- network model
- bayesian framework
- sensitivity analysis
- conceptual model
- theoretical analysis
- hidden markov models
- objective function
- high level
- image segmentation