School of Computing

New implementations of the spectral test

Tim Hopkins

Technical Report 11-97, University of Kent, Computing Laboratory, July 1997.

Abstract

We present three versions of the revised spectral test for the analysis of liner congruential random number generators. One is a Fortran 90 version of the code presented in ~\cite{Hopkins83} which extends the range of integer arithmetic operations by performing the arithmetic using floating-point numbers. The range of modulus values which may be analyzed is determined by the length of the mantissa. The other two implementations use the multiple precision arithmetic facilities provided by the Fortran 90 package, mpfun~\cite{Bailey} and the Unix program \emph{bc} (a version of this program is freely available from GNU). Both these allow arbitrary values of the modulus to be analyzed notwithstanding the underlying integer and floating-point hardware.

Download publication 50 kbytes

Bibtex Record

@techreport{349,
author = {Tim Hopkins},
title = {New Implementations of the Spectral Test},
month = {July},
year = {1997},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1997/349},
    institution = {University of Kent, Computing Laboratory},
    number = {11-97},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014