Extended precision - PDFSEARCH.IO - Document Search Engine

Extended precision
Results: 50

#	Item
1	Gradual Type Precision as Retraction Max S. New Northeastern University POPL 2017 Student Research Competition Extended Abstract Add to Reading List Source URL: maxsnew.github.io - Date: 2018-03-23 16:34:38
2	MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding Laurent Fousse, Guillaume Hanrot, Vincent Lef`evre, Patrick P´elissier, Paul Zimmermann LORIA, 615 rue du jardin botanique, FVillers- Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2009-10-16 07:35:07 Computer arithmetic Computing Arithmetic Computer architecture GNU MPFR GNU Multiple Precision Arithmetic Library Rounding Extended precision IEEE 754-1985 IEEE floating point Quadruple-precision floating-point format Paul Zimmermann
3	CS:APP Web Aside DATA:IA32-FP: Intel IA32 Floating-Point Arithmetic∗ Randal E. Bryant David R. O’Hallaron June 5, 2012 Add to Reading List Source URL: csapp.cs.cmu.edu Language: English - Date: 2012-06-05 05:37:36 Computer architecture Computing Computer arithmetic Computer engineering Extended precision Long double Processor register X87 64-bit computing Double-precision floating-point format X86 IEEE floating point
4	MedSearch: A Retrieval System for Medical Information Based on Semantic Similarity Angelos Hliaoutakis1 , Giannis Varelas1 , Euripides G.M. Petrakis1 , and Evangelos Milios2 1 Add to Reading List Source URL: www.intelligence.tuc.gr Language: English - Date: 2011-12-08 06:07:25 Information science Information retrieval Natural language processing Search algorithms Vector space model Query expansion Semantic similarity Search engine Precision and recall Generalized vector space model Extended Boolean model
5	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 Language: English - Date: 2016-06-01 22:22:47 Computer arithmetic Computing Computer programming Extended precision IEEE floating point Lookup table Significant figures Program analysis
6	Why and how to use arbitrary precision Kaveh R. Ghazi Vincent Lefèvre Philippe Théveny Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2010-04-14 11:12:59 Computer arithmetic Computing Mathematics Theoretical computer science GNU MPFR Extended precision Quadruple-precision floating-point format Rounding Single-precision floating-point format Double-precision floating-point format IEEE floating point Precision
7	Floating-Point Precision Tuning Using Blame Analysis Cuong Nguyen1 , Cindy Rubio-Gonz´alez1 , Benjamin Mehne1 , Koushik Sen1 , James Demmel1 , William Kahan1 , Costin Iancu2 , Wim Lavrijsen2 , David H. Bailey2 , and Dav Add to Reading List Source URL: crd.lbl.gov Language: English - Date: 2015-04-20 03:24:44 Computer arithmetic Computing Mathematics Theoretical computer science Extended precision IEEE floating point Iterative refinement Long double Significant figures Speedup Double-precision floating-point format
8	Precimonious: Tuning Assistant for Floating-Point Precision Cindy Rubio-Gonz´alez1 , Cuong Nguyen1 , Hong Diep Nguyen1 , James Demmel1 , William Kahan1 , Koushik Sen1 , David H. Bailey2 , Costin Iancu2 , and David Hough Add to Reading List Source URL: crd.lbl.gov Language: English - Date: 2013-08-25 13:39:42 Computing Computer arithmetic Software engineering Computer programming Floating point LLVM Kahan summation algorithm Extended precision IEEE floating point Program analysis Lookup table Type system
9	Vincent Lef` evre, Loria / INRIA Lorraine, SPACES project MPFR MPFR – Main Features Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic GNU MPFR GNU Multiple Precision Arithmetic Library Rounding Extended precision Floating point Double-precision floating-point format Interval arithmetic Exponentiation
10	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: web.cs.ucdavis.edu Language: English - Date: 2016-03-05 23:37:15 Computer arithmetic Floating point Extended precision IEEE floating point Parallel computing Double-precision floating-point format Lookup table