1795 search results - page 249 / 359 » On the Complexity of Circuit Satisfiability |
126
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
Modern high performance processors employ advanced techniques for thermal management, which rely on accurate readings of on-die thermal sensors. As the importance of thermal effec...
82
Voted
ISBI
2002
IEEE
16 years 1 months ago
2002
IEEE
This paper focuses on the discussion of using thermal infrared imaging (TIR) in early detection of breast cancer. We use the term thermal texture maps to represent the images captu...
108
Voted
CADE
2009
Springer
16 years 1 months ago
2009
Springer
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
104
Voted
ICCAD
2001
IEEE
15 years 9 months ago
2001
IEEE
In this paper, we present novel algorithms that effectively combine physical layout and early logic synthesis to improve overall design quality. In addition, we employ partitionin...
104
click to vote
FPGA
2010
ACM
15 years 9 months ago
2010
ACM
Deep submicron processes have allowed FPGAs to grow in complexity and speed. However, such technology scaling has caused FPGAs to become more susceptible to the effects of process...