2286 search results - page 112 / 458 » Statistical timing analysis based on a timing yield model |
145
click to vote
WCE
2007
15 years 5 months ago
2007
— In many applications of failure time data analysis, it is important to perform inferences about the median of the distribution function in situations of failure time data model...
147
click to vote
ISSTA
1998
ACM
15 years 8 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
172
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
121
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
We describe the use of a statistical technique called Tpattern analysis to derive and characterize the routineness of tasks. T-patterns provide significant advantages over traditi...
130
click to vote
DAC
1999
ACM
15 years 9 months ago
1999
ACM
As interconnect feature sizes continue to scale to smaller dimensions, long interconnect can dominate the IC timing performance, but the interconnect parameter variations make it ...