15782 search results - page 2748 / 3157 » Network Optimization and Control |
204
click to vote
ICCD
2001
IEEE
16 years 4 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
200
click to vote
ICCAD
2007
IEEE
16 years 4 months ago
2007
IEEE
While the increasing need for addressing process variability in sub-90nm VLSI technologies has sparkled a large body of statistical timing and optimization research, the realizati...
188
click to vote
ICCAD
2006
IEEE
16 years 4 months ago
2006
IEEE
An approach to robust system level mixed signal design is presented based on analog platforms. The bottom-up characterization phase of platform components provides accurate perfor...
188
click to vote
EVOW
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. We revisit Gaussian Adaptation (GaA), a black-box optimizer for discrete and continuous problems that has been developed in the late 1960’s. This largely neglected sear...
191
click to vote
ACSAC
2009
IEEE
16 years 2 months ago
2009
IEEE
—Smartphones are now ubiquitous. However, the security requirements of these relatively new systems and the applications they support are still being understood. As a result, the...