Analysis of Timing-Based Mutual Exclusion with Random Times.

Eli Gafni Michael Mitzenmacher

Published in: PODC (1999)

Keyphrases

mutual exclusion
quantitative analysis
data sets
data analysis
statistical analysis
image analysis
np complete
statistically significant
model checking