Under Secretary of Defense for Intelligence - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2007-01-24 14:18:50 Under Secretary of Defense for Policy Government Under Secretary of Defense for Personnel and Readiness Under Secretary of Defense for Intelligence Education in the United States United States National Security Education Program National Defense University Office of the Secretary of Defense		Add to Reading List Source URL: www.dtic.mil Download Document from Source Website File Size: 52,34 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