![](/img/cover-not-exists.png)
[ACM Press the 17th annual ACM symposium - Las Vegas, Nevada, USA (2005.07.18-2005.07.20)] Proceedings of the 17th annual ACM symposium on Parallelism in algorithms and architectures - SPAA'05 - Efficient algorithms for verifying memory consistency
Manovit, Chaiyasit, Hangal, SudheendraYear:
2005
Language:
english
DOI:
10.1145/1073970.1074011
File:
PDF, 470 KB
english, 2005