A Formal Analysis of the NVIDIA PTX Memory Consistency Model.

Daniel Lustig Sameer Sahasrabuddhe Olivier Giroux

Published in: ASPLOS (2019)

Keyphrases

formal analysis
high level
probabilistic model
agent model
mathematical model
real time
general purpose
experimental data
statistical model
computational model
objective function
artificial intelligence
cost function
similarity measure
life cycle
associative memory
machine learning