744 search results - page 18 / 149 » Software Transactional Memory on Relaxed Memory Models |
124
Voted
PODC
1995
ACM
15 years 7 months ago
1995
ACM
120
Voted
MIDDLEWARE
2010
Springer
15 years 1 months ago
2010
Springer
125
Voted
SPIN
2010
Springer
15 years 1 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...
141
Voted
CONCUR
2008
Springer
15 years 5 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...
134
click to vote
CAV
2008
Springer
15 years 5 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...