Bounded TSO-to-SC Linearizability Is Decidable.

Chao Wang Yi Lv Peng Wu

Published in: SOFSEM (2016)

Keyphrases

first order logic
neural network
computer vision
data sets
learning algorithm
evolutionary algorithm
transitive closure