<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-10-12 10:23:04Pierre and Marie Curie University French National Centre for Scientific Research Paris-Sud 11 University Computer ethics University of Paris France LIP6 |
| Stochastic arithmetic in multiprecision Stef Graillat Joint work with Fabienne Jézéquel and Yuxiang Zhu LIP6/PEQUAN - Université Pierre et Marie Curie (Paris 6) - CNRS NSV3, Third International Workshop on NumericalDocID: 1xVHL - View Document |
| Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables Alexandre Chapoutot LIP6 - Universit´e Pierre et Marie Curie 4, place Jussieur FParis Cedex 05 FranceDocID: 1xVDW - View Document |
| PDF DocumentDocID: 1xMK4 - View Document |
| PDF DocumentDocID: 1xLEC - View Document |
| PDF DocumentDocID: 1xLuE - View Document |