181 search results - page 1 / 37 » A Mechanism for Verifying Data Speculation |
EUROPAR
2004
Springer
13 years 9 months ago
2004
Springer
MICRO
2008
IEEE
13 years 10 months ago
2008
IEEE
The advent of multicores presents a promising opportunity for speeding up sequential programs via profile-based speculative parallelization of these programs. In this paper we pr...
CGO
2005
IEEE
13 years 10 months ago
2005
IEEE
Data speculative optimization refers to code transformations that allow load and store instructions to be moved across potentially dependent memory operations. Existing research w...
ISCA
2003
IEEE
13 years 9 months ago
2003
IEEE
While removing software bugs consumes vast amounts of human time, hardware support for debugging in modern computers remains rudimentary. Fortunately, we show that mechanisms for ...
ISPAN
2000
IEEE
13 years 8 months ago
2000
IEEE
In this paper, we evaluate a mechanism to reissue instructions on the mispredicted speculation path. An instruction which is once dispatched to a functional unit during mispredict...