268 results  save search

hal-00733916v1  Conference papers
Gilles TrombettoniIgnacio ArayaBertrand NeveuGilles Chabert. IbexOpt : un module d'optimisation globale sous contraintes fiable
13e congrès annuel de la Société française de Recherche Opérationnelle et d'Aide à la Décision, Apr 2012, Angers, France. 2p
hal-01298206v2  Conference papers
Caroline CollangeMioara JoldesJean-Michel MullerValentina Popescu. Parallel floating-point expansions for extended-precision GPU computations
The 27th Annual IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP), Jul 2016, London, United Kingdom
hal-00684943v1  Journal articles
Raphaël BolzeFranck CappelloEddy CaronMichel DaydeFrédéric Desprez et al.  Grid'5000: A Large Scale And Highly Reconfigurable Experimental Grid Testbed
International Journal of High Performance Computing Applications, SAGE Publications, 2006, 20 (4), pp.481-494. ⟨10.1177/1094342006070078⟩
hal-00653367v1  Conference papers
Ricardo Bedin FrançaSandrine BlazyDenis Favre-FelixXavier LeroyMarc Pantel et al.  Formally verified optimizing compilation in ACG-based flight control software
ERTS2 2012: Embedded Real Time Software and Systems, AAAF, SEE, Feb 2012, Toulouse, France
hal-00743270v2  Conference papers
Srinivas PinisettyYliès FalconeThierry JéronHervé MarchandAntoine Rollet et al.  Runtime Enforcement of Timed Properties
3rd International Conference on Runtime Verification, Sep 2012, Istanbul, Turkey. pp.229-244, ⟨10.1007/978-3-642-35632-2_23⟩
hal-00953888v1  Conference papers
Philippe JolyJenny Benois-PineauEwa KijakGeorges Quénot. The ARGOS campaign: Evaluation of Video Analysis Tools
Fifth International Workshop on Content-Based Multimedia Indexing (CBMI'07), 2007, Bordeaux, France. ⟨10.1109/CBMI.2007.385402⟩
inria-00504667v1  Conference papers
Xavier CrégutBenoit CombemaleMarc PantelRaphaël FaudouxJonatas Pavei. Generative technologies for model animation in the TopCased platform
6th European Conference on Modelling Foundations and Applications (ECMFA 2010), 2010, Paris, France, South Africa. pp.90--103
hal-01000314v1  Conference papers
Laurent MicletNelly BarbotHenri Prade. From analogical proportions in lattices to proportional analogies in formal concepts
ECAI - 21th European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic
hal-00908005v1  Conference papers
Nelly BarbotLaurent MicletHenri Prade. Analogical proportions and the factorization of information in distributive lattices
10th International Conference on Concept Lattices and Their Applications (CLA), Oct 2013, La Rochelle, France
hal-00908020v1  Conference papers
Nelly BarbotLaurent MicletHenri Prade. Proportions analogiques et factorisation de l'information dans les treillis distributifs
Journées d'Intelligence Artificielle Fondamentale (JIAF), Jun 2013, Aix en Provence, France
hal-00770563v1  Book sections
Andreas HerzigPhilippe Besnard. Représentation des connaissances : modalités, conditionnels et raisonnement non monotone
Pierre Marquis and Odile Papini and Henri Prade. Panorama de l'intelligence artificielle Ses bases méthodologiques, ses développements, 2, Cépaduès, 2013
hal-00871750v1  Conference papers
Nina NarodytskaThierry PetitMohamed SialaToby Walsh. Three Generalizations of the FOCUS Constraint
23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Aug 2013, Beijing, China. p.630 ; ISBN 978-1-57735-633-2
hal-01258358v1  Conference papers
Benoit CombemaleCédric BrunJoël ChampeauXavier CrégutJulien Deantoni et al.  A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016, Toulouse, France
inria-00434346v1  Journal articles
Yuhong YanPhilippe DagueYannick PencoléMarie-Odile Cordier. A Model-based Approach for Diagnosing Faults in Web Service Processes
International Journal of Web Services Research JWSR, Idea Group Publishing, 2009
hal-00926244v1  Conference papers
Benoit CombemaleJulien DeantoniRobert FranceFrédéric BoulangerSébastien Mosser et al.  Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013)
GEMOC+AMINO@MoDELS: GEMOC - 1st International Workshop On the Globalization of Modeling Languages (2013), Sep 2013, Miami, United States. pp.3-13
hal-01375576v1  Conference papers
Angeliki KritikakouThibaut MartyClaire PagettiChristine RochangeMichaël Lauer et al.  Multiplexing Adaptive with Classic AUTOSAR? Adaptive Software Control to Increase Resource Utilization in Mixed-Critical Systems
Workshop CARS 2016 - Critical Automotive applications : Robustness & Safety, Sep 2016, Göteborg, Sweden
hal-00739332v1  Conference papers
Benoit CombemaleXavier CrégutMarc Pantel. A Design Pattern to Build Executable DSMLs and associated V&V tools
The 19th Asia-Pacific Software Engineering Conference (APSEC 2012), Dec 2012, Hong Kong, Hong Kong SAR China
hal-00642532v1  Conference papers
Yousri KoukiThomas LedouxRémi Sharrock. Cross-layer SLA selection for Cloud services
IEEE International Symposium on Network Cloud Computing and Applications, NCCA 2011, Nov 2011, Toulouse, France. pp.143-147
hal-01196819v1  Book sections
Alfonso Gazo CerveroMichele ChincoliLars DittmannAndreas FischerAlberto E. Garcia et al.  Green Wired Networks
Large-Scale Distributed Systems and Energy Efficiency, Wiley, pp.41-80, 2015, 9781118864630. ⟨10.1002/9781118981122.ch3⟩