Reasoning about hierarchical memory management. Unpublished manuscript (2002)

by A Ahmed, L Jia, D Walker