default search action
17th IEEE Symposium on Computer Arithmetic 2005: Cape Cod, MA, USA
- 17th IEEE Symposium on Computer Arithmetic (ARITH-17 2005), 27-29 June 2005, Cape Cod, MA, USA. IEEE Computer Society 2005, ISBN 0-7695-2366-8
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 Z2. 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, E. 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 2k. 156-163 - Jean-Claude Bajard, Laurent Imbert, Graham A. Jullien:
Parallel Montgomery Multiplication in GF(2k) Using Trinomial Residue Arithmetic. 164-171 - David Money Harris, Ram Krishnamurthy, Mark A. 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 A. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.