8874 search results - page 408 / 1775 » A New Implementation of Automath |
222
click to vote
CODES
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...
153
click to vote
DELTA
2004
IEEE
15 years 11 months ago
2004
IEEE
Complex arithmetic computations, especially if derived from bit-level software descriptions, can be very inefficient if implemented directly in hardware (e.g., by translation of t...
205
click to vote
CHES
2006
Springer
15 years 11 months ago
2006
Springer
In this paper, we present a new attack on RSA when the public exponent is short, for instance 3 or 216 +1, and when the classical exponent randomization is used. This attack works ...
208
click to vote
FGR
2004
IEEE
15 years 11 months ago
2004
IEEE
Skin detection is employed in tasks like face detection and tracking, naked people detection, hand detection and tracking, people retrieval in databases and Internet, etc. However...
189
click to vote
CC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Inline-threaded interpretation is a recent technique that improves performance by eliminating dispatch overhead within basic blocks for interpreters written in C [11]. Th...