3082 search results - page 420 / 617 » Deviation Analysis: A New Use of Model Checking |
175
click to vote
VLSID
2005
IEEE
16 years 6 months ago
2005
IEEE
An accurate and efficient stacking effect macro-model for leakage power in sub-100nm circuits is presented in this paper. Leakage power, including subthreshold leakage power and ga...
170
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
The proliferation of linked data on the Web paves the way to a new generation of applications that exploit heterogeneous data from different sources. However, because this Web of d...
171
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
In this paper we propose a RObust Analog Design tool (ROAD) for post-tuning analog/RF circuits. Starting from an initial design derived from hand analysis or analog circuit synthe...
153
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Bayesian Networks, BNs, are suitable for mixed-initiative dialog modeling allowing a more flexible and natural spoken interaction. This solution can be applied to identify the in...
182
click to vote
WOSP
2005
ACM
15 years 12 months ago
2005
ACM
The evolution towards IP-aware access networks creates the possibility (and, indeed, the desirability) of additional network services, like firewalling or NAT, integrated into th...