Browsing by Subject Computer Architecture
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) |
|---|---|---|
| 2013 | Architectures for Secure Cloud Computing Servers | Szefer, Jakub M. |
| 2015 | Specifying, Verifying, and Translating Between Memory Consistency Models | Lustig, Daniel Joseph |