Jianying Xing

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Class Hierarchy

Storage Systems

Top Venues

Frontiers Comput. Sci.

Publications

Weixia Xu, Yutong Lu, Qiong Li, Enqiang Zhou, Zhenlong Song, Yong Dong, Wei Zhang, Dengping Wei, Xiaoming Zhang, Haitao Chen, Jianying Xing, Yuan Yuan
Hybrid hierarchy storage system in MilkyWay-2 supercomputer. Frontiers Comput. Sci. 8 (3) (2014)
Jianying Xing, Mengjun Li, Zhoujun Li
Automated Program Verification Using Generation of Invariants. QSIC (2010)