2 public-domain matches

Memory Model

Cover of A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler

Andreas Lochbihler

Cover of Design And Development Of Effective Multi Level Cache Memory Model

Design And Development Of Effective Multi Level Cache Memory Model

International Journal of Recent Technology and Applied Science