619 search results - page 32 / 124 » The Design and Implementation of a Certifying Compiler |
MICRO
2000
IEEE
14 years 1 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...
CGO
2005
IEEE
14 years 2 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...
ISPAN
1996
IEEE
14 years 27 days 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...
MICRO
2005
IEEE
14 years 2 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...
CASES
2007
ACM
14 years 22 days 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...