Weixia Xu

Dezun Dong, Xiangke Liao, Kebin Liu, Yunhao Liu, Weixia Xu: Distributed Coverage in Wireless Ad Hoc and Sensor Networks by Topological Graph Approaches. IEEE Trans. Computers 61(10): 1417-1428 (2012)

Yang Guo, WanXia Qu, Long Zhang, Weixia Xu: State space reduction in modeling checking parameterized cache coherence protocol by two-dimensional abstraction. The Journal of Supercomputing 62(2): 828-854 (2012)

Junsheng Chang, Weixia Xu, Zhengbin Pang, Jun Zhang, Gang Yin: PIM: A Policy-Based Incentive Mechanism for Promoting Honest Recommendations in Reputation Systems. CIT 2012: 391-397

Shaogang Wang, Weixia Xu, Zhengbin Pang, Dan Wu, Yi Dai, Pingjing Lu: Optimizing Private Memory Performance by Dynamically Deactivating Cache Coherence. HPCC-ICESS 2012: 1112-1117

Yi Dai, Kefei Wang, Weixia Xu, He-ying Zhang, Shaogang Wang: Frame Error Rate Testing for High Speed Optical Interconnect. ICA3PP (2) 2012: 31-39

Jianmin Zhang, ShengYu Shen, Jun Zhang, Weixia Xu, Sikun Li: Extracting minimal unsatisfiable subformulas in satisfiability modulo theories. Comput. Sci. Inf. Syst. 8(3): 693-710 (2011)

Feng Wang, Canqun Yang, Yunfei Du, Juan Chen, Huizhan Yi, Weixia Xu: Optimizing Linpack Benchmark on GPU-Accelerated Petascale Supercomputer. J. Comput. Sci. Technol. 26(5): 854-865 (2011)

Weixia Xu, Jinbo Xu, Zhengbin Pang: A Parallel Processing Scheme for Large-Size Sliding-Window Applications. HPCC 2011: 35-39

Wei Shi, Weixia Xu, Hongguang Ren, Qiang Dou, Zhiying Wang, Li Shen, Cong Liu: A novel shared-buffer router for network-on-chip based on Hierarchical Bit-line Buffer. ICCD 2011: 267-272

Jianmin Zhang, Weixia Xu, Jun Zhang, ShengYu Shen, Zhengbin Pang, Tiejun Li, Jun Xia, Sikun Li: Finding First-Order Minimal Unsatisfiable Cores with a Heuristic Depth-First-Search Algorithm. IDEAL 2011: 178-185

Wei Chen, Weixia Xu, Zhiying Wang, Qiang Dou, Yongwen Wang, Baokang Zhao, Baosheng Wang: A Formalization of an Emulation Based Co-designed Virtual Machine. IMIS 2011: 164-168

Xuejun Yang, Xiangke Liao, Weixia Xu, Junqiang Song, Qingfeng Hu, Jinshu Su, Liquan Xiao, Kai Lu, Qiang Dou, Juping Jiang, Canqun Yang: TH-1: China's first petaflop supercomputer. Frontiers of Computer Science in China 4(4): 445-455 (2010)

Weixia Xu, Qiang Dou, Ying Zhang, Gen Li, Xuejun Yang: Exploiting Loop-Carried Stream Reuse for Scientific Computing Applications on the Stream Processor. IJCNS 3(1): 32-37 (2010)

Weixia Xu, Wei Chen, Qiang Dou: A Novel Chaining Approach for Direct Control Transfer Instructions. ICPADS 2010: 664-669

Shaogang Wang, Weixia Xu, Zhengbin Pang, Dan Wu, Qiang Dou, Xiaodong Yang: DTM: Decoupled Hardware Transactional Memory to Support Unbounded Transaction and Operating System. ICPP 2009: 228-236

Rangyu Deng, Weixia Xu, Qiang Dou, Hongwei Zhou, Zefu Dai, Haiyan Chen: An efficient stream memory architecture for heterogeneous multicore processor. ISCC 2009: 287-290

Liquan Xiao, Weixia Xu, Xingming Zhou: A Dual-Processors Multithreaded Architecture and Its Driven Execution Model. APDC 1997: 214-219