Login / Signup
A Model of Dynamic Separation for Transactional Memory.
Martín Abadi
Tim Harris
Katherine F. Moore
Published in:
CONCUR (2008)
Keyphrases
</>
high level
probabilistic model
data management
real time
data structure