EDP Sciences Journals List
Issue RAIRO-Theor. Inf. Appl.
Volume 35, Number 2, March-April 2001
Page(s) 187 - 206
DOI 10.1051/ita:2001115

DOI: 10.1051/ita:2001115


Theoret. Informatics Appl. 35, 187-206 (2001)

On the number of iterations required by Von Neumann addition

Rudolf Grübel1 and Anke Reimers2

1  Institut für Mathematische Stochastik, Universität Hannover, Postfach 60 09, 30060 Hannover, Germany; (rgrubel@stochastik.uni-hannover.de)
2  Institut für Mathematische Stochastik, Universität Hannover, Postfach 60 09, 30060 Hannover, Germany;

Abstract
We investigate the number of iterations needed by an addition algorithm due to Burks et al. if the input is random. Several authors have obtained results on the average case behaviour, mainly using analytic techniques based on generating functions. Here we take a more probabilistic view which leads to a limit theorem for the distribution of the random number of steps required by the algorithm and also helps to explain the limiting logarithmic periodicity as a simple discretization phenomenon.


AMS Subject: 68Q25, 65Y20.

Key words: Carry propagation -- limit distributions -- total variation distance -- logarithmic periodicity -- Gumbel distributions -- discretization -- large deviations.


© EDP Sciences 2001


What is OpenURL?

The OpenURL standard is a protocol for transmission of metadata describing the resource that you wish to access. An OpenURL link contains article metadata and directs it to the OpenURL server of your choice. The OpenURL server can provide access to the resource and also offer complementary services (specific search engine, export of references...). The OpenURL link can be generated by different means.
  • If your librarian has set up your subscription with an OpenURL resolver, OpenURL links appear automatically on the abstract pages.
  • You can define your own OpenURL resolver with your EDPS Account. In this case your choice will be given priority over that of your library.
  • You can use an add-on for your browser (Firefox or I.E.) to display OpenURL links on a page (see http://www.openly.com/openurlref/). You should disable this module if you wish to use the OpenURL server that you or your library have defined.