744 search results - page 18 / 149 » Software Transactional Memory on Relaxed Memory Models |
PODC
1995
ACM
15 years 1 months ago
1995
ACM
MIDDLEWARE
2010
Springer
14 years 7 months ago
2010
Springer
SPIN
2010
Springer
14 years 7 months 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...
CONCUR
2008
Springer
14 years 11 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...
CAV
2008
Springer
14 years 11 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...