99 search results - page 1 / 20 » Silent stores for free |
64
Voted
MICRO
2000
IEEE
15 years 1 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
15 years 1 months ago
2000
IEEE
ISCA
2000
IEEE
15 years 1 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
15 years 1 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
15 years 1 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...