1![Comparison between binary64 and decimal64 floating-point numbers Nicolas Brisebarre, Marc Mezzarobba Jean-Michel Muller Laboratoire LIP CNRS, ENS Lyon, INRIA, Comparison between binary64 and decimal64 floating-point numbers Nicolas Brisebarre, Marc Mezzarobba Jean-Michel Muller Laboratoire LIP CNRS, ENS Lyon, INRIA,](https://www.pdfsearch.io/img/6cdf6299c99b1876d7dfc4c51750f6dd.jpg) | Add to Reading ListSource URL: www.marc.mezzarobba.netLanguage: English - Date: 2016-10-21 07:59:29
|
---|
2![Formal Proofs for Taylor Models in Coq Ioana Paşca LIP, ENS Lyon joint work with Nicolas Brisebarre, Mioara Joldeş, Erik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Laurence Rideau & Laurent Théry Formal Proofs for Taylor Models in Coq Ioana Paşca LIP, ENS Lyon joint work with Nicolas Brisebarre, Mioara Joldeş, Erik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Laurence Rideau & Laurent Théry](https://www.pdfsearch.io/img/43f61cadffbe87a38c005294235337b7.jpg) | Add to Reading ListSource URL: raim2012.u-bourgogne.frLanguage: English - Date: 2012-07-16 09:24:56
|
---|
3![Loslegen mit Contrexx: In 10 Schritten zur professionellen Webseite. Autor: Nicolas Müller Juli 2012 Loslegen mit Contrexx: In 10 Schritten zur professionellen Webseite. Autor: Nicolas Müller Juli 2012](https://www.pdfsearch.io/img/d526945710e9df7999abb23c3f2d6613.jpg) | Add to Reading ListSource URL: www.cloudrexx.comLanguage: German - Date: 2014-08-14 04:20:39
|
---|
4![Finding Error Handling Bugs in OpenSSL using Coccinelle Julia Lawall∗ , Ben Laurie† , Ren´e Rydhof Hansen‡ , Nicolas Palix∗ and Gilles Muller§ ∗ University of Copenhagen, Email: {julia,npalix}@diku.dk † Goo Finding Error Handling Bugs in OpenSSL using Coccinelle Julia Lawall∗ , Ben Laurie† , Ren´e Rydhof Hansen‡ , Nicolas Palix∗ and Gilles Muller§ ∗ University of Copenhagen, Email: {julia,npalix}@diku.dk † Goo](https://www.pdfsearch.io/img/d24891e376dc2c118a84baede70fbdcd.jpg) | Add to Reading ListSource URL: www.diku.dkLanguage: English - Date: 2010-02-20 17:47:51
|
---|
5![Finding Error Handling Bugs in OpenSSL using Coccinelle Julia Lawall∗ , Ben Laurie† , Ren´e Rydhof Hansen‡ , Nicolas Palix∗ and Gilles Muller§ ∗ University of Copenhagen, Email: {julia,npalix}@diku.dk † Goo Finding Error Handling Bugs in OpenSSL using Coccinelle Julia Lawall∗ , Ben Laurie† , Ren´e Rydhof Hansen‡ , Nicolas Palix∗ and Gilles Muller§ ∗ University of Copenhagen, Email: {julia,npalix}@diku.dk † Goo](https://www.pdfsearch.io/img/6f8332c40d65da42191a0d6e89ffa4f8.jpg) | Add to Reading ListSource URL: coccinelle.lip6.frLanguage: English - Date: 2012-01-04 11:08:48
|
---|
6![1 Comparison between binary and decimal floating-point numbers Nicolas Brisebarre, Christoph Lauter, Marc Mezzarobba, and Jean-Michel Muller Abstract—We introduce an algorithm to compare a binary floating-point (FP) n 1 Comparison between binary and decimal floating-point numbers Nicolas Brisebarre, Christoph Lauter, Marc Mezzarobba, and Jean-Michel Muller Abstract—We introduce an algorithm to compare a binary floating-point (FP) n](https://www.pdfsearch.io/img/dca14cceab5769c93a20b139fb5bd004.jpg) | Add to Reading ListSource URL: www.marc.mezzarobba.netLanguage: English - Date: 2015-06-25 08:47:08
|
---|
7![Late Cretaceous to present-day opening of the southwest Pacific constrained by numerical models and seismic tomography Kara J. Matthews1, Maria Seton, Nicolas Flament, R. Dietmar Müller Keywords: back-arc basin, eastern Late Cretaceous to present-day opening of the southwest Pacific constrained by numerical models and seismic tomography Kara J. Matthews1, Maria Seton, Nicolas Flament, R. Dietmar Müller Keywords: back-arc basin, eastern](https://www.pdfsearch.io/img/8fd701b39b76989c71cba0258b33c45b.jpg) | Add to Reading ListSource URL: earthbyte.orgLanguage: English - Date: 2013-02-19 18:50:53
|
---|
8![Finding Error Handling Bugs in OpenSSL using Coccinelle Julia Lawall∗ , Ben Laurie† , Ren´e Rydhof Hansen‡ , Nicolas Palix∗ and Gilles Muller§ ∗ University of Copenhagen, Email: {julia,npalix}@diku.dk † Goo Finding Error Handling Bugs in OpenSSL using Coccinelle Julia Lawall∗ , Ben Laurie† , Ren´e Rydhof Hansen‡ , Nicolas Palix∗ and Gilles Muller§ ∗ University of Copenhagen, Email: {julia,npalix}@diku.dk † Goo](https://www.pdfsearch.io/img/e256aa1eb500d9cf923fa8d2621f4904.jpg) | Add to Reading ListSource URL: pagesperso-systeme.lip6.frLanguage: English - Date: 2011-12-17 11:25:56
|
---|
9![Late Cretaceous to present-day opening of the southwest Pacific constrained by numerical models and seismic tomography Kara J. Matthews1, Maria Seton, Nicolas Flament, R. Dietmar Müller Keywords: back-arc basin, eastern Late Cretaceous to present-day opening of the southwest Pacific constrained by numerical models and seismic tomography Kara J. Matthews1, Maria Seton, Nicolas Flament, R. Dietmar Müller Keywords: back-arc basin, eastern](https://www.pdfsearch.io/img/c77b673e43f941f5ff4d20ac902b14d3.jpg) | Add to Reading ListSource URL: www.earthbyte.orgLanguage: English - Date: 2013-02-19 18:50:53
|
---|
10![Subduction / Orogeny / Slab / Passive margin / Continental crust / Mid-ocean ridge / Mantle / Crust / Mantle plume / Geology / Plate tectonics / Back-arc basin Subduction / Orogeny / Slab / Passive margin / Continental crust / Mid-ocean ridge / Mantle / Crust / Mantle plume / Geology / Plate tectonics / Back-arc basin](/pdf-icon.png) | Add to Reading ListSource URL: www.geosci.usyd.edu.auLanguage: English - Date: 2013-09-18 20:16:14
|
---|