18. IEEE Symposium on Computer Arithmetic 2007: Montpellier, France

Keynote Talk

• Simon Knowles:
  The Return of Silicon Efficiency. 3
  

Session 2: Basic Arithmetic Operations I

• Heumpil Cho, Earl E. Swartzlander Jr.:
  Serial Parallel Multiplier Design in Quantum-dot Cellular Automata. 7-15
  
• Dinesh Patil, Omid Azizi, Mark Horowitz, Ron Ho, Rajesh Ananthraman:
  Robust Energy-Efficient Adder Topologies. 16-28
  

Session 3: Decimal Floating Point

• Marius Cornea, Cristina Anderson, John Harrison, Ping Tak Peter Tang, Eric Schneider, Charles Tsen:
  A Software Implementation of the IEEE 754R Decimal Floating-Point Arithmetic Using the Binary Encoding Format. 29-37
  
• Merav Aharoni, Ron Maharik, Abraham Ziv:
  Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations. 38-45
  
• Mark A. Erle, Michael J. Schulte, Brian J. Hickmann:
  Decimal Floating-Point Multiplication Via Carry-Save Addition. 46-55
  
• Liang-Kai Wang, Michael J. Schulte:
  Decimal Floating-Point Adder and Multifunction Unit with Injection-Based Rounding. 56-68
  

Session 4: Floating Point Implementation

• Libo Huang, Li Shen, Kui Dai, Zhiying Wang:
  A New Architecture For Multiple-Precision Floating-Point Multiply-Add Fused Unit Design. 69-76
  
• Son Dao Trong, Martin S. Schmookler, Eric M. Schwarz, Michael Kroener:
  P6 Binary Floating-Point Unit. 77-86
  
• Neil Burgess, Chris N. Hinds:
  Design of the ARM VFP11 Divide and Square Root Synthesisable Macrocell. 87-96
  

Session 5: Crypto Algorithms

• Jean-Luc Beuchat, Masaaki Shirase, Tsuyoshi Takagi, Eiji Okamoto:
  An Algorithm for the nt Pairing Calculation in Characteristic Three and its Hardware Implementation. 97-104
  
• Katsuki Kobayashi, Naofumi Takagi, Kazuyoshi Takagi:
  An Algorithm for Inversion in GF(2^m) Suitable for Implementation Using a Polynomial Multiply Instruction on GF(2). 105-112
  
• Jaewook Chung, M. Anwar Hasan:
  Asymmetric Squaring Formulae. 113-122
  
• Gökay Saldamli, Çetin Kaya Koç:
  Spectral Modular Exponentiation. 123-132
  

Session 6: Various Topics

• Guillaume Hanrot, Vincent Lefèvre, Damien Stehlé, Paul Zimmermann:
  Worst Cases of a Periodic Function for Large Arguments. 133-140
  
• Philippe Langlois, Nicolas Louvet:
  How to Ensure a Faithful Polynomial Evaluation with the Compensated Horner Algorithm. 141-149
  
• Laurent Fousse:
  Accurate Multiple-Precision Gauss-Legendre Quadrature. 150-160
  

Session 7: Elementary Functions

• Jérémie Detrey, Florent de Dinechin, Xavier Pujol:
  Return of the hardware floating-point elementary function. 161-168
  
• Nicolas Brisebarre, Sylvain Chevillard:
  Efficient polynomial L-approximations. 169-176
  
• Nicolas Brisebarre, Guillaume Hanrot:
  Floating-point L²-approximations to functions. 177-186
  

Session 8: Floating Point Issues and Operations

• Sylvie Boldo, Jean-Christophe Filliâtre:
  Formal Verification of Floating-Point Programs. 187-194
  
• Álvaro Vázquez, Elisardo Antelo, Paolo Montuschi:
  A New Family of High.Performance Parallel Decimal Multipliers. 195-204
  
• Nachiket Kapre, André DeHon:
  Optimistic Parallelization of Floating-Point Accumulation. 205-216
  

Session 9: Modular Operations

• Ping Tak Peter Tang:
  Modular Multiplication using Redundant Digit Division. 217-224
  
• William Hasenplaugh, Gunnar Gaubatz, Vinodh Gopal:
  Fast Modular Reduction. 225-229
  
• Jaewook Chung, M. Anwar Hasan:
  Montgomery Reduction Algorithm for Modular Multiplication Using Low-Weight Polynomial Form Integers. 230-239
  
• Leonel Sousa:
  Efficient Method for Magnitude Comparison in RNS Based on Two Pairs of Conjugate Moduli. 240-250
  

Session 10: Basic Arithmetic Operations II

• Yedidya Hilewitz, Ruby B. Lee:
  Performing Advanced Bit Manipulations Efficiently in General-Purpose Processors. 251-260
  
• Vassil S. Dimitrov, Laurent Imbert, Andrew Zakaluzny:
  Multiplication by a Constant is Sublinear. 261-268
  

Last update Tue May 22 23:22:50 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page