97 search results - page 8 / 20 » Ink-Bleed Reduction using Functional Minimization |
182
click to vote
DATE
2006
IEEE
15 years 12 months ago
2006
IEEE
For CMOS technologies below 65nm, gate oxide direct tunneling current is a major component of the total power dissipation. This paper presents a simulated annealing based algorith...
205
click to vote
CODES
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we describe a new methodology based on game theory for minimizing the average power of a circuit during scheduling in behavioral synthesis. The problem of schedulin...
145
click to vote
ICFP
2002
ACM
16 years 5 months ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...
153
click to vote
FOCS
2007
IEEE
16 years 4 days ago
2007
IEEE
In this paper, we resolve the smoothed and approximative complexity of low-rank quasi-concave minimization, providing both upper and lower bounds. As an upper bound, we provide th...
168
click to vote
ISSAC
2007
Springer
15 years 12 months ago
2007
Springer
The black box algorithm for separating the numerator from the denominator of a multivariate rational function can be combined with sparse multivariate polynomial interpolation alg...