Fast Verification of Memory Consistency for Chip Multi-Processor.

Zheng Lv, Hao Chen, Feng Chen, Yi Lv

Browse the full CIS paper archive.