Using Magnatic Disk Instead of Main Memory in the Mur

Ulrich Stern, David L. Dill

Browse the full CAV paper archive.