Linearizability of Persistent Memory Objects Under a Full-System-Crash Failure Model.

Joseph Izraelevitz Hammurabi Mendes Michael L. Scott

Published in: DISC (2016)

Keyphrases

mathematical model
probabilistic model
management system
simulation model
computational model
learning algorithm
conceptual model
moving objects
object recognition
petri net
data structure
statistical model
similarity measure
real time
formal model
prediction model
associative memory