867 search results - page 106 / 174 » Optimizing synthesis with metasketches |
174
click to vote
CVPR
2001
IEEE
16 years 8 months ago
2001
IEEE
The recovery of 3D models from multiple reference images involves not only the extraction of 3D shape, but also of texture. Assuming that all surfaces are Lambertian, the resultin...
127
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
MiniBit, our automated approach for optimizing bit-widths of fixed-point designs is based on static analysis via affine arithmetic. We describe methods to minimize both the intege...
154
click to vote
DATE
2006
IEEE
16 years 7 days 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 ...
127
click to vote
ASPDAC
2004
ACM
15 years 11 months ago
2004
ACM
- Data path connection elements, such as multiplexers, consume a significant amount of area on a VLSI chip, especially for FPGA designs. Multiplexer optimization is a difficult pro...
170
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...