Pakistan studies - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-05-09 17:41:04 Fort Lesley J. McNair Africa Center for Strategic Studies Defense Intelligence Agency Education in the United States United States Military National Defence University Pakistan Middle States Association of Colleges and Schools National Defense University Information Resources Management College		Add to Reading List Source URL: www.ndu.edu Download Document from Source Website File Size: 1,38 MB 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