The Community for Technology Leaders
Green Image
Issue No. 02 - February (vol. 60)
ISSN: 0018-9340

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

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

Exact and Approximated Error of the FMA (Abstract)

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

Guest Editors' Introduction: Special Section on Computer Arithmetic (HTML)

Javier Bruguera , University of Santiago de Compostela, Santiago de Compostela, Spain
Marius Cornea , Intel Corporation in Hillsboro, Oregon, USA
Debjit Das Sarma , Advanced Micro Devices, Sunnyvale, California, USA
pp. 145-147

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

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

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

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

A Real/Complex Logarithmic Number System ALU (Abstract)

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

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

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

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

Claude-Pierre Jeannerod , INRIA Grenoble - Rhône-Alpes, Universit de Lyon, Lyon
Nicolas Louvet , Université Claude Bernard Lyon 1, Universit de Lyon, Lyon
Jean-Michel Muller , CNRS, Universit de Lyon, Lyon
Adrien Panhaleux , École Normale Supérieure de Lyon, 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)

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

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

Peter Kornerup , University of Southern Denmark, Odense
Jean-Michel Muller , CNRS-LIP, Arénaire, Lyon
Adrien Panhaleux , École Normale Supérieure de Lyon, Lyon
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
Yu-Ping Wang , Tsinghua University, Beijing
Shi-Min Hu , Tsinghua University, Beijing
pp. 292-304
92 ms
(Ver 3.3 (11022016))