1795 search results - page 253 / 359 » On the Complexity of Circuit Satisfiability |
78
Voted
ASPDAC
2006
ACM
15 years 6 months ago
2006
ACM
Commonly used pattern sources in simulation-based verification include random, guided random, or design verification patterns. Although these patterns may help bring the design ...
105
click to vote
DAC
2006
ACM
15 years 6 months ago
2006
ACM
Microfluidics-based biochips, also referred to as lab-on-a-chip (LoC), are devices that integrate fluid-handling functions such as sample preparation, analysis, separation, and de...
82
Voted
APCSAC
2005
IEEE
15 years 6 months ago
2005
IEEE
Moore’s law describes the growth in on-chip transistor density, which doubles every 18 to 24 months and looks set to continue for at least a decade and possibly longer. This grow...
121
click to vote
CODES
2005
IEEE
15 years 6 months ago
2005
IEEE
Majority of existing works on system level power estimation have focused on the processor, while there are very few that address power consumption of peripherals in a SoC. With th...
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
Visual information processing will play an increasingly important role in future electronics systems. In many applications, e.g. video surveillance cameras, data throughput of mic...