R-SHIM: deterministic concurrency with recursion and shared variables.

Olivier Tardieu Stephen A. Edwards

Published in: MEMOCODE (2006)

Keyphrases

neural network
random variables
concurrency control
transitive closure
relevant variables
data sets
databases
database systems
software systems
first order logic
complex objects
conditional probabilities
variable selection
directed acyclic graph
hidden variables
state variables