Proceedings/Proceedings - Symposium on Computer Arithmetic

A New Family of High.Performance Parallel Decimal Multipliers

Álvaro Vázquez, E. Antelo, Paolo Montuschi · 2007 · 124 citations

Engineering, Computer Engineering, Computer Science +14

Formal Verification of Floating-Point Programs

Sylvie Boldo, Jean-Christophe Filliâtre · 2007 · 79 citations

Computing, Computer Engineering, Computer Science +15

Efficient polynomial L-approximations

Nicolas Brisebarre, Sylvain Chevillard · 2007 · 65 citations

Computing, Computer Science, Mathematics +14

A New Architecture For Multiple-Precision Floating-Point Multiply-Add Fused Unit Design

Libo Huang, Li Shen, Kui Dai et al. · 2007 · 56 citations

Engineering, Computer Engineering, Computer Science +15

Robust Energy-Efficient Adder Topologies

Dinesh Patil, Omid Azizi, Mark Horowitz et al. · 2007 · 54 citations

Engineering, Computer Engineering, Electrical Engineering +17