2286 search results - page 332 / 458 » Statistical timing analysis based on a timing yield model |
174
click to vote
ITC
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper explores defects found in a high volume microprocessor when shipping at a low defect level. A brief description of the manufacturing flow along with definition of DPM i...
171
click to vote
APWEB
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents a new method for visualizing and navigating huge graphs. The main feature of this method is that it applies Level-Of-Detail (LOD) strategy to graph visualizati...
188
click to vote
FMCAD
2004
Springer
15 years 11 months ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...
149
click to vote
BIOSYSTEMS
2008
15 years 6 months ago
2008
Despite several decades of intense study, protein folding problem remains elusive. In this paper, we review current knowledge and the prevailing thinking in the field, and summari...
180
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
Computational science is placing new demands on optimization algorithms as the size of data sets and the computational complexity of scientific models continue to increase. As thes...