299 search results - page 2 / 60 » Implicit Enumeration of Patterns |
DAC
2004
ACM
13 years 8 months ago
2004
ACM
In a CMOS combinational logic circuit, the subthreshold leakage current in the standby state depends on the state of the inputs. In this paper we present a new approach to identif...
ISSAC
2007
Springer
13 years 11 months ago
2007
Springer
It is only in the last five years that researchers have begun to use disk-based search techniques on a large scale. The primary examples of its use come from symbolic algebra and...
ICCAD
1999
IEEE
13 years 9 months ago
1999
IEEE
ICCD
1996
IEEE
13 years 9 months ago
1996
IEEE
DAC
2011
ACM
12 years 4 months ago
2011
ACM