Skip to Main content Skip to Navigation

tel-01880572v1  Theses
Frédéric Dumont. Analyses et préconisations pour les centres de données virtualisés
Calcul parallèle, distribué et partagé [cs.DC]. Ecole des Mines de Nantes, 2016. Français. ⟨NNT : 2016EMNA0249⟩
hal-01094214v1  Conference papers
Valerio CosentinoMassimo TisiJavier Luis Cánovas Izquierdo. A Model-Driven Approach to Generate External DSLs from Object-Oriented APIs
41st International Conference on Current Trends in Theory and Practice of Computer Science, Jan 2015, Pec pod Sněžkou, Czech Republic. pp.423-435
hal-00670378v1  Conference papers
Akram AjouliJulien CohenRémi Douence. Program Transformation based Views for Modular Maintenance
Troisièmes journées nationales du GDR GPL, Jun 2011, Lille, France. pp.218-219
inria-00592132v3  Conference papers
Nicolas Tabareau. A Monadic Interpretation of Execution Levels and Exceptions for AOP
Modularity: AOSD'12, Mar 2012, Postdam, Germany
hal-01084256v1  Conference papers
Alban DerrienThierry PetitStéphane Zampelli. A Declarative Paradigm for Robust Cumulative Scheduling
CP 2014, Principles and Practice of Constraint Programming, 20th International Conference, Sep 2014, Lyon, France. pp.298-306
hal-01088964v1  Conference papers
Jean-Guillaume FagesXavier LorcaThierry Petit. Self-decomposable Global Constraints
ECAI 2014, 21st International Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.297-302, ⟨10.3233/978-1-61499-419-0-297⟩
hal-00644787v1  Conference papers
Xavier LorcaJean-Guillaume Fages. Revisiting the tree Constraint
Principles and Practice of Constraint Programming, 2011, Perugia, Italy. pp.271-285, ⟨10.1007/978-3-642-23786-7_22⟩
hal-00646089v1  Conference papers
Wilkerson L. AndradePatricia D. L. MachadoThierry JéronHervé Marchand. Abstracting Time and Data for Conformance Testing of Real-Time Systems
7th Workshop on Advances in Model Based Testing A-MOST 2011, Mar 2011, Berlin, Germany
hal-00656091v1  Conference papers
Jean-Marc MenaudRémy Pottier. btrScript : a safe management system for virtualized data center
ICAS 2012 - The Eighth International Conference on Autonomic and Autonomous Systems, Mar 2012, St. Maarten, Netherlands
hal-01436047v1  Conference papers
Gwendal DanielGerson SunyéAmine BenelallamMassimo TisiYoann Vernageau et al.  NeoEMF: a Multi-database Model Persistence Framework for Very Large Models
Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Oct 2016, Saint-Malo, France
hal-01437577v1  Conference papers
Gwendal Daniel. Efficient Persistence and Query Techniques for Very Large Models
ACM Student Research Competition (MoDELS'16), Oct 2016, Saint-Malo, France
hal-01084436v1  Conference papers
Alban DerrienThierry Petit. A New Characterization of Relevant Intervals for Energetic Reasoning
Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. pp.289 - 297, ⟨10.1007/978-3-319-10428-7_22⟩
hal-00662777v1  Conference papers
Julien CohenRémi DouenceAkram Ajouli. Invertible Program Restructurings for Continuing Modular Maintenance
16th European Conference on Software Maintenance and Reengineering (CSMR 2012), Mar 2012, Szeged, Hungary. pp.347-352, ⟨10.1109/CSMR.2012.42⟩
tel-03087274v2  Theses
Léo Maczyta. Dynamic visual saliency in image sequences
Signal and Image processing. Université Rennes 1, 2020. English. ⟨NNT : 2020REN1S046⟩
tel-00464475v1  Theses
Networking and Internet Architecture [cs.NI]. Université de Nantes, 2008. English
hal-01234179v1  Conference papers
Anicet BartCharlotte TruchetEric Monfroy. Contraintes sur des flux appliquées a la vérification de programmes audio
Onzièmes Journées Francophones de Programmation par Contraintes, Jun 2016, Bordeaux, France
hal-00620062v2  Conference papers
Christophe Morvan. On rational graphs
Fossacs 2000, 2000, France. pp.252-266