In computing, decimal64 is a decimal floating-point computer numbering format that occupies 8 bytes (64 bits) in computer memory.It is intended forâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

- Arthur Blot, Jean-Michel Muller, Laurent ThÃ©ry
- NSV@CAV
- 2017

We present a full Coq formalisation of the correctness of some comparison algorithms between binary64 and decimal64 floatingpointâ€¦Â (More)

Is this relevant?

2013

2013

- Nicolas Brisebarre, Marc Mezzarobba, Jean-Michel Muller, Christoph Quirin Lauter
- 2013 IEEE 21st Symposium on Computer Arithmetic
- 2013

We introduce a software-oriented algorithm that allows one to quickly compare a binary64 floating-point (FP) number and aâ€¦Â (More)

Is this relevant?

2012

2012

- Dongdong Chen, Liu Han, Younhee Choi, Seok-Bum Ko
- IEEE Transactions on Computers
- 2012

This paper presents the algorithm and architecture of the decimal floating-point (DFP) logarithmic converter, based on the digitâ€¦Â (More)

Is this relevant?

2012

2012

- Raja Gopal Surineedi
- 2012

This paper describes the FPGA implementation of a Decimal Floating Point (DFP) ALU (Arithmetic logic unit). The design performsâ€¦Â (More)

Is this relevant?

2011

2011

- Malte Baesler, Sven-Ole Voigt, Thomas Teufel
- 2011 International Conference on Reconfigurableâ€¦
- 2011

In this paper we present three different radix-10 digit recurrence division algorithms for FPGA architectures. The first oneâ€¦Â (More)

Is this relevant?

2010

2010

- Ahmet Akkas, Michael J. Schulte
- 2010 53rd IEEE International Midwest Symposium onâ€¦
- 2010

This paper presents the first hardware implementation of a fully parallel decimal floating-point fused-multiply-add unitâ€¦Â (More)

Is this relevant?

2010

2010

- Karim Yehia, Hossam A. H. Fahmy, M. Hassan
- 2010 Conference Record of the Forty Fourthâ€¦
- 2010

Decimal floating-point addition is important for financial and business applications. There has been a growing interest inâ€¦Â (More)

Is this relevant?

2009

2009

- Carlos Minchola, Gustavo Sutter
- 2009 International Conference on Reconfigurableâ€¦
- 2009

This paper describes the design and implementation of a hardware module to calculate the decimal floating-point DFPâ€¦Â (More)

Is this relevant?

2008

2008

- Ramsey Raafat, A. M. Abdel-Majeed, +4 authors H. A. H. Fahmy
- 2008 42nd Asilomar Conference on Signals, Systemsâ€¦
- 2008

Decimal arithmetic is important in several commercial applications including financial analysis, banking, tax calculationâ€¦Â (More)

Is this relevant?

2006

2006

- Vincent LefÃ¨vre, Damien StehlÃ©, Paul Zimmermann
- Reliable Implementation of Real Number Algorithms
- 2006

We searched for the worst cases for correct rounding of the exponential function in the IEEE 754r decimal64 format, and computedâ€¦Â (More)

Is this relevant?