The following pages link to NOrec (Q36244):
Displaying 10 items.
- Towards formally specifying and verifying transactional memory (Q470040) (← links)
- \(\mathrm {TM}^{2}\mathrm {C}\): a software transactional memory for many-cores (Q1656883) (← links)
- Mechanized proofs of opacity: a comparison of two techniques (Q1673658) (← links)
- An efficient approach to achieve compositionality using optimized multi-version object based transactional systems (Q2139092) (← links)
- Non-interference and local correctness in transactional memory (Q2357153) (← links)
- In the Search for Optimal Concurrency (Q2835023) (← links)
- Transactional Mutex Locks (Q3162871) (← links)
- Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory (Q5041273) (← links)
- (Q5101340) (← links)
- Brief Announcement: On Implementing Software Transactional Memory in the C++ Memory Model (Q5855238) (← links)
