 |
 |
|
|
||
|---|---|---|
|
hal-00600087v1
Communication dans un congrès
David Monniaux, Laure Gonnord. Using Bounded Model Checking to Focus Fixpoint Iterations Eran Yahav. Static analysis symposium (SAS), Sep 2011, Venezia, Italy. Springer, 6887, pp.369-385, 2011, Lecture notes in Computer Science. <10.1007/978-3-642-23702-7_27> |
||
|
hal-00823266v1
Communication dans un congrès
Xavier Le Pallec, Sophie Dupuy-Chessa. Support for quality metrics in metamodelling GMLD (Graphical Modeling Language Definition) Workshop @ ECFMA 2013, Jul 2013, Montpellier, France. 2013 |
||
|
hal-00823076v1
Communication dans un congrès
Xavier Le Pallec, Sophie Dupuy-Chessa. Intégration de métriques de qualité des modèles et des méta-modèles dans l'outil ModX Inforsid 2011, May 2011, Lille, France. 2011 |
||
|
hal-01376948v1
Communication dans un congrès
Christophe Servan, Alexandre Bérard, Zied Elloumi, Hervé Blanchon, Laurent Besacier. Word2Vec vs DBnary: Augmenting METEOR using Vector Representations or Lexical Resources? COLING 2016, Dec 2016, Osaka, Japan. 26th International Conference on Computational Linguistics (COLING 2016), 2016 |
||
|
hal-00179000v1
Ouvrage (y compris édition critique et traduction)
S. Meftali, F. Rousseau, F. Gharsalli, A. A. Jerraya. Automatic code-transformations, and architecture rafinement for application-specific multiprocessor Kluwer Academic Publishers, pp.193-204, 2002 |
||
|
hal-00681539v1
Chapitre d'ouvrage
François Faure, Christian Duriez, Hervé Delingette, Jérémie Allard, Benjamin Gilles et al. SOFA: A Multi-Model Framework for Interactive Physical Simulation Yohan Payan. Soft Tissue Biomechanical Modeling for Computer Assisted Surgery, 11, Springer, pp.283-321, 2012, Studies in Mechanobiology, Tissue Engineering and Biomaterials, 978-3-642-29013-8. <10.1007/8415_2012_125> |
||
|
inria-00424936v1
Rapport
Gilles Fedak, Jean-Patrick Gelas, Thomas Hérault, Victor Iniesta, Derrick Kondo et al. DSL-Lab: a Platform to Experiment on Domestic Broadband Internet [Research Report] RR-7024, INRIA. 2009 |
||
|
hal-00847635v1
Communication dans un congrès
Sheng Di, Yves Robert, Frédéric Vivien, Derrick Kondo, Cho-Li Wang et al. Optimization of Cloud Task Processing with Checkpoint-Restart Mechanism SC13 - Supercomputing - 2013, Nov 2013, Denver, United States. ACM, 2013, <10.1145/2503210.2503217> |
||
|
hal-00731947v1
Communication dans un congrès
Philippe Mathieu, Marie-Hélène Verrons. Three different kinds of negotiation applications achieved with GeNCA Proceedings of the International Conference on Advances in Intelligent Systems - Theory and Applications in cooperation with the IEEE Computer Society (AISTA'2004), 2004, Centre de Recherche Public Henri Tudor, Luxembourg-Kirchberg, Luxembourg, France. 2004 |
||
|
inria-00319416v1
Communication dans un congrès
Jérémie Allard, Stéphane Cotin, François Faure, Pierre-Jean Bensoussan, François Poyer et al. SOFA - an Open Source Framework for Medical Simulation MMVR 15 - Medicine Meets Virtual Reality, Feb 2007, Palm Beach, United States. IOP Press, 125, pp.13-18, 2007, Studies in Health Technology and Informatics |
||
|
inria-00516153v1
Communication dans un congrès
Jérémie Allard, Menier Clément, Bruno Raffin, Edmond Boyer, François Faure. Grimage: markerless 3D interactions Kathy Ryall and John Sibert. ACM SIGGRAPH 2007 emerging technologies, Aug 2007, San Diego, California, United States. ACM, pp.Article No. 9, 2007, <10.1145/1278280.1278290> |
||
|
inria-00319407v2
Communication dans un congrès
François Faure, Jérémie Allard, Stéphane Cotin, Paul Neumann, Pierre-Jean Bensoussan et al. SOFA: A modular yet efficient simulation framework Philippe Merloz and Jocelyne Troccaz. Surgetica 2007 - Computer-Aided Medical Interventions: tools and applications, Sep 2007, Chambéry, France. pp.101-108, 2007, Surgetica 2007, Gestes médicaux chirurgicaux assistés par ordinateur |
||
|
inria-00502448v1
Communication dans un congrès
Everton Hermann, Bruno Raffin, François Faure, Thierry Gautier, Jérémie Allard. Multi-GPU and Multi-CPU Parallelization for Interactive Physics Simulations Pasqua D'Ambra and Mario Rosario Guarracino and Domenico Talia. Europar 2010 - 16th International Euro-Par Conference on Parallel Processing, Aug 2010, Ischia-Naples, Italy. Springer, 6272, pp.235-246, 2010, Lecture Notes in Computer Science; Euro-Par 2010 - Parallel Processing. <10.1007/978-3-642-15291-7_23> |
||
|
inria-00293909v2
Rapport
Abdoulaye Gamatié, Eric Rutten, Huafeng Yu. A Model for the Mixed-Design of Data-Intensive and Control-Oriented Embedded Systems [Research Report] RR-6589, INRIA. 2008, pp.26 |
||
|
hal-00953402v1
Ouvrage (y compris édition critique et traduction)
Eric Cariou, Laurence Duchien, Yves Ledru. Actes des deuxièmes journées nationales du GDR CNRS Génie de la Programmation et du Logiciel Cariou, Eric and Duchien, Laurence and Ledru, Yves. Université de Pau et des Pays de l'Adour, 2010 |
||
|
hal-00953340v1
Communication dans un congrès
Xavier Le Pallec, Sophie Dupuy-Chessa. Intégration de métriques de qualité des diagrammes et des langages dans l'outil ModX Conférence en IngénieriE du Logiciel (CIEL), 2012, Rennes, France. pp.1-6, 2012 |
||
|
inria-00502888v1
Communication dans un congrès
Gilles Fedak, Jean-Patrick Gelas, Thomas Hérault, Victor Iniesta, Derrick Kondo et al. DSL-Lab: a Low-power Lightweight Platform to Experiment on Domestic Broadband Internet 9th International Symposium on Parallel and Distributed Computing (ISPDC'2010), Jul 2010, Istanbul, Turkey. 2010 |
||
|
inria-00394469v2
Communication dans un congrès
Cécile Picard, Nicolas Tsingos, François Faure. Retargetting Example Sounds to Interactive Physics-Driven Animations AES 35th International Conference, Audio in Games, Feb 2009, London, United Kingdom. Audio Engineering Society, pp.Article 25, 2009, <http://www.aes.org/e-lib/browse.cfm?elib=15179> |
||
|
inria-00436467v3
Article dans une revue
Benjamin Petit, Jean-Denis Lesage, Clément Menier, Jérémie Allard, Jean-Sébastien Franco et al. Multicamera Real-Time 3D Modeling for Telepresence and Remote Collaboration International journal of digital multimedia broadcasting, Hindawi, 2010, Advances in 3DTV: Theory and Practice, 2010, Article ID 247108, 12 p. <10.1155/2010/247108> |
||
|
hal-00688474v1
Article dans une revue
Jérémie Allard, Jean-Denis Lesage, Bruno Raffin. Modularity for Large Virtual Reality Applications Presence: Teleoperators and Virtual Environments, Massachusetts Institute of Technology Press (MIT Press), 2010, 19 (2), pp.142-161. <10.1162/pres.19.2.142> |
||
|
hal-01002994v1
Communication dans un congrès
Sophie Dupuy-Chessa, Benoit Combemale, Marie-Pierre Gervais, Thierry Nodenot, Xavier Le Pallec et al. Vers une approche centrée humain pour la définition de langages de modélisation graphiques 32ème congrès Inforsid'2014, May 2014, Lyon, France. pp.79-94, 2014 |
||
|
hal-00860809v1
Direction d'ouvrage, Proceedings
Yves Ledru, Anne-Françoise Le Meur, Olivier Caron. Actes des troisièmes journées nationales du GDR CNRS Génie de la Programmation et du Logiciel Ledru, Yves and Le Meur, Anne-Françoise and Caron, Olivier. Université de Lille, pp.230, 2011 |
||
|
inria-00360305v1
Rapport
Stéphane Devismes, Franck Petit, Sébastien Tixeuil. Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots [Research Report] RR-6838, INRIA. 2009, pp.29 |
||
|
inria-00340805v1
Rapport
Stéphane Devismes, Toshimitsu Masuzawa, Sébastien Tixeuil. Communication Efficiency in Self-stabilizing Silent Protocols [Research Report] RR-6731, INRIA. 2008, pp.33 |
||
|
hal-00823276v1
Communication dans un congrès
David Bihanic, Max Chevalier, Sophie Dupuy-Chessa, Thierry Morineau, Thomas Polacsek et al. Modélisation graphique des SI : Du traitement visuel de modèles complexes Inforsid 2013, May 2013, Paris, France. 2013 |
||
|
inria-00512764v1
Direction d'ouvrage, Proceedings
Eric Cariou, Laurence Duchien, Yves Ledru. Actes des deuxièmes journées nationales du Groupement de Recherche CNRS du Génie de la Programmation et du Logiciel Université de Pau. Université de Pau et des Pays de l'Adour, pp.230, 2010 |
||
|
inria-00512854v1
Communication dans un congrès
Amine Bourki, Guillaume Chaslot, Matthieu Coulm, Vincent Danjean, Hassen Doghmen et al. Scalability and Parallelization of Monte-Carlo Tree Search The International Conference on Computers and Games 2010, Sep 2010, Kanazawa, Japan. 2010 |
||
|
hal-00813675v2
Article dans une revue
Annie Authosserre-Cavarero, Frédéric Bertrand, Mireille Blay-Fornarino, Philippe Collet, Hubert Dubois et al. Ingénierie dirigée par les modèles : quels supports à l'interopérabilité des systèmes d'information ? Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2013 |
||
|
hal-00731966v1
Communication dans un congrès
Philippe Mathieu, Marie-Hélène Verrons. A generic model for contract negotiation Proceedings of the Artificial Intelligence and the Simulation of Behaviour symposium on Intelligent Agents in Virtual Markets (AISB'02), 2002, undef, France. pp.1--8, 2002 |
||
|
hal-00732051v1
Communication dans un congrès
Philippe Mathieu, Marie-Hélène Verrons. A Generic Negotiation Model for MAS using XML Proceedings of the IEEE International Conference on Systems, Man and Cybernetics workshop on Agent-based Systems for Autonomous Processing (ABA@SMC2003), 2003, undef, France. IEEE Press, pp.4262--4267, 2003 |
||
|
|
||
