A Specification and Verification Framework for Developing Weak Shared Memory Consistency Protocols
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Translating between itanium and sparc memory consistency models
Proceedings of the eighteenth annual ACM symposium on Parallelism in algorithms and architectures
What is Itanium Memory Consistency from the Programmer's Point of View?
Electronic Notes in Theoretical Computer Science (ENTCS)
DISC'06 Proceedings of the 20th international conference on Distributed Computing
Hi-index | 0.01 |