Member of the steering committee for the bi-annual
IEEE Symposia on Computer Arithmetic,, see eg.
ARITH-20
Recently involved with:
Member of the program committee for 20th IEEE Symposium on Computer
Arithmetic, Tuebingen, Germany, June 2011.
ARITH-20
Member of the program committee for 19th IEEE Symposium on Computer
Arithmetic, Portland,Oregon , June 2009.
ARITH-19
Co-Guest Editor of special section on computer arithmetic, IEEE
Transactions on Computers, Vol. 58(2), February 2009.
Chair of the Steering Committee for
RNC8 Santiago de Compostela,
Spain, July 7-9, 2008.
Co-Program Chair for 18th IEEE Symposium on Computer Arithmetic,
ARITH18, Montpellier,
June 25-27, 2007.
Chair of the Steering Committee and member of Program Committee for
RNC7 Nancy, France, July 10-12,
2006.
Member of the program committee for 17th IEEE Symposium on Computer
Arithmetic, Cape Cod, June 2005.
ARITH-17
Member of program committee for:
Workshop on Cryptographic Hardware and Embedded Systems 2005
(CHES 2005)August, 2005, Edinburgh, Scotland.
Chair of the Steering Committee and member of the Program Committee
for 6th Conference on Real Numbers and Computers (RNC6),Schloss
Dagstuhl, Wadern, Germany, November 15-17, 2004, RNC6
Chair of the Steering Committee and member of the Program Committee
for 5th Conference on Real Numbers and Computers (RNC5),Lyon,
France, September 3-5, 2003, RNC5
Member of program committee for:
Workshop on Cryptographic Hardware and Embedded Systems 2003
(CHES 2003)September, 2003, Cologne, Germany
Member of the program committee for 16th IEEE Symposium on Computer
Arithmetic, Santago de Compostella, Spain, June 15-18, 2003, ARITH-16
Member of program committee for: Workshop on Cryptographic Hardware
and Embedded Systems 2002 (CHES 2002)August 13
- 15, 2002, San Francisco Bay (Redwood City), USA
Guest-Editor of special issue of Theoretical Computer Science,
vol. 291, 2003, as a follow-up on 4th Conference on Real Numbers and
Computers
Member of the program committee for 15th IEEE Symposium on Computer
Arithmetic, June 2001,
ARITH-15
General and Program Chair for:
4th Conference on Real Numbers and Computers (RNC4)
April 17-19, 2000, Schloss Dagstuhl, Germany. Proceedings available at:
RNC4
Guest Co-Editor for Special Issue on Computer Arithmetic of
IEEE Transactions on Computers, Vol. 49(7), July, 2000.
Co-program chair for:
14th IEEE Symposium on Computer Arithmetic,
April 14-16, 1999, Adelaide, Australia
ARITH-14
Co-organizer for Dagstuhl Seminar:
Architectural and Arithmetic Support for Multimedia,
August 30 - September 4, 1998, Schloss Dagstuhl, Germany
Dagstuhl seminar,
Report
A fairly extensive bibliography on computer arithmetic (in BiBTeX) is
available: arith.bib.gz
Some Recent Publications:
Copyright Notice:
This material is presented to ensure timely dissemination of scholarly
and technical work. Copyright and all rights therein are retained by
authors or by other copyright holders. All persons copying this
information are expected to adhere to the terms and constraints invoked
by each author's copyright. In most cases, these works may not be
reposted without the explicit permission of the copyright holder.
Book:
Finite Precision Number Systems and Arithmetic
Peter Kornerup and David W. Matula, Cambridge University Press, 700 pages, September 2010.
book-ref.
AMS Mathematical review:
Review
Journal and conference papers:
On the Computation of Correctly-Rounded Sums
Peter Kornerup, Nicolas Louvet, Vincent Lefevre and
Jean-Michel Muller cr-sums.pdf
IEEE Transactions on Computers, vol. 61(3) 2012.
An extensively revised and expanded version of conference
presentation below.
Augmented precison square roots and 2-D norms, and discussion on
correctly rounding sqrt{x^2+y^2}
Nicolas Brisebarre, Mioara Joldes, Peter Kornerup, Erik Martin-Dorel
and Jean-Michel Muller augm_norms.pdf
Presented at ARITH20, 2011.
Floating-Point Arithmetic on Round-to-Nearest Representations
Peter Kornerup, Adrien Panhaleux and Jean-Michel Muller fp_arith.pdf
Internal report, extended version of transaction paper below, with
elaboration on floating point arithmetic.
Performing Arithmetic Operations on Round-to-Nearest
Representations
Peter Kornerup, Adrien Panhaleux and Jean-Michel Muller RN-arith.pdf
IEEE Transactions on Computers, vol. 60(2) 2011, pages 282-291.
Correcting the Normalization Shift of Redundant Binary
Representations
Peter Kornerup lzc.pdf
IEEE Transactions on Computers, vol. 58(10) 2009, pages 1435-1439.
On the Computation of Correctly Rounded Sums
Peter Kornerup, Nicolas Louvet, Vincent Lefevre and Jean-Michel
Muller. 3-sums.pdf, Presented at
ARITH19, June 2009
Computing Correctly Rounded Integer Powers in Floating-Point
Arithmetic
Peter Kornerup, Christoph Lauter, Nicolas Louvet, Vincent Lefevre
and Jean-Michel Muller.
Power-paper
ACM Transactions on Mathematical Software, Vol. 37(1), Jan. 2010.
Computing Integer Powers in Floating-Point Arithmetic
Peter Kornerup, Vincent Lefevre and Jean-Michel Muller. Power-report
Technical report, ENS-Lyon, May 30, 2007
Presented at the
41st Asilomar Conference on Signals, Systems and Computers, November 2007.
RN-Codings: New Insights and some Applications
Peter Kornerup and Jean-Michel Muller. rnc-RN.pdf
Presented at RNC7, Nancy July 1--12, 2006
Leading Guard Digits in Finite Precision redundant Representations
Peter Kornerup and Jean-Michel Muller. final-guard.pdfIEEE Transactions on Computers Vol. 55(5) May 2006
Choosing Starting Values for Certain Newton-Raphson Iterations
Peter Kornerup and Jean-Michel Muller.
July 2004, NewtonStart.ps.gz or
NewtonStart.pdf
Extensively revised version of paper below presented at RNC5, Theoretical Computer Science Vol. 351 (2006) pp. 101-110.
Single Precision Reciprocal by Multipartite Table Look-up
Peter Kornerup and David W. Matula.
October 2004, recip.pdf
(169910 bytes) Proceedings of ARITH17, June 2005, Cape Cod.
RN-Coding of Numbers: Definition and Some Properties
Peter Kornerup and Jean-Michel Muller.
July 2004, RN-recodings.pdf,
Proceedings of IMACS'2005, Paris, July 2005
Reviewing 4-to-2 Adders for Multi-Operand Addition
Peter Kornerup. January 28, 2002, presented and awarded "best paper" at ASAP 2002.
four-two.ps.gz (64338 bytes).
Slides from presentation:
slides_4-2.pdf (1013820 bytes). Now published in Journal of VLSI Signal Processing Systems, Vol. 40(1) May 2005.
Digit Selection for SRT Division and Square-Root
Peter
Kornerup. Extended version of ARITH16 paper below,
December 2003, rev-srt.ps
(627994 bytes), or rev-srt.pdf,
(326060 bytes), IEEE Transactions on Computers, Vol. 54(3), March
2005.
A new Range Reduction Algorithm
Nicolas Brisbane, David
Defour, Peter Kornerup, Jean-Michel Muller and Natalie Revol.
November 2003, RR-revised.pdf
(163310 bytes), extensively revised version of the Asilomar paper
below, IEEE Transactions on Computers, Vol. 54(3), March 2005.
Choosing Starting Values for Newton-Raphson Computation of
Reciprocals, Square-Roots and Square-Root Reciprocals
Peter Kornerup and Jean-Michel Muller.
December 2002, Newtondiv.ps.gz
(78138 bytes), presented at RNC5, Lyon, Sept. 3-5, 2003.
Revisiting SRT Quotient Digit Selection
Peter Kornerup.
October 2002, srt.ps.gz (96795 bytes),
Proc. 16th IEEE Symposium on Computer Arithmetic (ARITH16), June
2003, IEEE Computer Society.
A new Range Reduction Algorithm
David Defour, Peter
Kornerup, Jean-Michel Muller and Natalie Revol. Presented at the
35th Asilomar Conference on Signals, Systems, and Computers (Pacific Grove,
California, Nov 4-7). RR2.pdf (174712
bytes).
RNS Modular Multiplication and Base Conversions
Jean-Claude Bajard, Laurent-Stephane Didier and Peter Kornerup. Proc. 15th IEEE Symposium on Computer Arithmetic (ARITH-15),
June 2001, IEEE Computer Society. mult200.ps.gz (76048 bytes), or
mult200.pdf (197455 bytes).
Computing Moments by Prefix Sums
Feng Zhou and Peter
Kornerup This paper was presented at the ICIP'96 conference,
Lausanne, September 1996, and a shorter version appears in the proceedings
abstract.ps.gz (14382 bytes).
Extensively revised June 1999,
moment.ps.gz (112263 bytes)
now published in J. VLSI Signal Processing, Vol.~25,
pp. 7 - 17, 2000.
Redundant Radix Representations of Rings
Asger Munk Nielsen and Peter Kornerup IEEE Transactions on Computers, Vol 48(11), November 1999,
pp.\ 1153 - 1165. redrings.ps.gz (98559 bytes), or
TC-redrings.pdf (409897 bytes).
Necessary and Sufficient Conditions for Parallel, Constant Time
Conversion and Addition
Peter Kornerup Proc. 14th IEEE Symposium on Computer Arithmetic (ARITH-14),
pp. 152-155, April 1999, IEEE Computer Society.
parconv.ps.gz (40079 bytes)
Proc. 14th IEEE Symposium on Computer Arithmetic (ARITH-14)
Israel Koren and Peter Kornerup, Eds. April 1999, IEEE Computer Society, ISBN 0-7695-0116-8
A New Fast Discrete Fourier Transform
Feng Zhou and Peter Kornerup Journal of VLSI Signal Processing, vol. 20, 1998, pp. 219-232, Kluwer
Academic Publishers.
Version as revised April 1998,
fft.ps.gz (102329 bytes)
On Radix Representations of Rings
Asger Munk Nielsen and Peter Kornerup Proc. 13th IEEE Symposium on Computer Arithmetic (ARITH-13), July 1997,
IEEE Computer Society. rings.ps.gz (68423 bytes)
An RNS Montgomery Modular Multiplication Algorithm
Jean-Claude Bajard, Laurent-Stephane Didier and Peter Kornerup Proc. 13th IEEE Symposium on Computer Arithmetic (ARITH-13), July 1997,
IEEE Computer Society. mma.ps.gz (36837 bytes).
A revised and extended version has been published in the IEEE Transactions on
Computers, Vol.46(7), July 1998.
multmod.ps.gz (129413 bytes)
and TCmultmod.pdf (506211 bytes)
Bit Serial Structure for Full-Search, Block Matching Algorithm
Feng Zhou and Peter Kornerup In Proceedings of the IS&T;/SPIE Symposium on Electronic Imaging,
January, 1996.