4101 search results - page 498 / 821 » Differential Power Analysis |
189
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
-- In this paper we present a new method for Boolean matching of completely specified Boolean functions. The canonical Generalized Reed-Muller forms are used as a powerful analysis...
180
click to vote
ESOP
1992
Springer
15 years 10 months ago
1992
Springer
Dynamic typing is a program analysis targeted at removing runtime tagging and untagging operations from programs written in dynamically typed languages. This paper compares dynami...
160
click to vote
AI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Interactive data mining focuses on efficient and effective humancomputer interactions for data analysis purposes. An interactive system is an integration of a human user ...
149
click to vote
EUROPAR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a hardware mechanism which dynamically detects uniform and affine vectors used in Graphics Processing Units, to minimize pressure on the register file and redu...
187
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
ASIC designs for future communication applications cannot be simulated exhaustively. Formal Property Checking is a powerful technology to overcome the limitations of current funct...