18155 search results - page 304 / 3631 » Point |
SIGMOD
1990
ACM
15 years 10 months ago
1990
ACM
250
click to vote
ARITH
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper deals with the design and implementation of low latency software for binary floating-point division with correct rounding to nearest. The approach we present here targe...
157
click to vote
ARC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Conventional rigid router-based networks on chip incur certain overheads due to huge occupied logic resources and topology embedding, i.e., the mapping of a logical netwo...
188
click to vote
CAV
2009
Springer
15 years 10 months ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...