Pages that link to "Item:Q3636851"
From MaRDI portal
The following pages link to Transactional Memory: Glimmer of a Theory (Q3636851):
Displaying 22 items.
- Towards formally specifying and verifying transactional memory (Q470040) (← links)
- On avoiding spare aborts in transactional memory (Q493661) (← links)
- Good programming in transactional memory: game theory meets multicore architecture (Q553350) (← links)
- Multithreaded transactions in scientific computing. The GROWTH06\_v2 program (Q603281) (← links)
- Transactional memory (Q666225) (← links)
- Adaptive locks: combining transactions and locks for efficient concurrency (Q666229) (← links)
- Embedded-TM: energy and complexity-effective hardware transactional memory for embedded multicore systems (Q666237) (← links)
- Extensible transactional memory testbed (Q666242) (← links)
- Inherent limitations on disjoint-access parallel implementations of transactional memory (Q693754) (← links)
- Nested transactional memory: Model and architecture sketches (Q856912) (← links)
- Proving opacity of transactional memory with early release (Q902713) (← links)
- Designing a software transactional memory for peer-to-peer systems (Q902725) (← links)
- An analytic framework for performance modeling of software transactional memory (Q1018877) (← 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)
- Distributed transactional memory for metric-space networks (Q1954240) (← links)
- Non-interference and local correctness in transactional memory (Q2357153) (← links)
- The PCL Theorem (Q4625668) (← links)
- Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory (Q5041273) (← links)
- Software transactional memory (Q5137331) (← links)
- Verifying Opacity of a Transactional Mutex Lock (Q5206950) (← links)
- Privatization-safe transactional memories (Q6487541) (← links)