548 search results - page 52 / 110 » Statistical Timing Based Optimization using Gate Sizing |
117
click to vote
ICCAD
2009
IEEE
14 years 10 months ago
2009
IEEE
As VLSI technology reaches 45nm technology node, leakage power optimization has become a major design challenge. Threshold voltage (vt) assignment has been extensively studied, du...
120
Voted
NETCOOP
2009
Springer
15 years 7 months ago
2009
Springer
We study the impact of user association policies on flow-level performance in interference limited wireless networks. Most research in this area has used static interference model...
117
click to vote
IEEEPACT
2000
IEEE
15 years 4 months ago
2000
IEEE
Dynamic Optimization is an umbrella term that refers to any optimization of software that is performed after the initial compile time. It is a complementary optimization opportuni...
108
Voted
BMCBI
2007
15 years 19 days ago
2007
Background: In proteomic analysis, MS/MS spectra acquired by mass spectrometer are assigned to peptides by database searching algorithms such as SEQUEST. The assignations of pepti...
105
click to vote
ACSD
2007
IEEE
15 years 2 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...