A formal model of a large memory that supports efficient execution.

Warren A. Hunt Jr., Matt Kaufmann

Browse the full FMCAD paper archive.