99 search results - page 1 / 20 » Silent stores for free |
MICRO
2000
IEEE
13 years 10 months ago
2000
IEEE
Silent store instructions write values that exactly match the values that are already stored at the memory address that is being written. A recent study reveals that significant ...
IEEEPACT
2000
IEEE
13 years 10 months ago
2000
IEEE
ISCA
2000
IEEE
13 years 10 months ago
2000
IEEE
Value locality, a recently discovered program attribute that describes the likelihood of the recurrence of previously-seen program values, has been studied enthusiastically in the...
BIRTHDAY
2000
Springer
13 years 9 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
FMICS
2006
Springer
13 years 9 months ago
2006
Springer
Behrmann et al. posed the question whether "To Store or Not To Store" [1] states during reachability analysis, in order to counter the effects of the well-known state spa...