6239 search results - page 45 / 1248 » From Zinc to Design Model |
DAC
1994
ACM
15 years 1 months ago
1994
ACM
Manufacturing disturbances are inevitable in the fabrication of integrated circuits. These disturbances will result in variations in the delay speci cations of manufactured circui...
MTV
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
DSVIS
2003
Springer
15 years 3 months ago
2003
Springer
The increasing availability of various types of interactive platforms has raised the need for design environments able to support development of user interfaces that exploit intera...
WIOPT
2010
IEEE
14 years 8 months ago
2010
IEEE
—We consider a Ferry based Wireless Local Area Network (FWLAN), in which information is forwarded from a base station to sensors, or gathered from sensors to a base station using...
SIGGRAPH
1996
ACM
15 years 1 months ago
1996
ACM
We present a new approach for modeling and rendering existing architectural scenes from a sparse set of still photographs. Our modeling approach, which combines both geometry-base...