Sciweavers

3865 search results - page 16 / 773
» Active memory operations
Sort
View
114
Voted
SOSP
2007
ACM
15 years 10 months ago
TxLinux: using and managing hardware transactional memory in an operating system
TxLinux is a variant of Linux that is the first operating system to use hardware transactional memory (HTM) as a synchronization primitive, and the first to manage HTM in the sc...
Christopher J. Rossbach, Owen S. Hofmann, Donald E...
115
Voted
TPHOL
2007
IEEE
15 years 8 months ago
Operational Reasoning for Concurrent Caml Programs and Weak Memory Models
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
Tom Ridge
116
Voted
EUROPAR
2007
Springer
15 years 8 months ago
Hardware Transactional Memory with Operating System Support, HTMOS
Abstract. Hardware Transactional Memory (HTM) gives software developers the opportunity to write parallel programs more easily compared to any previous programming method, and yiel...
Sasa Tomic, Adrián Cristal, Osman S. Unsal,...
HPCA
2000
IEEE
15 years 6 months ago
Software-Controlled Multithreading Using Informing Memory Operations
Memorylatency isbecominganincreasingly importantperformance bottleneck, especially in multiprocessors. One technique for tolerating memory latency is multithreading, whereby we sw...
Todd C. Mowry, Sherwyn R. Ramkissoon
98
Voted
JOCN
2010
80views more  JOCN 2010»
15 years 10 days ago
Corticosteroids Operate as a Switch between Memory Systems
■ Stress and corticosteroid hormones are known to affect learning and memory processes. In this study, we examined whether stress and corticosteroids are capable of facilitating...
Lars Schwabe, Hartmut Schächinger, E. Ron de ...