713 search results - page 14 / 143 » Hybrid transactional memory |
FMCAD
2007
Springer
14 years 1 months ago
2007
Springer
—We show how to verify the correctness of transactional memory implementations with a model checker. We show how to specify transactional memory in terms of the admissible interc...
PODC
2010
ACM
13 years 11 months ago
2010
ACM
Distributed transactional memory (TM) models based on globally-consistent contention management policies may abort many transactions that could potentially commit without violatin...
ADBIS
1998
Springer
13 years 11 months ago
1998
Springer
An implementation of persistent object store for real-time systems with strict processing time constraints is a challenging task, because many traditional database techniques, e.g....
MICRO
2010
IEEE
13 years 5 months ago
2010
IEEE
Most Hardware Transactional Memory (HTM) implementations choose fixed version and conflict management policies at design time. While eager HTM systems store transactional state in-...
CGO
2010
IEEE
13 years 11 months ago
2010
IEEE
To improve the performance of transactional memory (TM), researchers have found many eager and lazy optimizations for conflict detection, the process of determining if transaction...