11328 search results - page 9 / 2266 » Timed Branching Processes |
109
click to vote
AUSAI
2009
Springer
15 years 8 months ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
128
click to vote
MICRO
2005
IEEE
15 years 7 months ago
2005
IEEE
Predicated execution has been used to reduce the number of branch mispredictions by eliminating hard-to-predict branches. However, the additional instruction overhead and addition...
108
click to vote
PLDI
1998
ACM
15 years 6 months ago
1998
ACM
The conditional branch has long been considered an expensive operation. The relative cost of conditional branches has increased as recently designed machines are now relying on de...
143
click to vote
APCSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
The majority of currently available dynamic branch predictors base their prediction accuracy on the previous k branch outcomes. Such predictors sustain high prediction accuracy but...
105
click to vote
ISPASS
2006
IEEE
15 years 7 months ago
2006
IEEE
We present a scheme to compress branch trace information for use in snapshot-based microarchitecture simulation. The compressed trace can be used to warm any arbitrary branch pred...