Fast Verification of Memory Consistency for Chip Multi-Processor

Zheng Lv, Hao Chen, Feng Chen, Yi Lv. Fast Verification of Memory Consistency for Chip Multi-Processor. In Yuping Wang, Yiu-ming Cheung, Ping Guo, Yingbin Wei, editors, Seventh International Conference on Computational Intelligence and Security, CIS 2011, Sanya, Hainan, China, December 3-4, 2011. pages 1497-1502, IEEE, 2011. [doi]

Authors

Zheng Lv

This author has not been identified. Look up 'Zheng Lv' in Google

Hao Chen

This author has not been identified. It may be one of the following persons: Look up 'Hao Chen' in Google

Feng Chen

This author has not been identified. Look up 'Feng Chen' in Google

Yi Lv

This author has not been identified. Look up 'Yi Lv' in Google