1795 search results - page 129 / 359 » On the Complexity of Circuit Satisfiability |
ISCAS
2006
IEEE
14 years 2 months ago
2006
IEEE
—This paper introduces a technique to measure and adjust the relative phase of on-chip high speed digital signals using a random sampling technique of inferential statistics. The...
ISPD
2012
ACM
12 years 4 months ago
2012
ACM
Gate sizing in VLSI design is a widely-used method for power or area recovery subject to timing constraints. Several previous works have proposed gate sizing heuristics for power ...
SIGMOD
2012
ACM
11 years 11 months ago
2012
ACM
While extensive work has been done on evaluating queries over tuple-independent probabilistic databases, query evaluation over correlated data has received much less attention eve...
ISLPED
1998
ACM
14 years 1 months ago
1998
ACM
Adiabatic logic promises extremely low power consumption for those applications where slower clock rates are acceptable. However, there have been very few adiabatic memory designs...
ISCAS
1993
IEEE
14 years 1 months ago
1993
IEEE
– This paper presents a novel approach to implement the interpolation function by means of Lagrange interpolators. The proposed architecture does not require high-frequency multi...