Reasoning about the Implementation of Concurrency Abstractions on x86-TSO.

Published in: ECOOP (2010)

Keyphrases

database systems
neural network
trade off
data mining
spatial reasoning
machine learning
learning algorithm
high level
similarity measure
relational databases
object oriented
general purpose
software systems
efficient implementation
implementation details
formal theory