1795 search results - page 25 / 359 » On the Complexity of Circuit Satisfiability |
VLSID
2001
IEEE
14 years 7 months ago
2001
IEEE
This paper presents novel techniques for the cycle-accurate power macro-modeling of complex RTL components. The proposed techniques are based on the observation that RTL component...
TAMC
2007
Springer
14 years 1 months ago
2007
Springer
FSTTCS
2004
Springer
14 years 26 days ago
2004
Springer
We consider hypotheses about nondeterministic computation that have been studied in different contexts and shown to have interesting consequences: • The measure hypothesis: NP d...
ISAAC
2004
Springer
14 years 26 days ago
2004
Springer
TAMC
2010
Springer
14 years 16 days ago
2010
Springer