208 search results - page 4 / 42 » Arithmetic Operations in the Polynomial Modular Number Syste... |
132
click to vote
ICCAD
2008
IEEE
16 years 22 days ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
116
Voted
JC
2008
15 years 3 months ago
2008
We describe an algorithm to count the number of distinct real zeros of a polynomial (square) system f. The algorithm performs O(log(nD(f))) iterations (grid refinements) where n is...
131
Voted
JCP
2008
15 years 3 months ago
2008
Complex numbers play a very important role in various applications of electrical and computer engineering. These days, arithmetic operations dealing with these numbers rely on a &q...
149
click to vote
COMPGEOM
1997
ACM
15 years 8 months ago
1997
ACM
Abstract: We propose an e cient method that determines the sign of a multivariate polynomial expression with integer coe cients. This is a central operation on which the robustness...
109
click to vote
ASAP
1996
IEEE
15 years 8 months ago
1996
IEEE
We propose in this paper a new algorithm and architecture for performing divisions in residue number systems. Our algorithm is suitable for residue number systems with large modul...