Floating-Point Precision Tuning Using Blame Analysis ⇤ ⇤ Cindy Rubio-Gonz´alez1 , Cuong Nguyen2 , Benjamin Mehne2 , Koushik Sen2 , James Demmel2 ,

First Page		Document Content
Date: 2016-06-01 22:22:47 Computer arithmetic Computing Computer programming Extended precision IEEE floating point Lookup table Significant figures Program analysis		Floating-Point Precision Tuning Using Blame Analysis ⇤ ⇤ Cindy Rubio-Gonz´alez1 , Cuong Nguyen2 , Benjamin Mehne2 , Koushik Sen2 , James Demmel2 , Add to Reading List Source URL: crd.lbl.gov Download Document from Source Website File Size: 1,04 MB Share Document on Facebook

	Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK DocID: 1xVY6 - View Document
	Poster: Dynamic Taint Analysis of Concurrent Program Based on Symbolic Execution Yu Hao∗ , Xiaodong Zhang∗ , Zijiang Yang† and Ting Liu∗ ,IEEEauthorrefmark2 ∗ Ministry of Education Key Lab for Intelligent Netw DocID: 1xVzE - View Document
	Rethinking Soot for Summary-Based Whole-Program Analysis Dacong Yan Guoqing Xu Atanas Rountev DocID: 1xVvx - View Document
	Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA DocID: 1xVrl - View Document
	STATE COORDINATOR CHIEF DEPUTY POLICY & PROGRAM ANALYSIS EXTERNAL AFFAIRS DocID: 1xV7p - View Document