1140 search results - page 84 / 228 » Generating compilers for generated datapaths |
146
click to vote
LCPC
1998
Springer
15 years 10 months ago
1998
Springer
Techniques for aggressive optimization and parallelization of applications can have the side-effect of introducing copy instructions, register-to-register move instructions, into t...
213
click to vote
ACL2
2006
ACM
16 years 8 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
154
click to vote
IPPS
2007
IEEE
16 years 18 days ago
2007
IEEE
Compiler technology for multimedia extensions must effectively utilize not only the SIMD compute engines but also the various levels of the memory hierarchy: superword registers,...
159
click to vote
MICRO
1997
IEEE
15 years 10 months ago
1997
IEEE
Predicated execution is a promising architectural feature for exploiting instruction-level parallelism in the presence of control flow. Compiling for predicated execution involve...
157
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
We present a new technique for compiling run-time reconfigurable hardware designs. Run-time reconfigurable embedded systems can deliver promising benefits over implementations in ...