1097 search results - page 171 / 220 » Revision Programming = Logic Programming Integrity Constra... |
116
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper proposes a yield optimization method for standard-cells under timing constraints. Yield-aware logic synthesis and physical optimization require yield-enhanced standard ...
112
click to vote
CP
2003
Springer
15 years 8 months ago
2003
Springer
For the last ten years, a significant amount of work in the constraint community has been devoted to the improvement of complete methods for solving soft constraints networks. We ...
139
click to vote
SEW
2003
IEEE
15 years 8 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
117
click to vote
FPGA
2010
ACM
16 years 4 hour ago
2010
ACM
Monte Carlo based SSTA serves as the golden standard against alternative SSTA algorithms, but it is seldom used in practice due to its high computation time. In this paper, we acc...
118
click to vote
ISLPED
2004
ACM
15 years 8 months ago
2004
ACM
In this paper we investigate the statistics of multiplier operands and identify two characteristics of their distribution that have important consequences for the design of low po...