3616 search results - page 17 / 724 » Conditional Memory Ordering |
101
click to vote
MOC
2002
15 years 2 months ago
2002
Abstract. This article is devoted to the construction of a Hermite-type regularization operator transforming functions that are not necessarily C1 into globally C1 finite-element f...
121
click to vote
IPPS
2008
IEEE
15 years 8 months ago
2008
IEEE
—The performance bottleneck for many scientific applications is the cost of memory access inside linear algebra kernels. Tuning such kernels for memory efficiency is a complex ...
95
Voted
CASES
2003
ACM
15 years 7 months ago
2003
ACM
—We investigate the problem of memory reuse in order to reduce the memory needed to store an array variable. We develop techniques that can lead to smaller memory requirements in...
137
click to vote
TOPNOC
2010
14 years 9 months ago
2010
Abstract. State caching is a memory reduction technique used by model checkers to alleviate the state explosion problem. It has traditionally been coupled with a depth-first search...
121
Voted
CAV
2004
Springer
15 years 6 months ago
2004
Springer
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...