Computer-aided simulations of Gaussian processes and related asymptotic properties.