603 search results - page 11 / 121 » Embedded Formulas Extraction |
IPL
2007
13 years 8 months ago
2007
The use of elliptic curve cryptosystems on embedded systems has been becoming widespread for some years. Therefore the resistance of such cryptosystems to side-channel attacks is ...
SAT
2005
Springer
14 years 2 months ago
2005
Springer
Much attention has been given in recent years to the problem of finding Minimally Unsatisfiable Subformulas (MUSes) of Boolean formulas. In this paper, we present a new view of the...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
Abstract. We show how to extract existential witnesses from classical proofs using Krivine’s classical realizability—where classical proofs are interpreted as λ-terms with the...
PR
2007
13 years 8 months ago
2007
This paper presents an orientation operator to extract image local orientation features. We show that a proper employment of image integration leads to an unbiased orientation est...
IOLTS
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper proposes a new solution for the diagnosis of faults into embedded RAMs, currently under evaluation within STMicroelectronics. The proposed scheme uses dedicated circuit...