814 search results - page 5 / 163 » Analysis of Modular Arithmetic |
ARC
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents a reconfigurable hardware architecture for Public-key cryptosystems. By changing the connections of coarse grain Carry-Save Adders (CSAs), the datapath provides...
JSC
1998
14 years 9 months ago
1998
PCS
2007
14 years 9 months ago
2007
120
click to vote
CAV
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
FDL
2003
IEEE
15 years 3 months ago
2003
IEEE
Tolerances are a very important property of a design. This paper presents a method for simulating tolerances in signal processing and control systems on the system level using aï¬...