3865 search results - page 97 / 773 » Active memory operations |
166
Voted
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
180
click to vote
SOSP
2009
ACM
16 years 1 months ago
2009
ACM
Modern computer systems have been built around the assumption that persistent storage is accessed via a slow, block-based interface. However, new byte-addressable, persistent memo...
136
click to vote
CF
2010
ACM
15 years 10 months ago
2010
ACM
Branches that depend directly or indirectly on load instructions are a leading cause of mispredictions by state-of-the-art branch predictors. For a branch of this type, there is a...
125
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
Traditional transactional memory systems suffer from overly conservative conflict detection, yielding so-called false conflicts, because they are based on fine-grained, low-level ...
152
click to vote
EMSOFT
2007
Springer
15 years 11 months ago
2007
Springer
There is increasing interest in using general-purpose operating systems, such as Linux, on embedded platforms. It is especially important in embedded systems to use memory effici...