175 search results - page 18 / 35 » Common Subexpression Induction |
FCCM
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper presents a method, called multiple constant multiplier trees MCMTs, for producing optimized recon gurable hardware implementations of vector products. An algorithm for ...
CAISE
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. A global Data warehouse (DW) integrates data from multiple distributed heterogeneous databases and other information sources. DW can be abstractly seen as a set of materi...
101
click to vote
JAVA
1999
Springer
15 years 2 months ago
1999
Springer
The Java language incurs a runtime overhead for exception checks and object accesses without an interior pointer in order to ensure safety. It also requires type inclusion test, d...
WADT
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. Narrowing is a method for solving equations in the equational theories of term rewriting systems. Unification and rewriting, the central operations in narrowing, are ofte...
FM
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...