Sciweavers

3865 search results - page 146 / 773
» Active memory operations
Sort
View
CC
2010
Springer
172views System Software» more  CC 2010»
16 years 1 months ago
Verifying Local Transformations on Relaxed Memory Models
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Sin...
SSDBM
2007
IEEE
105views Database» more  SSDBM 2007»
16 years 16 days ago
Window-Oblivious Join: A Data-Driven Memory Management Scheme for Stream Join
Memory management is a critical issue in stream processing involving stateful operators such as join. Traditionally, the memory requirement for a stream join is query-driven: a qu...
Ji Wu, Kian-Lee Tan, Yongluan Zhou
ISCA
2006
IEEE
158views Hardware» more  ISCA 2006»
16 years 9 days ago
Memory Model = Instruction Reordering + Store Atomicity
We present a novel framework for defining memory models in terms of two properties: thread-local Instruction Reordering axioms and Store Atomicity, which describes inter-thread c...
Arvind, Jan-Willem Maessen
ACMMSP
2004
ACM
91views Hardware» more  ACMMSP 2004»
15 years 11 months ago
An empirical performance analysis of commodity memories in commodity servers
This work details a performance study of six different types of commodity memories in two commodity server nodes. A number of micro-benchmarks are used that measure low-level perf...
Darren J. Kerbyson, Michael Lang 0003, Gene Patino...
ATVA
2009
Springer
97views Hardware» more  ATVA 2009»
15 years 7 months ago
Memory Usage Verification Using Hip/Sleek
Embedded systems often come with constrained memory footprints. It is therefore essential to ensure that software running on such platforms fulfils memory usage specifications at c...
Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan...