Login / Signup
IEEE Symposium on Computer Arithmetic
1972
1987
1997
2013
1972
2013
Keyphrases
Publications
2013
James Demmel
,
Hong Diep Nguyen
Fast Reproducible Floating-Point Summation.
IEEE Symposium on Computer Arithmetic
(2013)
Sylvie Boldo
,
Jacques-Henri Jourdan
,
Xavier Leroy
,
Guillaume Melquiond
A Formally-Verified C Compiler Supporting Floating-Point Arithmetic.
IEEE Symposium on Computer Arithmetic
(2013)
Nicolas Brisebarre
,
Marc Mezzarobba
,
Jean-Michel Muller
,
Christoph Quirin Lauter
Comparison between Binary64 and Decimal64 Floating-Point Numbers.
IEEE Symposium on Computer Arithmetic
(2013)
M. G. Edmunds
The Antikythera Mechanism and the early history of mechanical computing.
IEEE Symposium on Computer Arithmetic
(2013)
Vincent Lefèvre
SIPE: Small Integer Plus Exponent.
IEEE Symposium on Computer Arithmetic
(2013)
David H. Bailey
High-precision computation: Applications and challenges [Keynote I].
IEEE Symposium on Computer Arithmetic
(2013)
Sylvie Boldo
How to Compute the Area of a Triangle: A Formal Revisit.
IEEE Symposium on Computer Arithmetic
(2013)
Pascal Giorgi
,
Laurent Imbert
,
Thomas Izard
Parallel Modular Multiplication on Multi-core Processors.
IEEE Symposium on Computer Arithmetic
(2013)
Jongwook Sohn
,
Earl E. Swartzlander Jr.
Improved Architectures for a Floating-Point Fused Dot Product Unit.
IEEE Symposium on Computer Arithmetic
(2013)
Marius Cornea
Precision, Accuracy, and Rounding Error Propagation in Exascale Computing.
IEEE Symposium on Computer Arithmetic
(2013)
Vassil S. Dimitrov
,
Kimmo Järvinen
Another Look at Inversions over Binary Fields.
IEEE Symposium on Computer Arithmetic
(2013)
Sameh Galal
,
Ofer Shacham
,
John Brunhaver
,
Jing Pu
,
Artem Vassiliev
,
Mark Horowitz
FPU Generator for Design Space Exploration.
IEEE Symposium on Computer Arithmetic
(2013)
Hao Jiang
,
Stef Graillat
,
Roberto Barrio
Accurate and Fast Evaluation of Elementary Symmetric Functions.
IEEE Symposium on Computer Arithmetic
(2013)
Edin Kadric
,
Paul Gurniak
,
André DeHon
Accurate Parallel Floating-Point Accumulation.
IEEE Symposium on Computer Arithmetic
(2013)
Petr Kurka
,
Martin Delacourt
The Unary Arithmetical Algorithm in Bimodular Number Systems.
IEEE Symposium on Computer Arithmetic
(2013)
Michael B. Sullivan
,
Earl E. Swartzlander Jr.
Truncated Logarithmic Approximation.
IEEE Symposium on Computer Arithmetic
(2013)
Jean-Claude Bajard
,
Julien Eynard
,
Filippo Gandino
Fault Detection in RNS Montgomery Modular Multiplication.
IEEE Symposium on Computer Arithmetic
(2013)
21st IEEE Symposium on Computer Arithmetic, ARITH 2013, Austin, TX, USA, April 7-10, 2013
IEEE Symposium on Computer Arithmetic
(2013)
Ardavan Pedram
,
Andreas Gerstlauer
,
Robert A. van de Geijn
Floating Point Architecture Extensions for Optimized Matrix Factorization.
IEEE Symposium on Computer Arithmetic
(2013)
Sylvain Chevillard
,
Marc Mezzarobba
Multiple-Precision Evaluation of the Airy Ai Function with Reduced Cancellation.
IEEE Symposium on Computer Arithmetic
(2013)
Claude-Pierre Jeannerod
,
Nicolas Louvet
,
Jean-Michel Muller
On the Componentwise Accuracy of Complex Floating-Point Division with an FMA.
IEEE Symposium on Computer Arithmetic
(2013)
Susanne Engels
,
Elif Bilge Kavun
,
Christof Paar
,
Tolga Yalçin
,
Hristina Mihajloska
A Non-Linear/Linear Instruction Set Extension for Lightweight Ciphers.
IEEE Symposium on Computer Arithmetic
(2013)
Thomas Chabrier
,
Arnaud Tisserand
On-the-Fly Multi-base Recoding for ECC Scalar Multiplication without Pre-computations.
IEEE Symposium on Computer Arithmetic
(2013)
Jeff Rupley
,
John King
,
Eric Quinnell
,
Frank Galloway
,
Ken Patton
,
Peter-Michael Seidel
,
James Dinh
,
Hai Bui
,
Anasua Bhowmik
The Floating-Point Unit of the Jaguar x86 Core.
IEEE Symposium on Computer Arithmetic
(2013)
Bilgiday Yuce
,
H. Fatih Ugurdag
,
Sezer Gören
,
Günhan Dündar
A Fast Circuit Topology for Finding the Maximum of N k-bit Numbers.
IEEE Symposium on Computer Arithmetic
(2013)
Jérémie Detrey
,
Pierrick Gaudry
,
Marion Videau
Relation Collection for the Function Field Sieve.
IEEE Symposium on Computer Arithmetic
(2013)
Suresh Srinivasan
,
Ketan Bhudiya
,
Rajaraman Ramanarayanan
,
P. Sahit Babu
,
Tiju Jacob
,
Sanu Mathew
,
Ram Krishnamurthy
,
Vasantha Erraguntla
Split-Path Fused Floating Point Multiply Accumulate (FPMAC).
IEEE Symposium on Computer Arithmetic
(2013)
James Demmel
,
Hong Diep Nguyen
Numerical Reproducibility and Accuracy at ExaScale.
IEEE Symposium on Computer Arithmetic
(2013)
2011
Maarten Boersma
,
Michael Kroener
,
Christophe Layer
,
Petra Leber
,
Silvia M. Müller
,
Kerstin Schelm
The POWER7 Binary Floating-Point Unit.
IEEE Symposium on Computer Arithmetic
(2011)
Daniel Lipetz
,
Eric Schwarz
Self Checking in Current Floating-Point Units.
IEEE Symposium on Computer Arithmetic
(2011)
Álvaro Vázquez
,
Javier D. Bruguera
Composite Iterative Algorithm and Architecture for q-th Root Calculation.
IEEE Symposium on Computer Arithmetic
(2011)
David W. Matula
,
Mihai T. Panu
A Prescale-Lookup-Postscale Additive Procedure for Obtaining a Single Precision Ulp Accurate Reciprocal.
IEEE Symposium on Computer Arithmetic
(2011)
Thomas B. Preußer
,
Martin Zabel
,
Rainer G. Spallek
Accelerating Computations on FPGA Carry Chains by Operand Compaction.
IEEE Symposium on Computer Arithmetic
(2011)
Ping Tak Peter Tang
,
J. Adam Butts
,
Ron O. Dror
,
David E. Shaw
Tight Certification Techniques for Digit-by-Rounding Algorithms with Application to a New 1/sqrt(x) Design.
IEEE Symposium on Computer Arithmetic
(2011)
Christophe Mouilleron
,
Guillaume Revy
Automatic Generation of Fast and Certified Code for Polynomial Evaluation.
IEEE Symposium on Computer Arithmetic
(2011)
Filippo Gandino
,
Fabrizio Lamberti
,
Paolo Montuschi
,
Jean-Claude Bajard
A General Approach for Improving RNS Montgomery Exponentiation Using Pre-processing.
IEEE Symposium on Computer Arithmetic
(2011)
David Harvey
,
Paul Zimmermann
Short Division of Long Integers.
IEEE Symposium on Computer Arithmetic
(2011)
Timothy Anderson
,
Duc Bui
,
Shriram Moharil
,
Soujanya Narnur
,
Mujibur Rahman
,
Anthony Lell
,
Eric Biscondi
,
Ashish Shrivastava
,
Peter Dent
,
Mingjian Yan
,
Hasan Mahmood
A 1.5 Ghz VLIW DSP CPU with Integrated Floating Point and Fixed Point Instructions in 40 nm CMOS.
IEEE Symposium on Computer Arithmetic
(2011)
Steven R. Carlough
,
Adam Collura
,
Silvia M. Müller
,
Michael Kroener
The IBM zEnterprise-196 Decimal Floating-Point Accelerator.
IEEE Symposium on Computer Arithmetic
(2011)
J. Adam Butts
,
Ping Tak Peter Tang
,
Ron O. Dror
,
David E. Shaw
Radix-8 Digit-by-Rounding: Achieving High-Performance Reciprocals, Square Roots, and Reciprocal Square Roots.
IEEE Symposium on Computer Arithmetic
(2011)
Neil Burgess
Fast Ripple-Carry Adders in Standard-Cell CMOS VLSI.
IEEE Symposium on Computer Arithmetic
(2011)
Claude-Pierre Jeannerod
,
Jingyan Jourdan-Lu
,
Christophe Monat
,
Guillaume Revy
How to Square Floats Accurately and Efficiently on the ST231 Integer Processor.
IEEE Symposium on Computer Arithmetic
(2011)
Martin Langhammer
Teraflop FPGA Design.
IEEE Symposium on Computer Arithmetic
(2011)
Omid Sarbishei
,
Katarzyna Radecka
On the Fixed-Point Accuracy Analysis and Optimization of FFT Units with CORDIC Multipliers.
IEEE Symposium on Computer Arithmetic
(2011)
Sylvie Boldo
,
Guillaume Melquiond
Flocq: A Unified Library for Proving Floating-Point Algorithms in Coq.
IEEE Symposium on Computer Arithmetic
(2011)
Nicolas Brisebarre
,
Mioara Joldes
,
Peter Kornerup
,
Érik Martin-Dorel
,
Jean-Michel Muller
Augmented Precision Square Roots and 2-D Norms, and Discussion on Correctly Rounding sqrt(x^2+y^2).
IEEE Symposium on Computer Arithmetic
(2011)
Saeid Gorgin
,
Ghassem Jaberipur
A Family of High Radix Signed Digit Adders.
IEEE Symposium on Computer Arithmetic
(2011)
Sameh Galal
,
Mark Horowitz
Latency Sensitive FMA Design.
IEEE Symposium on Computer Arithmetic
(2011)
Rizalafande Che Ismail
,
J. Nicholas Coleman
ROM-less LNS.
IEEE Symposium on Computer Arithmetic
(2011)
Ralf Fischer
High Intelligence Computing: The New Era of High Performance Computing.
IEEE Symposium on Computer Arithmetic
(2011)