Memory Policy Analysis for Semantics Specifications in Maude.

Adrián Riesco Irina Mariuca Asavoae Mihail Asavoae

Published in: LOPSTR (2015)

Keyphrases

databases
machine learning
image analysis
data model
quantitative analysis
memory usage
data sets
neural network
search engine
logic programming
control flow