138
click to vote
ECBS
2000
IEEE
15 years 10 months ago
2000
IEEE
We apply the XMC model checker to the Java metalocking algorithm, a highly optimized technique for ensuring mutually exclusive access by threads to object monitor queues. Our abst...
105
Voted
ECBS
2000
IEEE
15 years 10 months ago
2000
IEEE
