Institute for Computing Systems Architecture,
Division of Informatics,
(formerly
Department of Computer Science),
University of Edinburgh,
James Clerk Maxwell Building,
King's Buildings,
Mayfield Road,
Edinburgh, EH9 3JZ,
Scotland.
Email: yhay@dcs.ed.ac.uk