1795 search results - page 205 / 359 » On the Complexity of Circuit Satisfiability |
ISSAC
2007
Springer
14 years 4 months ago
2007
Springer
It is classical that univariate algebraic functions satisfy linear differential equations with polynomial coefficients. Linear recurrences follow for the coefficients of their po...
PAIRING
2007
Springer
14 years 4 months ago
2007
Springer
We derive a new algorithm for computing the Tate pairing on an elliptic curve over a finite field. The algorithm uses a generalisation of elliptic divisibility sequences known as...
ISCAS
2006
IEEE
14 years 4 months ago
2006
IEEE
— Symmetric-key block ciphers are often used to provide data confidentiality with low complexity, especially in the case of dedicated hardware implementations. IDEA NXT is a nov...
PDP
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper shows a new distributed algorithm for deadlock detection and resolution under the single-resource request model that highly improves the complexity measurements of prev...
SAINT
2006
IEEE
14 years 4 months ago
2006
IEEE
There are many kinds of control networks, which have been used in various non-IP network areas, such as BA (Building Automation), FA (Factory Automation) and PA (Process Automatio...