376 search results - page 22 / 76 » Improved Design Debugging Using Maximum Satisfiability |
131
Voted
ICC
2007
IEEE
16 years 21 days ago
2007
IEEE
—The detection of a binary phase-shift keying signal distorted by like-modulated cochannel interference and noise using a noise-plus-interference whitening matched filter (WMF) ...
176
click to vote
INTEGRATION
2008
15 years 6 months ago
2008
Physical synthesis is a relatively young field in Electronic Design Automation. Many published optimizations for physical synthesis end up hurting the quality of the final design,...
160
Voted
FOCS
2006
IEEE
16 years 12 days ago
2006
IEEE
In this work we study a wide range of online and offline routing and packing problems with various objectives. We provide a unified approach, based on a clean primal-dual method...
171
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
Because of the large number of possible combinations for the fuel assembly loading in the core, the design of the loading pattern (LP) is a complex optimization problem. It requir...
205
Voted
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Recently, the Internet revolutionized many activities from entertainment to marketing and business. Two key underlying Internet technologies, efficient data delivery and hypertext...