3367 search results - page 521 / 674 » Incremental assignment problem |
142
click to vote
TSP
2010
14 years 10 months ago
2010
We propose a variance-component probabilistic model for sparse signal reconstruction and model selection. The measurements follow an underdetermined linear model, where the unknown...
134
click to vote
MOBISYS
2011
ACM
14 years 6 months ago
2011
ACM
Operators of 3G data networks need to distinguish the performance of each geographic area in their 3G networks to detect and resolve local network problems. This is because the qu...
120
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Deploying multiple supply voltages (multi-Vdds) on one chip is an important technique to reduce dynamic power consumption. In this work we present an optimality study for resource...
141
click to vote
ICCAD
2002
IEEE
16 years 2 days ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
157
click to vote
ICCAD
2002
IEEE
16 years 2 days ago
2002
IEEE
Optimized solvers for the Boolean Satisfiability (SAT) problem have many applications in areas such as hardware and software verification, FPGA routing, planning, etc. Further use...