A model of dynamic separation for transactional memory.

Martín Abadi Tim Harris Katherine F. Moore

Published in: Inf. Comput. (2010)

Keyphrases

real time
probabilistic model
high level
open source
input output
computing systems