4042 search results - page 633 / 809 » The EXODUS Optimizer Generator |
191
click to vote
PKDD
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In content-based image retrieval (CBIR) and image screening, it is often desirable to locate the regions of interest (ROI) in the images automatically. This can be accomp...
188
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
181
click to vote
ASPDAC
2009
ACM
16 years 1 months ago
2009
ACM
— As technology scales, the delay uncertainty caused by process variations has become increasingly pronounced in deep submicron designs. In the presence of process variations, wo...
159
click to vote
ASPDAC
2009
ACM
16 years 1 months ago
2009
ACM
Majority of practical multivariate statistical analyses and optimizations model interdependence among random variables in terms of the linear correlation among them. Though linear...
186
click to vote
ISLPED
2009
ACM
16 years 1 months ago
2009
ACM
Many techniques for power management employed in advanced RTL synthesis tools rely explicitly or implicitly on observability don’t-care (ODC) conditions. In this paper we presen...