verification

Testing Implementations of Transactional Memory
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization …
Chaiyasit Manovit, Sudheendra Hangal, Hassan Chafi, Austen McDonald, Christos Kozyrakis, Kunle Olukotun
Cite DOI