ECBS 2000 | Sciweavers

108

Voted

ECBS
2000
IEEE

70views Hardware» more ECBS 2000»

Model Checking the Java Meta-Locking Algorithm

15 years 8 months ago

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...

Samik Basu, Scott A. Smolka, Orson R. Ward

claim paper

Read More »

click to vote

ECBS
2000
IEEE

126views Hardware» more ECBS 2000»

Smooth Seas - Rough Sailing: The Case of the Lame Ship

15 years 8 months ago

Download acquisitionresearch.net

Darren Dalcher

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers