Yan Cui, Weiyi Wu, Yingxin Wang, Xufeng Guo, Yu Chen, Yuanchun Shi. Reinventing Lock Modeling for Multi-Core Systems. In MASCOTS 2010, 18th Annual IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, Miami, Florida, USA, August 17-19, 2010. pages 455-457, IEEE, 2010. [doi]
Abstract is missing.