1147 search results - page 81 / 230 » Virtualizing Transactional Memory |
137
click to vote
WOSP
2004
ACM
15 years 7 months ago
2004
ACM
The simulated evaluation of memory management policies relies on reference traces—logs of memory operations performed by running processes. No existing approach to reference tra...
105
click to vote
CASES
2000
ACM
15 years 6 months ago
2000
ACM
Fragmentation can cause serious loss of memory in systems that are using dynamic memory management. Any useful memory management system must therefore provide means to limit fragm...
NCA
2006
IEEE
15 years 7 months ago
2006
IEEE
The paper presents a primary-backup protocol to manage replicated in-memory database systems (IMDBs). The protocol exploits two features of IMDBs: coarse-grain concurrency control...
108
click to vote
IISWC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—Transactional Memory (TM) is emerging as a promising technology to simplify parallel programming. While several TM systems have been proposed in the research literature,...
87
Voted
TPHOL
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...