619 search results - page 32 / 124 » The Design and Implementation of a Certifying Compiler |
142
click to vote
MICRO
2000
IEEE
15 years 8 months ago
2000
IEEE
Value prediction breaks data dependencies in a program thereby creating instruction level parallelism that can increase program performance. Hardware based value prediction techni...
143
Voted
CGO
2005
IEEE
15 years 9 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...
122
click to vote
ISPAN
1996
IEEE
15 years 8 months ago
1996
IEEE
In this paper, we have presented the design and evaluation of a compiler system, called APE,for automatic parallelization of scientific and engineering applications on distributed...
137
click to vote
MICRO
2005
IEEE
15 years 9 months ago
2005
IEEE
Dynamic voltage and frequency scaling (DVFS) is an effective technique for controlling microprocessor energy and performance. Existing DVFS techniques are primarily based on hardw...
150
click to vote
CASES
2007
ACM
15 years 7 months ago
2007
ACM
Software Defined Radio (SDR) is an emerging embedded domain where the physical layer of wireless protocols is implemented in software rather than the traditional application speci...