4057 search results - page 426 / 812 » Linear combination of transformations |
187
click to vote
PLILP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
158
click to vote
CHI
1992
ACM
15 years 10 months ago
1992
ACM
We describe enhancements to graphical search and replace that allow users to extend the capabilities of a graphical editor. Interactive constraint-based search and replace can sea...
193
click to vote
FOAL
2007
ACM
15 years 10 months ago
2007
ACM
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can mode...
183
click to vote
CLADE
2004
IEEE
15 years 10 months ago
2004
IEEE
All but the most briefly used systems must evolve as their mission and roles change over time. Evolution in the context of large distributed systems is extraordinarily complex bec...
171
click to vote
DSD
2004
IEEE
15 years 10 months ago
2004
IEEE
Loop fusion and loop shifting are well recognized loop transformations for memory requirement reduction. Stateof-the-art optimizations with loop fusion and shifting are based on h...