5015 search results - page 447 / 1003 » Model Checking a Path |
192
click to vote
MST
2010
15 years 5 months ago
2010
We study the sensitivity of equilibria in the well-known game theoretic traffic model due to Wardrop. We mostly consider single-commodity networks. Suppose, given a unit demand fl...
188
click to vote
ATS
2009
IEEE
15 years 4 months ago
2009
IEEE
Negative bias temperature instability (NBTI) has been a significant reliability concern in current digital circuit design due to its effect of increasing the path delay with time a...
201
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
The lack of good "correlation" between pre-silicon simulated delays and measured delays on silicon (silicon data) has spurred efforts on so-called silicon debug. The ide...
178
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
Based on a timing yield model, a statistical static timing analysis technique is proposed. This technique preserves existing methodology by selecting a “device file setting” ...
164
click to vote
PET
2005
Springer
16 years 8 days ago
2005
Springer
We review threat models used in the evaluation of anonymity systems’ vulnerability to traffic analysis. We then suggest that, under the partial adversary model, if multiple packe...