145 search results - page 6 / 29 » A compiled implementation of strong reduction |
LISP
2002
13 years 7 months ago
2002
Abstract. Local CPS conversion is a compiler transformation for improving the code generated for nested loops by a direct-style compiler that uses recursive functions to represent ...
LCPC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
ISPD
2007
ACM
13 years 9 months ago
2007
ACM
A bus routing algorithm is presented which not only minimizes wire length but also selects the bits in the bus to avoid twisting and conflicts. The resulting bus routes are regula...
ICNP
1999
IEEE
13 years 12 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
ISLPED
1997
ACM
13 years 11 months ago
1997
ACM
This paper presents the design of a low power spread spectrum correlator. We look at two major approaches and evaluate the best alternative for power reduction. We first consider...