487 search results - page 58 / 98 » A Compiled Implementation of Normalization by Evaluation |
128
Voted
PEPM
2010
ACM
16 years 10 days ago
2010
ACM
Adapting a strictness analyser to have it take into account explicit strictness annotations can be a tricky business. Straightforward extensions of analyses based on relevance typ...
129
Voted
IPSN
2009
Springer
15 years 10 months ago
2009
Springer
Sensor network application experts such as biologists, geologists, and environmental engineers generally have little experience with, and little patience for, general-purpose and ...
136
click to vote
LCPC
2005
Springer
15 years 9 months ago
2005
Springer
Techniques for global register allocation via graph coloring have been extensively studied and widely implemented in compiler frameworks. This paper examines a particular variant â...
109
click to vote
CGO
2004
IEEE
15 years 7 months ago
2004
IEEE
Operand gating is a technique for improving processor energy efficiency by gating off sections of the data path that are unneeded by short-precision (narrow) operands. A method fo...
147
click to vote
ICPP
1995
IEEE
15 years 7 months ago
1995
IEEE
Loop fusion improves data locality and reduces synchronization in data-parallel applications. However, loop fusion is not always legal. Even when legal, fusion may introduce loop-...