1795 search results - page 159 / 359 » On the Complexity of Circuit Satisfiability |
JMM2
2007
13 years 9 months ago
2007
—This paper aims to develop a novel framework to systematically trade-off computational complexity with output distortion in linear multimedia transforms, in an optimal manner. T...
DAC
2009
ACM
14 years 10 months ago
2009
ACM
Semiconductor design companies are in a continuous search for design tools that address the ever increasing chip design complexity coupled with strict time-to-market schedules and...
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper presents a new application field for the Goertzel algorithm. The test of mixed-signal circuits involves the generation and analysis of signals. A standard method for th...
ICAC
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper proposes autonomic or organic computing principles to be applied to hardware design methods for future SoC solutions. Incorporating self-calibration, fault tolerance or...
DAC
1997
ACM
14 years 1 months ago
1997
ACM
- This paper presents an effective technique for compacting a large sequence of input vectors into a much smaller one such that when the two sequences are applied to any circuit, t...