Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

260 résultats
Page :
triés par

Interval matrix multiplication on parallel architectures

 Philippe Théveny , Nathalie Revol
SCAN 2012: 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Sep 2012, Novosibirsk, Russia
Communication dans un congrès hal-00750022v1

Practical polynomial factoring in polynomial time.

 William Hart , Mark Van Hoeij , Andrew Novocin
Proceedings of ISSAC 2011, 2011, United States. pp.163-170
Communication dans un congrès hal-00650391v1

Faster Fully Homomorphic Encryption

 Damien Stehlé , Ron Steinfeld
Proceedings of ASIACRYPT 2010, 2010, Singapore. pp.377--394
Communication dans un congrès hal-00640633v1
Image document

Worst Cases of a Periodic Function for Large Arguments

 Guillaume Hanrot , Vincent Lefèvre , Damien Stehlé , Paul Zimmermann
18th IEEE Symposium in Computer Arithmetic, Jun 2007, Montpellier, France. pp.133-140, ⟨10.1109/ARITH.2007.37⟩
Communication dans un congrès inria-00126474v2
Image document

A proposal for the C++ standard : Bool_set, multi-valued logic

 Sylvain Pion , Guillaume Melquiond , Hervé Brönnimann
[Research Report] RR-5967, INRIA. 2006, pp.22
Rapport inria-00089230v2
Image document

Improved Analysis of Kannan's Shortest Lattice Vector Algorithm

 Guillaume Hanrot , Damien Stehlé
Advances in Cryptology - Crypto'07, Aug 2007, Santa Barbara, United States. pp.170-186, ⟨10.1007/978-3-540-74143-5_10⟩
Communication dans un congrès inria-00145049v2
Image document

A Taylor Function Calculus for Hybrid System Analysis: Validation in Coq

 Pieter Collins , Milad Niqui , Nathalie Revol
NSV-3: Third International Workshop on Numerical Software Verification., Fainekos, Georgios and Goubault, Eric and Putot, Sylvie, Jul 2010, Edinburgh, United Kingdom
Communication dans un congrès inria-00473270v1
Image document

Fonctions élémentaires : algorithmes et implémentations efficaces pour l'arrondi correct en double précision

 David Defour
Modélisation et simulation. Ecole normale supérieure de lyon - ENS LYON, 2003. Français. ⟨NNT : ⟩
Thèse tel-00006022v1
Image document

From Rounding Error Estimation to Automatic Correction with Automatic Differentiation

 Philippe Langlois
RR-3967, INRIA. 2000
Rapport inria-00072681v1
Image document

Additive Symmetric: the Non-Negative Case

 Marc Daumas , Philippe Langlois
Theoretical Computer Science, 2003, 291 (2), pp.143-157. ⟨10.1016/S0304-3975(02)00223-2⟩
Article dans une revue inria-00072516v1
Image document

A 128-Tap Complex FIR Filter Processing 20 Giga-Samples/s in a Single FPGA

 Florent de Dinechin , Honoré Takeugming , Jean-Marc Tanguy
44th Conference on signals, systems and computers, United States
Communication dans un congrès ensl-00542950v1
Image document

Computing specified generators of structured matrix inverses

 Claude-Pierre Jeannerod , Christophe Mouilleron
35th International Symposium on Symbolic and Algebraic Computation (ISSAC 2010), Jul 2010, Münich, Germany. ⟨10.1145/1837934.1837988⟩
Communication dans un congrès ensl-00450272v1

Rigorous and efficient short lattice vectors enumeration

 Xavier Pujol , Damien Stehlé
Asiacrypt 2008, 2008, Australia. pp.390-405
Communication dans un congrès hal-00550983v1
Image document

On the computation of correctly-rounded sums

 Peter Kornerup , Vincent Lefèvre , Nicolas Louvet , Jean-Michel Muller
IEEE Transactions on Computers, 2012, 61 (3), p. 289-298. ⟨10.1109/TC.2011.27⟩
Article dans une revue ensl-00331519v2
Image document

Fonctions élémentaires en virgule flottante pour les accélérateurs reconfigurables

 Jérémie Detrey , Florent de Dinechin
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2008, Architecture des Ordinateurs, 27 (6), pp.673-698. ⟨10.3166/tsi.27.673-698⟩
Article dans une revue inria-00424001v1
Image document

Accelerating Correctly Rounded Floating-PointDivision when the Divisor is Known in Advance

 Jean-Michel Muller , Nicolas Brisebarre , Saurabh Raina
IEEE Transactions on Computers, 2004, 53 (8), pp.1069- 1072. ⟨10.1109/TC.2004.37⟩
Article dans une revue ensl-00087465v1
Image document

Division by Constant for the ST100 DSP Microprocessor

 Jean-Michel Muller , Arnaud Tisserand , Benoît de Dinechin , Christophe Monat
[Research Report] RR-5340, LIP RR-2004-45, INRIA, LIP. 2004, pp.14
Rapport inria-00070661v1
Image document

Multiplication Algorithms for Radix-$2$ RN-Codings and Two's Complement Numbers

 Jean-Luc Beuchat , Jean-Michel Muller
[Research Report] RR-5511, LIP RR-2005-05, INRIA, LIP. 2005, pp.13
Rapport inria-00070495v1
Image document

Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021

 R. Baker Kearfott , John D. Pryce , Nathalie Revol
Dagstuhl Seminar 08021: Numerical Validation in Current Hardware Architectures, Cuyt, Annie and Krämer, Walter and Luther, Wolfram and Markstein, Peter, Jan 2008, Dagstuhl, Germany. pp.1-6, ⟨10.1007/978-3-642-01591-5_1⟩
Communication dans un congrès inria-00545059v1

Efficient Public-Key Encryption Based on Ideal Lattices (Extended Abstract)

 Damien Stehlé , Ron Steinfeld , Keisuke Tanaka , Keita Xagawa
Asiacrypt 2009, 2009, Japan. pp.617-635
Communication dans un congrès hal-00550978v1
Image document

Worst-Case Hermite-Korkine-Zolotarev Reduced Lattice Bases

 Guillaume Hanrot , Damien Stehlé
[Research Report] RR-6422, INRIA. 2008, pp.25
Rapport inria-00211875v2

Accelerated Shift-and-Add algorithms

 Nathalie Revol , Jean-Claude Yakoubsohn
Reliable Computing, 2000, 6 (2), pp.193-205. ⟨10.1023/A:1009921407000⟩
Article dans une revue inria-00545004v1
Image document

Accelerating lattice reduction with FPGAs

 Jérémie Detrey , Guillaume Hanrot , Xavier Pujol , Damien Stehlé
First International Conference on Cryptology and Information Security in Latin America (LATINCRYPT'10), Aug 2010, Puebla, Mexico. pp.124-143, ⟨10.1007/978-3-642-14712-8_8⟩
Communication dans un congrès inria-00539929v1

Bringing fast floating-point arithmetic into embedded integer processors

 Christian Bertin , Claude-Pierre Jeannerod , Christophe Monat
HiPEAC Info, 2010, 22, pp.11-12
Article dans une revue ensl-00551245v1
Image document

Optimizing correctly-rounded reciprocal square roots for embedded VLIW cores

 Claude-Pierre Jeannerod , Guillaume Revy
Asilomar Conference on Signals, Systems, and Computers, Nov 2009, United States
Communication dans un congrès ensl-00391185v2
Image document

Small Multiplier-based Multiplication and Division Operators for Virtex-II Devices

 Jean-Luc Beuchat , Arnaud Tisserand
[Research Report] RR-4494, INRIA. 2002
Rapport inria-00072094v1
Image document

Evaluation de polynômes et de fractions rationnelles sur FPGA avec des opérateurs à additions et décalages en grande base

 Romain Michard , Arnaud Tisserand , Nicolas Veyrat-Charvillon
[Rapport de recherche] RR-5437, LIP RR-2004-62, INRIA, LIP. 2004, pp.15
Rapport inria-00070570v1
Image document

A correctly rounded implementationof the exponential function on the Intel Itanium architecture

 Christoph Quirin Lauter
[Research Report] RR-5024, LIP RR 2003-54, INRIA, LIP. 2003
Rapport inria-00071560v1
Image document

Fast and correctly rounded logarithms in double-precision

 Florent de Dinechin , Christoph Lauter , Jean-Michel Muller
[Research Report] RR-5682, LIP RR-2005-37, INRIA, LIP. 2005, pp.15
Rapport inria-00070331v1

Digital Arithmetic

 Florent de Dinechin , Milos Ercegovac , Jean-Michel Muller , Nathalie Revol
Benjamin Wah. Wiley Encyclopedia of Computer Science and Engineering, Wiley, pp.935-948, 2009
Chapitre d'ouvrage ensl-00542215v1
Page :