Architectural support for runtime verification on ccNUMA multiprocessors.

Ahmed Nassar Fadi J. Kurdahi

Published in: IDT (2013)

Keyphrases

high level
decision support
neural network
model checking
data sets
machine learning
decision trees
artificial neural networks
end users
formal verification