18th IEEE Symposium on Computer Arithmetic (ARITH '07)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769528546

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Optimistic Parallelization of Floating-Point Accumulation

18th IEEE Symposium on Computer Arithmetic (ARITH '07) ◽

10.1109/arith.2007.25 ◽

2007 ◽

Cited By ~ 19

Author(s):

Nachiket Kapre ◽

Andre DeHon

Keyword(s):

Floating Point

Download Full-text

The Return of Silicon Efficiency

18th IEEE Symposium on Computer Arithmetic (ARITH '07) ◽

10.1109/arith.2007.36 ◽

2007 ◽

Author(s):

Simon Knowles

Download Full-text

Multiplication by a Constant is Sublinear

18th IEEE Symposium on Computer Arithmetic (ARITH '07) ◽

10.1109/arith.2007.24 ◽

2007 ◽

Cited By ~ 20

Author(s):

Vassil Dimitrov ◽

Laurent Imbert ◽

Andrew Zakaluzny

Download Full-text

Formal Verification of Floating-Point Programs

18th IEEE Symposium on Computer Arithmetic (ARITH '07) ◽

10.1109/arith.2007.20 ◽

2007 ◽

Cited By ~ 49

Author(s):

Sylvie Boldo ◽

Jean-Christophe Filliatre

Keyword(s):

Formal Verification ◽

Floating Point

Download Full-text

Montgomery Reduction Algorithm for Modular Multiplication Using Low-Weight Polynomial Form Integers

18th IEEE Symposium on Computer Arithmetic (ARITH '07) ◽

10.1109/arith.2007.23 ◽

2007 ◽

Cited By ~ 6

Author(s):

Jaewook Chung ◽

M. Anwar Hasan

Keyword(s):

Polynomial Form ◽

Reduction Algorithm ◽

Modular Multiplication ◽

Low Weight ◽

Montgomery Reduction

Download Full-text

Serial Parallel Multiplier Design in Quantum-dot Cellular Automata

18th IEEE Symposium on Computer Arithmetic (ARITH '07) ◽

10.1109/arith.2007.32 ◽

2007 ◽

Cited By ~ 20

Author(s):

Heumpil Cho ◽

Earl E. Jr. Swartzlander

Keyword(s):

Cellular Automata ◽

Quantum Dot ◽

Quantum Dot Cellular Automata ◽

Parallel Multiplier

Download Full-text

Modular Multiplication using Redundant Digit Division

18th IEEE Symposium on Computer Arithmetic (ARITH '07) ◽

10.1109/arith.2007.22 ◽

2007 ◽

Cited By ~ 3

Author(s):

Ping Tak Peter Tang

Keyword(s):

Modular Multiplication

Download Full-text

How to Ensure a Faithful Polynomial Evaluation with the Compensated Horner Algorithm

18th IEEE Symposium on Computer Arithmetic (ARITH '07) ◽

10.1109/arith.2007.21 ◽

2007 ◽

Cited By ~ 14

Author(s):

Philippe Langlois ◽

Nicolas Louvet

Keyword(s):

Polynomial Evaluation

Download Full-text

Design of the ARM VFP11 Divide and Square Root Synthesisable Macrocell

18th IEEE Symposium on Computer Arithmetic (ARITH '07) ◽

10.1109/arith.2007.15 ◽

2007 ◽

Cited By ~ 13

Author(s):

Neil Burgess ◽

Chris N. Hinds

Keyword(s):

Square Root

Download Full-text

Floating-point L^2 -approximations to functions

18th IEEE Symposium on Computer Arithmetic (ARITH '07) ◽

10.1109/arith.2007.38 ◽

2007 ◽

Cited By ~ 1

Author(s):

Nicolas Brisebarre ◽

Guillaume Hanrot

Keyword(s):

Floating Point

Download Full-text

18th IEEE Symposium on Computer Arithmetic (ARITH '07)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Optimistic Parallelization of Floating-Point Accumulation

The Return of Silicon Efficiency

Multiplication by a Constant is Sublinear

Formal Verification of Floating-Point Programs

Montgomery Reduction Algorithm for Modular Multiplication Using Low-Weight Polynomial Form Integers

Serial Parallel Multiplier Design in Quantum-dot Cellular Automata

Modular Multiplication using Redundant Digit Division

How to Ensure a Faithful Polynomial Evaluation with the Compensated Horner Algorithm

Design of the ARM VFP11 Divide and Square Root Synthesisable Macrocell

Floating-point L^2 -approximations to functions

18th IEEE Symposium on Computer Arithmetic (ARITH '07)
Latest Publications