Xinhai XU


VAWS: Constructing Trusted Open Computing System of MapReduce with Verified Participants
Yan DING Huaimin WANG Lifeng WEI Songzheng CHEN Hongyi FU Xinhai XU 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/04/01
Vol. E97-D  No. 4  pp. 721-732
Type of Manuscript:  Special Section PAPER (Special Section on Data Engineering and Information Management)
Category: 
Keyword: 
result verificationcomputational integrityMapReduceopen systemintegrity attestation graph
 Summary | Full Text:PDF(2.2MB)

Towards Trusted Result Verification in Mass Data Processing Service
Yan DING Huaimin WANG Peichang SHI Hongyi FU Xinhai XU 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2014/01/01
Vol. E97-B  No. 1  pp. 19-28
Type of Manuscript:  Special Section PAPER (Special Section on Management for Flexible ICT Systems and Services)
Category: 
Keyword: 
result verificationmass data processingMapReducetrusted samplingMerkle tree
 Summary | Full Text:PDF(2.1MB)

VACED-SIM: A Simulator for Scalability Prediction in Large-Scale Parallel Computing
Yufei LIN Xuejun YANG Xinhai XU Xiaowei GUO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2013/07/01
Vol. E96-D  No. 7  pp. 1430-1442
Type of Manuscript:  PAPER
Category: Computer System
Keyword: 
parallel computingscalability predictionMPIcommunication primitive
 Summary | Full Text:PDF(609.9KB)

WBC-ALC: A Weak Blocking Coordinated Application-Level Checkpointing for MPI Programs
Xinhai XU Xuejun YANG Yufei LIN 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/03/01
Vol. E95-D  No. 3  pp. 786-796
Type of Manuscript:  PAPER
Category: Computer System
Keyword: 
Application-Level Checkpointingweak coordinatedMPIfault toleranceconsistency
 Summary | Full Text:PDF(729.1KB)