Self Adapting Numerical Software and Update on NetSolve 1

First Page		Document Content
Date: 2002-03-12 14:05:08 LAPACK Basic Linear Algebra Subprograms SSE2 Pentium Portable Extensible Toolkit for Scientific Computation Middleware Numerical software Numerical analysis Numerical linear algebra		Self Adapting Numerical Software and Update on NetSolve 1 Add to Reading List Source URL: www.netlib.org Download Document from Source Website File Size: 1,59 MB Share Document on Facebook

	CS:APP2e Web Aside ASM:SSE: SSE-Based Support for Floating Point∗ Randal E. Bryant David R. O’Hallaron August 5, 2014 DocID: 1q0er - View Document
	Symbolic Crosschecking of Floating-Point and SIMD Code Peter Collingbourne Cristian Cadar Paul H. J. Kelly DocID: 1pUTw - View Document
	Compiling for Scalable Computing Systems – the Merit of SIMD Ayal Zaks Intel Corporation Acknowledgements: too many to list DocID: 1nUjj - View Document
	Universal SIMD-Mathlibrary Helmut Dersch Furtwangen University of Applied Sciences August 20, 2008 Abstract Standard functions for single precision floating point vector datatypes DocID: 1nnmN - View Document
	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verified Compilation of Floating-Point Computations Sylvie Boldo · Jacques-Henri Jourdan · DocID: 1njVg - View Document