|
Search the dblp DataBase
Yi Lv:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Hong Pan, Hui-Min Lin, Yi Lv
Model Checking Data Consistency for Cache Coherence Protocols. [Citation Graph (0, 0)][DBLP] J. Comput. Sci. Technol., 2006, v:21, n:5, pp:765-775 [Journal]
- Yi Lv, Huimin Lin, Hong Pan
Computing Invariants for Parameter Abstraction. [Citation Graph (0, 0)][DBLP] MEMOCODE, 2007, pp:29-38 [Conf]
Fast complete memory consistency verification. [Citation Graph (, )][DBLP]
Environment Abstraction with State Clustering and Parameter Truncating. [Citation Graph (, )][DBLP]
Juicer: Scalable Extraction for Thread Meta-information of Web Forum. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|