NOrec
From MaRDI portal
swMATH24487MaRDI QIDQ36244FDOQ36244
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?doid=1837853.1693464
Cited In (20)
- Towards formally specifying and verifying transactional memory
- Title not available (Why is that?)
- Brief Announcement: On Implementing Software Transactional Memory in the C++ Memory Model
- An efficient approach to achieve compositionality using optimized multi-version object based transactional systems
- In the search for optimal concurrency
- Non-interference and local correctness in transactional memory
- \(\mathrm {TM}^{2}\mathrm {C}\): a software transactional memory for many-cores
- STAMP
- DiSTM
- JudoSTM
- RingSTM
- ATOM
- Mnemosyne
- WHISPER
- TMunit
- Mechanized proofs of opacity: a comparison of two techniques
- TLRW
- Synchrobench
- Defining and verifying durable opacity: correctness for persistent software transactional memory
- Transactional mutex locks
This page was built for software: NOrec
