[IEEE Proceedings. 31st Annual International Symposium on Computer Architecture, 2004. - Munchen, Germany (June 19-23, 2004)] Proceedings. 31st Annual International Symposium on Computer Architecture, 2004. - TSOtool: a program for verifying memory systems using the memory consistency model
Hangal, S., Vahia, D., Manovit, C., Juin-Yeu Joseph Lu,, Narayanan, S.Year:
2004
Language:
english
DOI:
10.1109/isca.2004.1310768
File:
PDF, 351 KB
english, 2004