3566 search results - page 6 / 714 » Signed Logic Programs |
153
click to vote
DAC
2005
ACM
15 years 7 months ago
2005
ACM
This paper proposes a low power technique, called SBR (Sign Bit Reduction) which may reduce the switching activity in multipliers as well as data buses. Utilizing the multipliers ...
153
click to vote
ARITH
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper presents mathematical foundtions of the Overlap Resolution Number System (ORNS) which employs signed Continuous Valued Digits (CVD's). ORNS is a redundant Number S...
159
click to vote
ARITH
2009
IEEE
16 years 18 days ago
2009
IEEE
Moduli of the form 2n ± 1, which greatly simplify certain arithmetic operations in residue number systems (RNS), have been of longstanding interest. A steady stream of designs fo...
198
click to vote
CSFW
2005
IEEE
15 years 11 months ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
176
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...