Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs Nasrine Damouche and Matthieu Martel LAMPS Laboratory University of Perpignan, 52 Avenue Paul Alduy,

First Page		Document Content
Date: 2018-01-15 07:35:42 Computing Software engineering Mathematics Functions and mappings Abstract interpretation Variable Limit of a function Derivative Combinatory logic Scala Exponentiation Integral		Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs Nasrine Damouche and Matthieu Martel LAMPS Laboratory University of Perpignan, 52 Avenue Paul Alduy, Add to Reading List Source URL: perso.univ-perp.fr Download Document from Source Website File Size: 429,03 KB Share Document on Facebook

	An Extensible Framework for Variable-Precision Data-Flow Analyses in MPS Tamás Szabó Simon Alperovich DocID: 1xUKr - View Document
	ADRIEN MIDZIC ADRIENMIDZIC.FR MIXAL VARIABLE FONT DocID: 1xTsS - View Document
	The variable pulse-length storage ring Scientific Case NiFe +H DocID: 1vs5b - View Document
	Linear Variable Filters and Xenon flash lamps The purpose of this document is to give recommendations on how to use DELTA’s linear variable filters in systems where the light is originating from a Xenon flash lamp. The DocID: 1vrHL - View Document
	Analysis of variable retroduplications in human populations suggests coupling of retrotransposition to cell division Alexej Abyzov1,2,3,4, Rebecca DocID: 1vrkq - View Document