1![Gradual Type Precision as Retraction Max S. New Northeastern University POPL 2017 Student Research Competition Extended Abstract Gradual Type Precision as Retraction Max S. New Northeastern University POPL 2017 Student Research Competition Extended Abstract](https://www.pdfsearch.io/img/1c61cf60cc9feee8ad54a3fb4e25f891.jpg) | Add to Reading ListSource 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- 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-](https://www.pdfsearch.io/img/3f109a869b791224bc18059959c5d1c8.jpg) | Add to Reading ListSource URL: perso.ens-lyon.frLanguage: English - Date: 2009-10-16 07:35:07
|
---|
3![CS:APP Web Aside DATA:IA32-FP: Intel IA32 Floating-Point Arithmetic∗ Randal E. Bryant David R. O’Hallaron June 5, 2012 CS:APP Web Aside DATA:IA32-FP: Intel IA32 Floating-Point Arithmetic∗ Randal E. Bryant David R. O’Hallaron June 5, 2012](https://www.pdfsearch.io/img/ca7650533be1377e7a6ce1a6fc5298c1.jpg) | Add to Reading ListSource URL: csapp.cs.cmu.eduLanguage: English - Date: 2012-06-05 05:37:36
|
---|
4![MedSearch: A Retrieval System for Medical Information Based on Semantic Similarity Angelos Hliaoutakis1 , Giannis Varelas1 , Euripides G.M. Petrakis1 , and Evangelos Milios2 1 MedSearch: A Retrieval System for Medical Information Based on Semantic Similarity Angelos Hliaoutakis1 , Giannis Varelas1 , Euripides G.M. Petrakis1 , and Evangelos Milios2 1](https://www.pdfsearch.io/img/4323ca6a70efea4c708304b85d7751cb.jpg) | Add to Reading ListSource URL: www.intelligence.tuc.grLanguage: English - Date: 2011-12-08 06:07:25
|
---|
5![Floating-Point Precision Tuning Using Blame Analysis ⇤ ⇤ Cindy Rubio-Gonz´alez1 , Cuong Nguyen2 , Benjamin Mehne2 , Koushik Sen2 , James Demmel2 , Floating-Point Precision Tuning Using Blame Analysis ⇤ ⇤ Cindy Rubio-Gonz´alez1 , Cuong Nguyen2 , Benjamin Mehne2 , Koushik Sen2 , James Demmel2 ,](https://www.pdfsearch.io/img/990a43827761d9c46a753e59311fa483.jpg) | Add to Reading ListSource URL: crd.lbl.govLanguage: English - Date: 2016-06-01 22:22:47
|
---|
6![Why and how to use arbitrary precision Kaveh R. Ghazi Vincent Lefèvre Philippe Théveny Why and how to use arbitrary precision Kaveh R. Ghazi Vincent Lefèvre Philippe Théveny](https://www.pdfsearch.io/img/38e46f140427eade62a37361e01f8896.jpg) | Add to Reading ListSource URL: perso.ens-lyon.frLanguage: English - Date: 2010-04-14 11:12:59
|
---|
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 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](https://www.pdfsearch.io/img/4cff12f81619798daaef832a21a39cb2.jpg) | Add to Reading ListSource URL: crd.lbl.govLanguage: English - Date: 2015-04-20 03:24:44
|
---|
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 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](https://www.pdfsearch.io/img/094c20cc0bc9c7ca8306ad530ca8c755.jpg) | Add to Reading ListSource URL: crd.lbl.govLanguage: English - Date: 2013-08-25 13:39:42
|
---|
9![Vincent Lef` evre, Loria / INRIA Lorraine, SPACES project MPFR MPFR – Main Features Vincent Lef` evre, Loria / INRIA Lorraine, SPACES project MPFR MPFR – Main Features](https://www.pdfsearch.io/img/02cd926c28eb5563e0e4c42949979fae.jpg) | Add to Reading ListSource URL: www.vinc17.orgLanguage: English - Date: 2015-06-18 06:12:50
|
---|
10![Floating-Point Precision Tuning Using Blame Analysis ∗ ∗ Cindy Rubio-Gonz´alez1 , Cuong Nguyen2 , Benjamin Mehne2 , Koushik Sen2 , James Demmel2 , Floating-Point Precision Tuning Using Blame Analysis ∗ ∗ Cindy Rubio-Gonz´alez1 , Cuong Nguyen2 , Benjamin Mehne2 , Koushik Sen2 , James Demmel2 ,](https://www.pdfsearch.io/img/542cb25fac3d46008ca62dff89ab9e3a.jpg) | Add to Reading ListSource URL: web.cs.ucdavis.eduLanguage: English - Date: 2016-03-05 23:37:15
|
---|