118 search results - page 5 / 24 » Verifying Correctness of Transactional Memories |
91
Voted
ASPLOS
2010
ACM
15 years 7 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciï...
104
click to vote
HPCA
2006
IEEE
16 years 24 days ago
2006
IEEE
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
98
Voted
PODC
2010
ACM
15 years 4 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...
104
Voted
EUROSYS
2007
ACM
15 years 4 months ago
2007
ACM
This paper is concerned with performance debugging of multitier applications, such as commonly found in servers and dynamic-content web sites. Existing tools and techniques for pr...
103
Voted
PPOPP
2009
ACM
16 years 29 days ago
2009
ACM
This paper introduces a new way to provide strong atomicity in an implementation of transactional memory. Strong atomicity lets us offer clear semantics to programs, even if they ...