9842 search results - page 345 / 1969 » Compositional timing analysis |
265
click to vote
CORR
2012
Springer
14 years 17 days ago
2012
Springer
One-clock priced timed games is a class of two-player, zero-sum, continuous-time games that was defined and thoroughly studied in previous works. We show that One-clock priced ti...
166
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Spectrum handoff occurs when the primary users appear in the licensed band occupied by the secondary users. Spectrum handoff procedures aim to help the secondary users to vacat...
RTAS
2009
IEEE
15 years 11 months ago
2009
IEEE
130
Voted
ISQED
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper discusses clock skew due to manufacturing variability and environmental change. In clock tree design, transition time constraint is an important design parameter that c...
141
Voted
CSCLP
2005
Springer
15 years 10 months ago
2005
Springer
CSP search algorithms are exponential in the worst-case. A trivial upper bound on the time complexity of CSP search algorithms is O∗ (dn ), where n and d are the number of variab...