172 résultats  enregistrer la recherche


...
ensl-01310023v2  Article dans une revue
Sylvie BoldoStef GraillatJean-Michel MullerOn 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 DinechinChristoph LauterJean-Michel MullerSerge TorresOn 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 RouillierPaul ZimmermannEfficient 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 SopenaLuciana ArantesFabrice Legond-AubryPierre SensBuilding 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 WangA 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 AubryAnnick ValibouzeUsing 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 AubryFabrice RouillierMohab Safey El DinReal solving for positive dimensional systems
Journal of Symbolic Computation, Elsevier, 2002, 34 (6), pp.543-560. <10.1006/jsco.2002.0563>
inria-00099649v1  Communication dans un congrès
Mohab Safey El DinEric SchostPolar 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 DupontDaniel LazardSylvain LazardSylvain PetitjeanNear-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 NdiayeTechniques 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 GuessoumNoura FaciTowards 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 GuessoumJean-Pierre BriotNoura FaciTowards 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 GuessoumNoura FaciJean-Pierre BriotAdaptive 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-01351589v1  Communication dans un congrès
Marc ShapiroCRDTs 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 ViardMatthieu LatapyIdentifying 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évyBénédicte Le GrandFrançois PouletMichel SotoLaszlo 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 HamezFabrice KordonYann Thierry-MieglibDMC: 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>
...
hal-00932758v1  Communication dans un congrès
Masoud Saeida ArdekaniPierre SutraMarc ShapiroNon-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 LazardSolving 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 AttiyaSebastian BurckhardtAlexey GotsmanAdam MorrisonHongseok 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 NajafzadehThe Analysis and Co-design of Weakly-Consistent Applications
Other [cs.OH]. Université Pierre et Marie Curie, 2016. English