299 search results - page 2 / 60 » Implicit Enumeration of Patterns |
DAC
2004
ACM
14 years 9 days 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
14 years 2 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
14 years 26 days ago
1999
IEEE
ICCD
1996
IEEE
14 years 22 days ago
1996
IEEE
DAC
2011
ACM
12 years 8 months ago
2011
ACM