The Community for Technology Leaders
Computer Arithmetic, IEEE Symposium on (2007)
Montpellier, France
June 25, 2007 to June 27, 2007
ISSN: 1063-6889
ISBN: 0-7695-2854-6
TABLE OF CONTENTS

Foreword (PDF)

pp. ix
Introduction

Foreword (PDF)

pp. ix

Reviewers (PDF)

pp. xii
Session 1: Keynote Talk
Session 2: Basic Arithmetic Operations I

Serial Parallel Multiplier Design in Quantum-dot Cellular Automata (Abstract)

Earl E. Jr. Swartzlander , University of Texas at Austin
Heumpil Cho , Qualcomm, Inc.
pp. 7-15

Robust Energy-Efficient Adder Topologies (Abstract)

Dinesh Patil , Stanford University
Omid Azizi , Stanford University
Mark Horowitz , Stanford University
Rajesh Ananthraman , nVidia Inc.
Ron Ho , Sun Microsystems
pp. 16-28
Session 3: Decimal Floating Point

A Software Implementation of the IEEE 754R Decimal Floating-Point Arithmetic Using the Binary Encoding Format (Abstract)

Ping Tak Peter Tang , Intel Corporation
Marius Cornea , Intel Corporation
Cristina Anderson , Intel Corporation
John Harrison , Intel Corporation
Eric Schneider , Intel Corporation
Charles Tsen , University of Wisconsin
pp. 29-37

Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations (Abstract)

Merav Aharoni , IBM Research Lab in Haifa
Abraham Ziv , IBM Research Lab in Haifa
Ron Maharik , IBM Research Lab in Haifa
pp. 38-45

Decimal Floating-Point Multiplication Via Carry-Save Addition (Abstract)

Mark A. Erle , International Business Machines
Brian J. Hickmann , University of Wisconsin, Madison
Michael J. Schulte , University of Wisconsin, Madison
pp. 46-55

Decimal Floating-Point Adder and Multifunction Unit with Injection-Based Rounding (Abstract)

Michael J. Schulte , University of Wisconsin-Madison
Liang-Kai Wang , University of Wisconsin-Madison
pp. 56-68
Session 4: Floating Point Implementation

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

Libo Huang , National University of Defense Technology
Li Shen , National University of Defense Technology
Zhiying Wang , National University of Defense Technology
Kui Dai , National University of Defense Technology
pp. 69-76

P6 Binary Floating-Point Unit (Abstract)

Michael Kroener , IBM Server Division
Martin Schmookler , IBM Server Division
Eric. M. Schwarz , IBM Server Division
Son Dao Trong , IBM Server Division
pp. 77-86
Session 5: Crypto Algorithms

An Algorithm for the nt Pairing Calculation in Characteristic Three and its Hardware Implementation (Abstract)

Masaaki Shirase , Future University-Hakodate, Japan
Tsuyoshi Takagi , Future University-Hakodate, Japan
Jean-Luc Beuchat , University of Tsukuba, Japan
Eiji Okamoto , University of Tsukuba, Japan
pp. 97-104

Asymmetric Squaring Formulae (Abstract)

M. Anwar Hasan , University of Waterloo, Ontario, Canada
Jaewook Chung , University of Waterloo, Ontario, Canada
pp. 113-122

Spectral Modular Exponentiation (Abstract)

Cetin K. Koc , Oregon State University
Gokay Saldamli , Samsung Electronics, Korea
pp. 123-132
Session 6: Various Topics

Worst Cases of a Periodic Function for Large Arguments (Abstract)

Paul Zimmermann , INRIA/LORIA, France
Damien Stehle , CNRS/LIP, France
Vincent Lefevre , INRIA/LIP, France
Guillaume Hanrot , INRIA/LORIA, France
pp. 133-140

How to Ensure a Faithful Polynomial Evaluation with the Compensated Horner Algorithm (Abstract)

Nicolas Louvet , Universite de Perpignan, DALI Research Team
Philippe Langlois , Universite de Perpignan, DALI Research Team
pp. 141-149

Accurate Multiple-Precision Gauss-Legendre Quadrature (Abstract)

Laurent Fousse , Universit? Henri-Poincar? Nancy 1
pp. 150-160
Session 7: Elementary Functions

Return of the hardware floating-point elementary function (Abstract)

Xavier Pujol , LIP, Ecole Normale Superieure de Lyon, France
Florent de Dinechin , LIP, Ecole Normale Superieure de Lyon, France
Jeremie Detrey , LIP, Ecole Normale Superieure de Lyon, France
pp. 161-168

Efficient polynomial L-approximations (Abstract)

Nicolas Brisebarre , LaMUSE, Universite J. Monnet, Cedex, France
Sylvain Chevillard , LIP (CNRS/ENS Lyon/INRIA/Univ. Lyon 1), France
pp. 169-176

Floating-point L^2 -approximations to functions (Abstract)

Guillaume Hanrot , INRIA - LORIA, Projet CACAO, Nancy Cedex, France
Nicolas Brisebarre , Universite de Saint- Etienne - LaMUSE, France
pp. 177-186
Session 8: Floating Point Issues and Operations

A New Family of High.Performance Parallel Decimal Multipliers (Abstract)

Paolo Montuschi , Politecnico di Torino, Italy
Elisardo Antelo , University of Santiago de Compostela
Alvaro Vazquez , University of Santiago de Compostela
pp. 195-204

Optimistic Parallelization of Floating-Point Accumulation (Abstract)

Nachiket Kapre , California Institute of Technology
Andre DeHon , University of Pennsylvania
pp. 205-216
Session 9: Modular Operations

Fast Modular Reduction (Abstract)

Vinodh Gopal , Intel
pp. 225-229

Montgomery Reduction Algorithm for Modular Multiplication Using Low-Weight Polynomial Form Integers (Abstract)

Jaewook Chung , University of Waterloo, Ontario, Canada
M. Anwar Hasan , University of Waterloo, Ontario, Canada
pp. 230-239
Session 10: Basic Arithmetic Operations II

Multiplication by a Constant is Sublinear (Abstract)

Andrew Zakaluzny , University of Calgary
Vassil Dimitrov , University of Calgary
Laurent Imbert , LIRMM, Univ. Montpellier 2, CNRS, Montpellier, France
pp. 261-268
Author Index

Author Index (PDF)

pp. 269
101 ms
(Ver 3.3 (11022016))