Alvin R. Lebeck

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Specifying and dynamically verifying address translation-aware memory consistency

Bogdan F. Romanescu and others (2010)

Fractal Coherence: Scalably Verifiable Cache Coherence

Meng Zhang and others (2010) · IEEE/ACM International Symposium on Microarchitecture (MICRO) · Institute of Electrical and Electronics Engineers

Fine-grain access control for distributed shared memory

Ioannis Schoinas and others (1994) · Proceedings of the sixth international conference on Architectural support for programming languages and operating systems · ACM