5493 search results - page 3 / 1099 » Effectively Polynomial Simulations |
ISCAS
2003
IEEE
13 years 10 months ago
2003
IEEE
A 30 W LDMOS is modeled using a 5th order polynomial model. The polynomial model is compared to the largesignal MET model using harmonic balance, and as the results agreed very we...
TCC
2005
Springer
13 years 10 months ago
2005
Springer
The standard class of adversaries considered in cryptography is that of strict polynomial-time probabilistic machines. However, expected polynomial-time machines are often also co...
STOC
2001
ACM
14 years 5 months ago
2001
ACM
ERSHOV
2001
Springer
13 years 9 months ago
2001
Springer
There are many different ways of proving formulas in proposition logic. Many of these can easily be characterized as forms of resolution (e.g. [12] and [9]). Others use so-called...
AMAI
2005
Springer
13 years 5 months ago
2005
Springer
Many algorithms for Boolean satisfiability (SAT) work within the framework of resolution as a proof system, and thus on unsatisfiable instances they can be viewed as attempting to...