17. IEEE Symposium on Computer Arithmetic 2005: Cape Cod, MA, USA

Introduction

• Forword.
  
• Dedication.
  
• Steering Committee.
  
• Symposium Committee.
  
• List of Referees.
  

Session 1: Keynote Talk

Session 2: Multiplication

• Colin D. Walter, David Samyde:
  Data Dependent Power Use in Multipliers. 4-12
  
• Nicolas Brisebarre, Jean-Michel Muller:
  Correctly Rounded Multiplication by Arbitrary Precision Constants. 13-20
  
• Mark A. Erle, Eric M. Schwarz, Michael J. Schulte:
  Decimal Multiplication with Efficient Partial Product Generation. 21-28
  
• E. Chaniotakis, Paraskevas Kalivas, Kiamal Z. Pekmestzi:
  Long Number Bit-Serial Squarers. 29-36
  

Session 3: Round Table

• Roger A. Golliver, Silvia M. Müller, Stuart F. Oberman, Martin S. Schmookler, Debjit Das Sarma, Andrew Beaumont-Smith:
  Pain versus Gain in the Hardware Design of FPUs and Supercomputers. 39
  

Session 4: Applications

• Javier D. Bruguera, Tomás Lang:
  Floating-Point Fused Multiply-Add: Reduced Latency for Floating-Point Addition. 42-51
  
• Sylvie Boldo, Jean-Michel Muller:
  Some Functions Computable with a Fused-Mac. 52-58
  
• Silvia M. Müller, Christian Jacobi, Hwa-Joon Oh, Kevin D. Tran, Scott R. Cottier, Brad W. Michael, Hiroo Nishikawa, Yonetaro Totsuka, Tatsuya Namatame, Naoka Yano, Takashi Machida, Sang H. Dhong:
  The Vector Floating-Point Unit in a Synergistic Processor Element of a CELL Processor. 59-67
  
• Vincent Lefèvre:
  New Results on the Distance between a Segment and Z². Application to the Exact Rounding. 68-75
  
• Merav Aharoni, Sigal Asaf, Ron Maharik, Ilan Nehama, Ilya Nikulshin, Abraham Ziv:
  Solving Constraints on the Invisible Bits of the Intermediate Result for Floating-Point Verification. 76-83
  

Session 5: Panel

• David Hough, Bill Hay, Jeff Kidder, Jason Riedy, Guy L. Steele Jr., Jim Thomas:
  Arithmetic Interactions: From Hardware to Applications. 87
  

Session 6: Addition

• Youngmoon Choi, Earl E. Swartzlander Jr.:
  Parallel Prefix Adder Design with Matrix Representation. 90-98
  
• Peter-Michael Seidel:
  High-Radix Implementation of IEEE Floating-Point Addition. 99-106
  
• Bart R. Zeydel, Theo T. J. H. Kluter, Vojin G. Oklobdzija:
  Efficient Mapping of Addition Recurrence Algorithms in CMOS. 107-113
  
• Zhaojun Wo, Israel Koren:
  Synthesis of Saturating Counters Using Traditional and Non-Traditional Basic Counters. 114-121
  

Session 7: Division

• Jean-Michel Muller, Arnaud Tisserand, Benoît Dupont de Dinechin, Christophe Monat:
  Division by Constant for the ST100 DSP Microprocessor. 124-130
  
• Arch D. Robison:
  N-Bit Unsigned Division via N-Bit Multiply-Add. 131-139
  
• Naofumi Takagi, Shunsuke Kadowaki, Kazuyoshi Takagi:
  A Hardware Algorithm for Integer Division. 140-146
  
• Elisardo Antelo, Tomás Lang, Paolo Montuschi, Alberto Nannarelli:
  Low Latency Digit-Recurrence Reciprocal and Square-Root Reciprocal Algorithm and Architecture. 147-154
  

Session 8: Cryptography and Galois Fields

• David W. Matula, Alex Fit-Florea, Mitchell Aaron Thornton:
  Table Lookup Structures for Multiplicative Inverses Modulo 2^k. 156-163
  
• Jean-Claude Bajard, Laurent Imbert, Graham A. Jullien:
  Parallel Montgomery Multiplication in GF(2^k) Using Trinomial Residue Arithmetic. 164-171
  
• David Harris, Ram Krishnamurthy, Mark Anders, Sanu Mathew, Steven Hsu:
  An Improved Unified Scalable Radix-2 Montgomery Multiplier. 172-178
  
• Dhananjay S. Phatak, Tom Goff:
  Fast Modular Reduction for Large Wordlengths via One Linear and One Cyclic Convolution. 179-186
  

Session 9: Number Systems

• Marc Daumas, Guillaume Melquiond, César Muñoz:
  Guaranteed Proofs Using Interval Arithmetic. 188-195
  
• Mark G. Arnold:
  The Residue Logarithmic Number System: Theory and Implementation. 196-205
  
• Jean-Claude Bajard, Laurent Imbert, Thomas Plantard:
  Arithmetic Operations in the Polynomial Modular Number System. 206-213
  
• Khan Wahid, Vassil S. Dimitrov, Graham A. Jullien:
  Error-Free Computation of 8x8 2-D DCT and IDCT Using Two-Dimensional Algebraic Integer Quantization. 214-221
  
• Marco Macchetti, Luigi Dadda:
  Quasi-Pipelined Hash Circuits. 222-229
  

Session 10: Function Evaluation and Table Methods, Part 1

• E. George Walters III, Michael J. Schulte:
  Efficient Function Approximation Using Truncated Multipliers and Squarers. 232-239
  
• Peter Kornerup, David W. Matula:
  Single Precision Reciprocals by Multipartite Table Lookup. 240-248
  
• Pavan Adharapurapu, Milos D. Ercegovac:
  A Linear-System Operator Based Scheme for Evaluation of Multinomials. 249-256
  
• Damien Stehlé, Paul Zimmermann:
  Gal's Accurate Tables Method Revisited. 257-264
  

Session 11: Function Evaluation and Table Methods, Part 2

• Peter W. Markstein:
  A Fast-Start Method for Computing the Inverse Tangent. 266-271
  
• Stuart F. Oberman, Michael Y. Siu:
  A High-Performance Area-Efficient Multifunction Interpolator. 272-279
  
• Elisardo Antelo, Julio Villalba:
  Low Latency Pipelined Circular CORDIC. 280-287
  
• Florent de Dinechin, Alexey V. Ershov, Nicolas Gast:
  Towards the Post-Ultimate libm. 288-295
  

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