IEEE Symposium on Computer Arithmetic

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