175 search results - page 1 / 35 » Common Subexpression Induction |
ICPP
1992
IEEE
14 years 2 months ago
1992
IEEE
CL
2000
Springer
14 years 2 months ago
2000
Springer
We use Kleene algebra with tests to verify a wide assortment of common compiler optimizations, including dead code elimination, common subexpression elimination, copy propagation,...
IFL
1997
Springer
14 years 3 months ago
1997
Springer
Common subexpression elimination is a well-known compiler optimisation that saves time by avoiding the repetition of the same computation. In lazy functional languages, referential...
DATE
2009
IEEE
14 years 5 months ago
2009
IEEE
: Common sub-expression elimination (CSE) serves as a useful optimization technique in the synthesis of arithmetic datapaths described at RTL. However, CSE has a limited potential ...
CP
2008
Springer
14 years 19 days ago
2008
Springer
It is acknowledged that the symbolic form of the equations is crucial for interval-based solving techniques to efficiently handle systems of equations over the reals. However, only...