Nathalie Revol

41 papers C 1Misc 2Journal 22Unranked 10

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance. Concurr. Comput. Pract. Exp. Luis Benet, Luca Ferranti, Nathalie Revol
2023	J	`jnl`	A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance. CoRR Luis Benet, Luca Ferranti, Nathalie Revol
2023	J	`jnl`	About the "accurate mode" of the IEEE 1788-2015 standard for interval arithmetic. CoRR Nathalie Revol
2023	J	`jnl`	Affine Iterations and Wrapping Effect: Various Approaches. Acta Cybern. Nathalie Revol
2022	J	`jnl`	Affine Iterations and Wrapping Effect: Various Approaches. CoRR Nathalie Revol
2022	—	`conf`	Testing Interval Arithmetic Libraries, Including Their IEEE-1788 Compliance. PPAM (2) Nathalie Revol, Luis Benet, Luca Ferranti, Sergei I. Zhilin
2022	J	`jnl`	Testing interval arithmetic libraries, including their IEEE-1788 compliance. CoRR Nathalie Revol, Luis Benet, Luca Ferranti, Sergei I. Zhilin
2018	—	`book`	Handbook of Floating-Point Arithmetic (2nd Ed.). Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Serge Torres
2017	—	`conf`	Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic. NSV@CAV Nathalie Revol
2017	J	`jnl`	Introduction to the Special Issue on Computer Arithmetic. IEEE Trans. Computers Javier Hormigo, Jean-Michel Muller, Stuart F. Oberman, Nathalie Revol, Arnaud Tisserand, Julio Villalba-Moreno
2016	C	`ed.`	23nd IEEE Symposium on Computer Arithmetic, ARITH 2016, Silicon Valley, CA, USA, July 10-13, 2016 ARITH Paolo Montuschi, Michael J. Schulte, Javier Hormigo, Stuart F. Oberman, Nathalie Revol
2014	J	`jnl`	Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms. IEEE Trans. Computers Nathalie Revol, Philippe Théveny
2013	J	`jnl`	Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms. CoRR Nathalie Revol, Philippe Théveny
2013	J	`jnl`	Parallel Implementation of Interval Matrix Multiplication. Reliab. Comput. Nathalie Revol, Philippe Théveny
2012	J	`jnl`	Editorial. Computing Nathalie Revol, Götz Alefeld
2011	J	`jnl`	A Validated Real Function Calculus. Math. Comput. Sci. Pieter Collins, Milad Niqui, Nathalie Revol
2011	—	`conf`	Refining and verifying the solution of a linear system. SNC Hong Diep Nguyen, Nathalie Revol
2011	J	`jnl`	Solving and Certifying the Solution of a Linear System. Reliab. Comput. Hong Diep Nguyen, Nathalie Revol
2010	—	`book`	Handbook of Floating-Point Arithmetic. Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres
2010	—	`conf`	High performance linear algebra using interval arithmetic. PASCO Hong Diep Nguyen, Nathalie Revol
2010	J	`jnl`	LEMA: towards a language for reliable arithmetic. ACM Commun. Comput. Algebra Vincent Lefèvre, Philippe Théveny, Florent de Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron, David Pfannholzer, Nathalie Revol
2010	—	`conf`	Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries. ICMS Nathalie Revol
2008	—	`ch.`	Digital Arithmetic. Wiley Encyclopedia of Computer Science and Engineering Florent de Dinechin, Milos D. Ercegovac, Jean-Michel Muller, Nathalie Revol
2008	—	`conf`	Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021. Numerical Validation in Current Hardware Architectures R. Baker Kearfott, John D. Pryce, Nathalie Revol
2008	—	`ed.`	Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers Reliable Implementation of Real Number Algorithms Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol
2006	—	`conf`	06021 Abstracts Collection -- Reliable Implementation of Real Number Algorithms: Theory and Practice. Reliable Implementation of Real Number Algorithms Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol
2006	—	`conf`	06021 Summary -- Reliable Implementation of Real Number Algorithms: Theory and Practice. Reliable Implementation of Real Number Algorithms Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol
2006	J	`jnl`	Preface. Theor. Comput. Sci. Marc Daumas, Nathalie Revol
2006	—	`ed.`	Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006 Reliable Implementation of Real Number Algorithms Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol
2005	J	`jnl`	A New Range-Reduction Algorithm. IEEE Trans. Computers Nicolas Brisebarre, David Defour, Peter Kornerup, Jean-Michel Muller, Nathalie Revol
2005	J	`jnl`	Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library. Reliab. Comput. Nathalie Revol, Fabrice Rouillier
2005	J	`jnl`	Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY. J. Log. Algebraic Methods Program. Nathalie Revol, Kyoko Makino, Martin Berz
2004	J	`jnl`	Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic. Numer. Algorithms David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, Paul Zimmermann
2003	J	`jnl`	Interval Newton Iteration in Multiple Precision for the Univariate Case. Numer. Algorithms Nathalie Revol
2003	—	`conf`	Multiple Precision Interval Packages: Comparing Different Approaches. Numerical Software with Result Verification Markus Grimmer, Knut Petras, Nathalie Revol
2001	Misc	`conf`	A Methodology of Parallelization for Continuous Verified Global Optimization. PPAM Nathalie Revol, Yves Denneulin, Jean-François Méhaut, Benoît Planquelle
2000	J	`jnl`	Accelerated Shift-and-Add Algorithms. Reliab. Comput. Nathalie Revol, Jean-Claude Yakoubsohn
1999	Misc	`conf`	MC-PM PDPTA Benoît Planquelle, Jean-François Méhaut, Nathalie Revol
1999	—	`conf`	Multi-protocol Communications and High Speed Networks. Euro-Par Benoît Planquelle, Jean-François Méhaut, Nathalie Revol
1996	J	`jnl`	Parallel Evaluation of Arithmetic Circuits. Theor. Comput. Sci. Nathalie Revol, Jean-Louis Roch
1994	—	`—`	Complexite de l'evaluation parallele des circuits arithmetiques. (Complexity of the parallel evaluation of arithmetic circuits). Nathalie Revol