Browsing by Author Trippel, C
Showing results 1 to 1 of 1
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 4-Apr-2017 | TriCheck: Memory model verification at the trisection of software, hardware, and ISA | Trippel, C; Manerkar, YA; Lustig, D; Pellauer, M; Martonosi, Margaret R. |