376 search results - page 55 / 76 » Optimizing Pattern Matching Compilation by Program Transform... |
227
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
131
Voted
POPL
2010
ACM
15 years 11 months ago
2010
ACM
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...
121
Voted
PODS
2005
ACM
16 years 2 months ago
2005
ACM
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a...
129
click to vote
IEEECIT
2010
IEEE
15 years 12 days ago
2010
IEEE
—Superblocks represent regions in a program code that consist of multiple basic blocks. Compilers benefit from this structure since it enables optimization across block boundari...
95
Voted
CASES
2009
ACM
15 years 8 months ago
2009
ACM
This paper solves the open problem of extracting the maximal number of iterations from a loop that can be executed in parallel on chip multiprocessors. Our algorithm solves it opt...