Sciweavers

503 search results - page 83 / 101
» Interpolative Boolean Logic
Sort
View
FPL
2006
Springer
219views Hardware» more  FPL 2006»
15 years 1 months ago
FPGA Implementations of the DES and Triple-DES Masked Against Power Analysis Attacks
This paper presents FPGA implementations of the DES and Triple-DES with improved security against power analysis attacks. The proposed designs use Boolean masking, a previously in...
François-Xavier Standaert, Gaël Rouvro...
PTS
2008
109views Hardware» more  PTS 2008»
14 years 11 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
FCS
2006
14 years 11 months ago
The Representational Power of Conjunctive Normal Form
- There is continuing research interest in comparison of the complexity of problems within the class NP-Complete. This paper examines the representational power of conjunctive norm...
Thomas O'Neil, Jason Smith
TC
2002
14 years 9 months ago
A Number System with Continuous Valued Digits and Modulo Arithmetic
This paper presents a novel number system based on signed continuous valued digits. Arithmetic operations in this number system are performed using simple analog circuitry, in con...
Aryan Saed, Majid Ahmadi, Graham A. Jullien
ICIP
2010
IEEE
14 years 7 months ago
Bit-plane stack filter algorithm for focal plane processors
This work presents a novel parallel technique to implement stack morphological filters for image processing. The method relies on applying the image bitwise decomposition to manip...
Andrés Frias-Velazquez, Wilfried Philips