385 search results - page 14 / 77 » constraints 1999 |
DAC
1999
ACM
14 years 8 months ago
1999
ACM
Abstract? Fixed-point DSPs are a class of embedded processors with highly irregular architectures. This irregularity makes it difficult to generate high-quality machine code from p...
DAC
1999
ACM
14 years 8 months ago
1999
ACM
The concept of improving the timing behavior of a circuit by relocating registers is called retiming and was first presented by Leiserson and Saxe. They showed that the problem of...
AIMDM
1999
Springer
13 years 12 months ago
1999
Springer
Knowledge representation has always been a major problem in the design of medical decision support systems. In this paper we present a new methodology to represent and reason about...
CP
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. In this paper, we present a major improvement in the search procedures in constraint programming. First, we integrate various search procedures from AI and OR. Second, we...
POPL
1999
ACM
13 years 12 months ago
1999
ACM
Superfluous variables are often produced as the byproducts of program transformations, compilation, and poorly written code. These variables are irrelevant to the computational o...