1147 search results - page 62 / 230 » Statistical Timing Analysis Using Bounds |
RTSS
2006
IEEE
14 years 2 months ago
2006
IEEE
We present an optimal real-time scheduling algorithm for multiprocessors — one that satisfies all task deadlines, when the total utilization demand does not exceed the utilizat...
ASPDAC
2008
ACM
13 years 11 months ago
2008
ACM
The timing models used in current Static Timing Analysis tools use gate delays only for single input switching events. It is well known that the temporal proximity of signals arriv...
COLT
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We show several PAC-style concentration bounds for learning unigrams language model. One interesting quantity is the probability of all words appearing exactly k times in...
CADE
2002
Springer
14 years 9 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
ICIP
1998
IEEE
14 years 10 months ago
1998
IEEE
Many rendering or image-analysis systems require calculation of versions of an image at lesser resolutions than the original. Because the filtering required to perform such calcul...