1860 search results - page 191 / 372 » A Temporal Logic of Robustness |
124
click to vote
TCAD
2002
15 years 1 months ago
2002
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
198
click to vote
TRETS
2010
14 years 8 months ago
2010
A ring oscillator based true-random number generator design (Rings design) was introduced in [1]. The design was rigorously analyzed under a mathematical model and its performance...
134
Voted
ISQED
2005
IEEE
15 years 7 months ago
2005
IEEE
As technology continues to scale beyond 100nm, there is a significant increase in performance uncertainty of CMOS logic due to process and environmental variations. Traditional c...
116
click to vote
HICSS
2008
IEEE
15 years 1 months ago
2008
IEEE
We use the OPA complex systems model of the power transmission system to investigate the effect of a series of different network upgrade scenarios on the long time dynamics and th...
138
click to vote
CVPR
2004
IEEE
16 years 3 months ago
2004
IEEE
We present Propagation Networks (P-Nets), a novel approach for representing and recognizing sequential activities that include parallel streams of action. We represent each activi...