19. IEEE Symposium on Computer Arithmetic 2009: Portland, Oregon, USA

Keynote Talk

• David E. Shaw:
  Anton: A Specialized Machine for Millisecond-Scale Molecular Dynamics Simulations of Proteins. 3
  

Algorithms and Number Systems

• Jean Vuillemin:
  Efficient Data Structure and Algorithms for Sparse Integers, Sets and Predicates. 7-14
  
• Mark G. Arnold, Sylvain Collange:
  A Dual-Purpose Real/Complex Logarithmic Number System ALU. 15-24
  
• Jean-Claude Bajard, Marcelo E. Kaihara, Thomas Plantard:
  Selected RNS Bases for Modular Multiplication. 25-32
  

Invited Talk

• Stanley Mazor:
  A Historical Perspective on Computer Arithmetic. 35
  

Arithmetic Hardware

• David W. Matula:
  Higher Radix Squaring Operations Employing Left-to-Right Dual Recoding. 39-47
  
• Jochen Preiss, Maarten Boersma, Silvia Melitta Müller:
  Advanced Clockgating Schemes for Fused-Multiply-Add-Type Floating-Point Units. 48-56
  
• Ghassem Jaberipur, Behrooz Parhami:
  Unified Approach to the Design of Modulo-(2ⁿ +/- 1) Adders Based on Signed-LSB Representation of Residues. 57-64
  

Finite Fields and Cryptography

• M. Anwar Hasan, Christophe Nègre:
  Subquadratic Space Complexity Multiplier for a Class of Binary Fields Using Toeplitz Matrix Approach. 67-75
  
• Jithra Adikari, Vassil S. Dimitrov, Laurent Imbert:
  Hybrid Binary-Ternary Joint Form and Its Application in Elliptic Curve Cryptography. 76-83
  
• Murat Cenk, Çetin Kaya Koç, Ferruh Özbudak:
  Polynomial Multiplication over Finite Fields Using Field Extensions and Interpolation. 84-91
  

Mathematical Software

• Claude-Pierre Jeannerod, Herve Knochel, Christophe Monat, Guillaume Revy, Gilles Villard:
  A New Binary Floating-Point Division Algorithm and Its Software Implementation on the ST231 Processor. 95-103
  
• John Harrison:
  Fast and Accurate Bessel Function Computation. 104-113
  
• Elena Guralnik, Ariel J. Birnbaum, Anatoly Koyfman, Avi Kaplan:
  Implementation Specific Verification of Divide and Square Root Instructions. 114-121
  

Decimal Hardware

• Liang-Kai Wang, Michael J. Schulte:
  A Decimal Floating-Point Adder with Decoded Operands and a Decimal Leading-Zero Anticipator. 125-134
  
• Álvaro Vázquez, Elisardo Antelo:
  A High-Performance Significand BCD Adder with IEEE 754-2008 Decimal Rounding. 135-144
  
• Saeid Gorgin, Ghassem Jaberipur:
  Fully Redundant Decimal Arithmetic. 145-152
  

Floating-Point Techniques

• Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller:
  On the Computation of Correctly-Rounded Sums. 155-160
  
• Alexandre F. Tenca:
  Multi-operand Floating-Point Addition. 161-168
  
• Sylvain Chevillard, Mioara Joldes, Christoph Quirin Lauter:
  Certified and Fast Computation of Supremum Norms of Approximation Errors. 169-176
  

Decimal Transcendentals

• Álvaro Vázquez, Julio Villalba, Elisardo Antelo:
  Computation of Decimal Transcendental Functions Using the CORDIC Algorithm. 179-186
  
• John Harrison:
  Decimal Transcendentals via Binary. 187-194
  
• Dongdong Chen, Yu Zhang, Younhee Choi, Moon Ho Lee, Seok-Bum Ko:
  A 32-bit Decimal Floating-Point Logarithmic Converter. 195-203
  

Automated Synthesis of Arithmetic Operations

• Reto Zimmermann:
  Datapath Synthesis for Standard-Cell Design. 207-211
  
• Chung-Kuan Cheng:
  Design Space Exploration for Power-Efficient Mixed-Radix Ling Adders. 212
  
• Ajay K. Verma, Philip Brisk, Paolo Ienne:
  Challenges in Automatic Optimization of Arithmetic Circuits. 213-218
  

Panel on Decimal Arithmetic in Industry

• Hossam A. H. Fahmy, Ramy Raafat, Amira M. Abdel-Majeed, Rodina Samy, Tarek ElDeeb, Yasmin Farouk:
  Energy and Delay Improvement via Decimal Floating Point Units. 221-224
  
• Marius Cornea:
  IEEE 754-2008 Decimal Floating-Point for Intel. 225-228
  

Interval Arithmetic

• William W. Edmonson, Guillaume Melquiond:
  IEEE Interval Standard Working Group - P1788: Current Status. 231-234
  

Last update Mon May 20 22:27:51 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page