An ACL2 Mechanization of an Axiomatic Framework for Weak Memory.

Benjamin Selfridge

Published in: ACL2 (2014)

Keyphrases

data sets
databases
information retrieval
lightweight
theoretical framework
computing power
neural network
computer vision
multiscale
video sequences
user interface
conceptual framework
memory size