9842 search results - page 199 / 1969 » Compositional timing analysis |
123
click to vote
ICCAD
2000
IEEE
15 years 7 months ago
2000
IEEE
A high accuracy system for transistor-level static timing analysis is presented. Accurate static timing verification requires that individual gate and interconnect delays be accu...
126
click to vote
DAC
2006
ACM
15 years 6 months ago
2006
ACM
Statistical static timing analysis (SSTA) has been a popular research topic in recent years. A fundamental issue with applying SSTA in practice today is the lack of reliable and e...
112
click to vote
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
123
click to vote
IPL
2008
15 years 2 months ago
2008
In this paper, we prove polynomial running time bounds for an Ant Colony Optimization (ACO) algorithm for the single-destination shortest path problem on directed acyclic graphs. ...
147
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
In this paper, we propose a new vector quantization method to create video thumbnail. In particular, we employ video time density function (VTDF) to explore the temporal character...