175 search results - page 7 / 35 » Common Subexpression Induction |
ECOOP
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We analyse the validity of several common program transformations in multi-threaded Java, as defined by the Java Memory Model (JMM) section of Chapter 17 of the Java Lang...
XIMEP
2005
ACM
15 years 3 months ago
2005
ACM
We present in this paper a system for rewriting user-specific XPath queries for higher sharing of common sub-expressions in a streaming environment. We rewrite these queries acco...
PAKDD
2005
ACM
15 years 3 months ago
2005
ACM
Traditional multiple query optimization methods focus on identifying common subexpressions in sets of relational queries and on constructing their global execution plans. In this p...
ARITH
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper presents some improvements on the optimization of hardware multiplication by constant matrices. We focus on the automatic generation of circuits that involve constant m...
CADE
2010
Springer
14 years 10 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...