Trippel, C., Manerkar, Y. A., Lustig, D., Pellauer, M., & Martonosi, M. (Feb 8, 2017). TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA. arXiv.org. https://doi.org/10.1145/3037697.3037719
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
Chicago-čujuhus (17. p.)
Trippel, Caroline, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, juo Margaret Martonosi. "TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA."
ArXiv.org Feb 8, 2017. https://doi.org/10.1145/3037697.3037719.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
MLA-čujuhus (9. p.)
Trippel, Caroline, et al. "TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA."
ArXiv.org, Feb 8, 2017, https://doi.org/10.1145/3037697.3037719.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.