Testimony before the U.S. - China Economic and Security Review Commission Date of the hearing: Thursday, May 10, 2012 Name of the panelist: Dr. Earl Joseph II - Joseph II - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2013-02-13 13:22:50 Concurrent computing Distributed computing architecture Cluster computing High-performance computing Dawning Information Industry Cray Petascale National University of Defense Technology K computer Computing Supercomputers Parallel computing		Testimony before the U.S. - China Economic and Security Review Commission Date of the hearing: Thursday, May 10, 2012 Name of the panelist: Dr. Earl Joseph II Add to Reading List Source URL: www.uscc.gov Download Document from Source Website File Size: 705,00 KB Share Document on Facebook

	Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji College of Computer, National University of Defense Technology Changsha, China Email: {yixi DocID: 1voW6 - View Document
	Predicting Asset Value Through Twitter Buzz Xue Zhanga,b, Hauke Fuehresb, Peter A. Gloorb a Department of Mathematic and Systems Science, National University of Defense Technology, Changsha, Hunan, P.R.China DocID: 1um1A - View Document
	Automated Program Repair by Using Similar Code Containing Fix Ingredients Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi College of Computer National University of Defense Technology Changsha, China jitao , {lqchen DocID: 1ueEU - View Document
	0 Static Analysis of Run-Time Errors in Interrupt-Driven Programs via Sequentialization XUEGUANG WU, National University of Defense Technology LIQIAN CHEN, National University of Defense Technology ´ , Universit´e Pier DocID: 1tXkC - View Document
	Block-wise abstract interpretation by combining abstract domains with SMT Jiahong Jiang1 , Liqian Chen1 , Xueguang Wu1 , and Ji Wang1,2 1 School of Computer Science, National University of Defense Technology, China DocID: 1tRPK - View Document