Search Results for 'lock idx'

lock idx published presentations and documents on DocSlides.

Maximum Benefit from a Minimal HTM

by myesha-ticknor

Owen Hofmann, Chris . Rossbach. , and Emmett . Wi...

Automated and Modular Refinement Reasoning

by celsa-spraggs

for Concurrent Programs. Shaz Qadeer. The refinem...