5015 search results - page 779 / 1003 » Model Checking a Path |
169
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Statistical Static Timing Analysis has received wide attention recently and emerged as a viable technique for manufacturability analysis. To be useful, however, it is important th...
197
click to vote
CEC
2008
IEEE
16 years 29 days ago
2008
IEEE
—Ant Colony Optimization (ACO) algorithm is a novel meta-heuristic algorithm for the approximate solution of combinatorial optimization problems that has been inspired by the for...
168
click to vote
SECON
2008
IEEE
16 years 26 days ago
2008
IEEE
— In an effort to better understand connectivity and capacity in wireless networks, the log-normal shadowing radio propagation model is used to capture radio irregularities and o...
147
click to vote
ICC
2007
IEEE
16 years 24 days ago
2007
IEEE
— This paper deals with the orthogonality factor, a transfer coefficient which allows the transformation of a transmitted orthogonal signal into a received Gaussian noise to be ...
173
click to vote
PG
2007
IEEE
16 years 23 days ago
2007
IEEE
We describe a new, analytic approximation to the airlight integral from scattering media whose density is modeled as a sum of Gaussians. The approximation supports real-time rende...