1. Recherche
172 résultats  enregistrer la recherche
...
ensl-01310023v2  Article dans une revue
Sylvie Boldo, Stef Graillat, Jean-Michel Muller. On the robustness of the 2Sum and Fast2Sum algorithms
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2017, 44 (1), <http://dl.acm.org/citation.cfm?id=3054947>
...
ensl-00693317v2  Article dans une revue
Florent De Dinechin, Christoph Lauter, Jean-Michel Muller, Serge Torres. On Ziv's rounding test
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2013, 39 (4), pp.26
inria-00099941v1  Article dans une revue
Fabrice Rouillier, Paul Zimmermann. Efficient isolation of polynomial's real roots
Journal of Computational and Applied Mathematics, Elsevier, 2004, 162 (1), pp.33-50. <10.1016/j.cam.2003.08.015>
hal-00688698v1  Article dans une revue
Julien Sopena, Luciana Arantes, Fabrice Legond-Aubry, Pierre Sens. Building Effective Mutual Exclusion Services for Grids
Journal of Supercomputing, Springer Verlag, 2009, 49 (1), pp.84-107. <10.1007/s11227-008-0235-8>
inria-00099943v1  Article dans une revue
Dongming Wang. A Simple Method for Implicitizing Rational Curves and Surfaces
Journal of Symbolic Computation, Elsevier, 2004, 38 (1), pp.899-914. <10.1016/j.jsc.2004.02.004>
inria-00099277v1  Article dans une revue
Philippe Aubry, Annick Valibouze. Using Galois ideals for computing relative resolvents
Journal of Symbolic Computation, Elsevier, 2000, 30 (6), pp.635--651. <10.1006/jsco.2000.0376>
inria-00100982v1  Article dans une revue
Philippe Aubry, Fabrice Rouillier, Mohab Safey El Din. Real solving for positive dimensional systems
Journal of Symbolic Computation, Elsevier, 2002, 34 (6), pp.543-560. <10.1006/jsco.2002.0563>
...
ensl-01529804v1  Rapport
Catherine Daramy-Loirat, David Defour, Florent De Dinechin, Matthieu Gallet, Nicolas Gast et al.  CR-LIBM A library of correctly rounded elementary functions in double-precision
[Research Report] LIP,. 2006
inria-00099649v1  Communication dans un congrès
Mohab Safey El Din, Eric Schost. Polar varieties and computation of one point in each connected component of a smooth real algebraic set
Sendra, J.R. International Symposium on Symbolic and Algebraic Computation 2003 - ISSAC'2003, Aug 2003, Philadelphie, PA, United States. ACM Press, pp.224-231, 2003, <10.1145/860854.860901>
...
inria-00099789v1  Communication dans un congrès
Laurent Dupont, Daniel Lazard, Sylvain Lazard, Sylvain Petitjean. Near-Optimal Parameterization of the Intersection of Quadrics
19th Symposium on Computational Geometry - SoCG 2003, Jun 2003, San Diego, United States. ACM, pp.246-255, 2003, <10.1145/777792.777830>
...
tel-00931839v1  Thèse
Ndeye Massata Ndiaye. Techniques de gestion des défaillances dans les grilles informatiques tolérantes aux fautes
Autre [cs.OH]. Université Pierre et Marie Curie - Paris VI, 2013. Français
hal-00689410v1  Communication dans un congrès
Zahia Guessoum, Noura Faci. Towards reliable large-scale multi-agent systems
Springer. CEEMAS 2005 : international central and eastern European conference on multi-agent systems, Sep 2005, Budapest, Hungary. Springer, 3690, pp.430-439, 2005, LNCS. <10.1007/11559221_43>
hal-00689430v1  Communication dans un congrès
Zahia Guessoum, Jean-Pierre Briot, Noura Faci. Towards fault-tolerant massively multiagent systems
MMAS 2004 : International workshop on Massively multi-agent systems, Dec 2004, Kyoto, Japan. Springer, 3446, pp.55-69, 2004, Lecture Notes in Computer Science. <10.1007/11512073_5>
hal-00684961v1  Communication dans un congrès
Zahia Guessoum, Noura Faci, Jean-Pierre Briot. Adaptive Replication of Large-Scale Multi-Agent Systems - Towards a Fault-Tolerant Multi-Agent Platform
ACM Electronic Proceedings of the ICSE'05 4th International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS'05), May 2005, Saint Louis, United States. 2005, <10.1145/1082960.1082977>
...
hal-00463574v1  Autre publication
Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier Henri Roux et al.  Covert Channel Synthesis for Transducers
Research report. 2010
hal-01351589v1  Communication dans un congrès
Marc Shapiro. CRDTs in practice
ACM. W. on Large-Scale Distributed Systems and Middleware (LADIS) 2015, Oct 2015, Monterey, United States. W. on Large-Scale Distributed Systems and Middleware (LADIS) 2015, 2015, LADIS 2015. <http://ladisworkshop.org/node/10>
...
hal-01009382v2  Communication dans un congrès
Tiphaine Viard, Matthieu Latapy. Identifying roles in an IP network with temporal and structural density
Sixth IEEE International Workshop on Network Science for Communication Networks (NetSciCom 2014), Apr 2014, Toronto, Canada. IEEE, pp.801-806, 2014, <10.1109/INFCOMW.2014.6849333>
hal-00652505v1  Ouvrage (y compris édition critique et traduction)
Pierre Lévy, Bénédicte Le Grand, François Poulet, Michel Soto, Laszlo Darago et al.  Pixelization Paradigm, First Visual Information Expert Workshop, VIEW'06, Revised Selected Papers
Pierre P.Lévy, Bénédicte Le Grand, François Poulet, Michel Soto, Laszlo Darago, Laurent Toubiana, Jean-François Vibert. Springer, 4370, pp.280, 2007, Lecture Notes in Computer Science
hal-00687573v1  Communication dans un congrès
Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg. libDMC: a library to Operate Efficient Distributed Model Checking
Workshop on Performance Optimization for High-Level Languages and Libraries - associated to IPDPS'2007, Mar 2007, Long Beach, California, United States. Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International, 2007, <10.1109/IPDPS.2007.370647>
...
medihal-01242710v1  Vidéo
Marc Shapiro, Mahsa Najafzadeh. CISE Safety Tool
2015
...
hal-00932758v1  Communication dans un congrès
Masoud Saeida Ardekani, Pierre Sutra, Marc Shapiro. Non-Monotonic Snapshot Isolation: scalable and strong consistency for geo-replicated transactional systems
SRDS 2013 -IEEE 32nd International Symposium on Reliable Distributed Systems, Sep 2013, Braga, Portugal. IEEE Computer Society, pp.163-172, 2013, <10.1109/SRDS.2013.25>
inria-00100674v1  Article dans une revue
Daniel Lazard. Solving systems of algebraic equations
ACM SIGSAM Bulletin, 2001, 35 (3), pp.11-37. <10.1145/569746.569750>
...
hal-01351512v1  Communication dans un congrès
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang et al.  Specification and Complexity of Collaborative Text Editing
ACM. Int. Symp. on Principles of Distributed Computing (PODC) 2016, Jul 2016, Chicago, IL, United States. Int. Symp. on Principles of Distributed Computing (PODC) 2016, PODC 2016, pp.10, 2016, Int. Symp. on Principles of Distributed Computing (PODC) 2016. <http://www.podc.org/podc2016/>. <10.1145/2933057.2933090>
...
tel-01351187v1  Thèse
Mahsa Najafzadeh. The Analysis and Co-design of Weakly-Consistent Applications
Other [cs.OH]. Université Pierre et Marie Curie, 2016. English

Contact


archive-ouverte@inria.fr