A VDM-style specification of the lattice building algorithm
This report presents a VDM-style specification of the lattice building
algorithm developed by Valtchev, Missaoui and Lebrun.
The major goal is to clarify some details which were left implicit in
the original paper, in order to provide a better basis for the
development of a parallel implementation of that algorithm.
Pour obtenir la version postscript
Cliquez
ici pour obtenir la version postscript.