376 search results - page 22 / 76 » Improved Design Debugging Using Maximum Satisfiability |
ICC
2007
IEEE
15 years 4 months 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) ...
INTEGRATION
2008
14 years 9 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,...
FOCS
2006
IEEE
15 years 3 months 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...
GECCO
2005
Springer
15 years 3 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...
DAC
2001
ACM
15 years 10 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...