376 search results - page 45 / 76 » Improved Design Debugging Using Maximum Satisfiability |
DAC
1996
ACM
15 years 1 months ago
1996
ACM
- The problem of stochastic sequential machines (SSM) synthesis is addressed and its relationship with the constrained sequence generation problem which arises during power estimat...
HEURISTICS
2008
14 years 8 months ago
2008
Since their beginning in constraint programming, set solvers have been applied to a wide range of combinatorial search problems, such as bin-packing, set partitioning, circuit desi...
WWW
2009
ACM
15 years 10 months ago
2009
ACM
Understanding user intent is key to designing an effective ranking system in a search engine. In the absence of any explicit knowledge of user intent, search engines want to diver...
DAC
2007
ACM
15 years 10 months ago
2007
ACM
Negative bias temperature instability (NBTI) in MOSFETs is one of the major reliability challenges in nano-scale technology. This paper presents an efficient technique to characte...
TWC
2011
14 years 4 months ago
2011
In cognitive radio networks, each cognitive transmission process typically requires two phases: the spectrum sensing phase and data transmission phase. In this paper, we investiga...