The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 02 - February (vol. 60)
ISSN: 0018-9340
SPECIAL SECTION ON COMPUTER ARITHMETIC

Reducing the Computation Time in (Short Bit-Width) Two's Complement Multipliers (Abstract)

Elisardo Antelo , University of Santiago de Compostela, Santiago de Compostela
Paolo Montuschi , Politecnico di Torino, Torino
Fabrizio Lamberti , Politecnico di Torino, Torino
Nikos Andrikos , Politecnico di Torino, Torino
pp. 148-156

Exact and Approximated Error of the FMA (Abstract)

Jean-Michel Muller , CNRS, Université de Lyon, Lyon and INRIA/Arénaire
Sylvie Boldo , INRIA Saclay, Orsay and University Parid-Sud, CNRS, Orsay
pp. 157-164

Improved Division by Invariant Integers (Abstract)

Torbjörn Granlund , KTH - Royal Institute of Technology, Stockholm
Niels Möller , GNU GMP, Stockholm
pp. 165-175

Simulation-Based Verification of Floating-Point Division (Abstract)

Ariel J. Birnbaum , IBM Research Haifa, Haifa
Elena Guralnik , IBM Research Haifa, Haifa
Anatoly Koyfman , IBM Research Haifa, Haifa
Merav Aharoni , IBM Research Haifa, Haifa
pp. 176-188

Area-Efficient Multipliers Based on Multiple-Radix Representations (Abstract)

Kimmo U. Järvinen , Aalto University, Aalto
Vassil S. Dimitrov , University of Calgary, Calgary
Jithra Adikari , University of Calgary, Calgary
pp. 189-201

A Real/Complex Logarithmic Number System ALU (Abstract)

Sylvain Collange , ELIAUS, Université de Perpignan, Perpignan
Mark G. Arnold , Lehigh University, Bethlehem
pp. 202-213

Computing Floating-Point Square Roots via Bivariate Polynomial Evaluation (Abstract)

Christophe Monat , STMicroelectronics' Compilation Expertise Center
Guillaume Revy , University of California at Berkeley, Berkeley
Hervé Knochel , STMicroelectronics' Compilation Expertise Center
Claude-Pierre Jeannerod , INRIA Arénaire, Lyon
pp. 214-227

Midpoints and Exact Points of Some Algebraic Functions in Floating-Point Arithmetic (Abstract)

Jean-Michel Muller , CNRS, Universit de Lyon, Lyon
Nicolas Louvet , Université Claude Bernard Lyon 1, Universit de Lyon, Lyon
Adrien Panhaleux , École Normale Supérieure de Lyon, Universit de Lyon, Lyon
Claude-Pierre Jeannerod , INRIA Grenoble - Rhône-Alpes, Universit de Lyon, Lyon
pp. 228-241

Certifying the Floating-Point Implementation of an Elementary Function Using Gappa (Abstract)

Florent de Dinechin , Université de Lyon, Lyon
Christoph Lauter , Intel Corporation, Hillsboro
Guillaume Melquiond , INRIA, Orsay
pp. 242-253

Hybrid Binary-Ternary Number System for Elliptic Curve Cryptosystems (Abstract)

Jithra Adikari , University of Calgary, Calgary
Vassil S. Dimitrov , University of Calgary, Calgary
Laurent Imbert , University of Calgary, Calgary and Université Montpellier, Montpellier
pp. 254-265

Fast Architectures for the \eta_T Pairing over Small-Characteristic Supersingular Elliptic Curves (Abstract)

Eiji Okamoto , University of Tsukuba, Tsukuba
Francisco Rodríguez-Henríquez , Av. Instituto Politenico Nacional No. 2508, México City
Nicolas Estibals , INRIA Nancy - Grand Est, Nancy
Jérémie Detrey , INRIA Nancy - Grand Est, Nancy
Jean-Luc Beuchat , University of Tsukuba, Tsukuba
pp. 266-281
REGULAR PAPERS

Performing Arithmetic Operations on Round-to-Nearest Representations (Abstract)

Adrien Panhaleux , École Normale Supérieure de Lyon, Lyon
Jean-Michel Muller , CNRS-LIP, Arénaire, Lyon
Peter Kornerup , University of Southern Denmark, Odense
pp. 282-291

ISRA-Based Grouping: A Disk Reorganization Approach for Disk Energy Conservation and Disk Performance Enhancement (Abstract)

Xue-Liang Liao , Tsinghua University, Beijing
Shi Bai , Tsinghua University, Beijing
Shi-Min Hu , Tsinghua University, Beijing
Yu-Ping Wang , Tsinghua University, Beijing
pp. 292-304
112 ms
(Ver )