RaceFree: an efficient multi-threading model for determinism.

Kai Lu Xu Zhou Xiaoping Wang Wenzhe Zhang Gen Li

Published in: PPOPP (2013)

Keyphrases

high level
real time
probabilistic model
software engineering
information systems
low cost
highly efficient