© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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}, }