3750 search results - page 409 / 750 » Code Optimization for Code Compression |
156
click to vote
CADE
2003
Springer
16 years 5 months ago
2003
Springer
Abstract. We present an abstract view of existential variables in a dependently typed lambda-calculus based on modal type theory. This allows us to justify optimizations to pattern...
138
click to vote
USENIX
2008
15 years 7 months ago
2008
Large-scale parallel dataflow systems, e.g., Dryad and Map-Reduce, have attracted significant attention recently. High-level dataflow languages such as Pig Latin and Sawzall are b...
183
click to vote
PPOPP
2009
ACM
16 years 5 months ago
2009
ACM
Recent advances in polyhedral compilation technology have made it feasible to automatically transform affine sequential loop nests for tiled parallel execution on multi-core proce...
137
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Modern programs frequently employ sophisticated modular designs. As a result, performance problems cannot be identified from costs attributed to routines in isolation; understand...
152
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
Software implementations of modern block ciphers often require large lookup tables along with code size increasing optimizations like loop unrolling to reach peak performance on g...