72 search results - page 1 / 15 » An arithmetic approach for the computing with words paradigm |
IJIS
2006
13 years 6 months ago
2006
COMPGEOM
1997
ACM
13 years 10 months ago
1997
ACM
Abstract. In the context of methodologies intended to confer robustness to geometric algorithms, we elaborate on the exact-computation paradigm and formalize the notion of degree o...
CSL
2007
Springer
14 years 14 days ago
2007
Springer
In 1973, Parikh proved a speed-up theorem conjectured by G¨odel 37 years before: there exist arithmetical formulæ that are provable in first order arithmetic, but whose shorter ...
ASPDAC
2007
ACM
13 years 10 months ago
2007
ACM
Abstract: This paper presents an approach to area optimization of arithmetic datapaths that perform polynomial computations over bit-vectors with finite widths. Examples of such de...
ARITH
2001
IEEE
13 years 10 months ago
2001
IEEE
The Instruction Set Architecture (ISA) of a programmable processor is the native languageof the machine. It defines the set of operations and resourcesthat are optimized for that ...