744 search results - page 18 / 149 » Software Transactional Memory on Relaxed Memory Models |
106
Voted
PODC
1995
ACM
15 years 5 months ago
1995
ACM
113
Voted
SPIN
2010
Springer
15 years 6 days ago
2010
Springer
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...
129
Voted
CONCUR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Dynamic separation is a new programming discipline for systems with transactional memory. We study it formally in the setting of a small calculus with transactions. We pr...
118
Voted
CAV
2008
Springer
15 years 3 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...