Login / Signup
Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations.
Tatsuya Abe
Toshiyuki Maeda
Published in:
J. Inf. Process. (2017)
Keyphrases
</>
optimal solution
probabilistic model
logic programming
machine learning
knowledge base
data model
computational models