Search - Archive ouverte HAL Access content directly

Filter your results

171 Results
Deposit type : Fulltext
Image document

Vers une gestion coopérative des infrastructures virtualisées à large échelle : le cas de l'ordonnancement

Flavien Quesnel
Génie logiciel [cs.SE]. Ecole Centrale de Nantes (ECN), 2013. Français. ⟨NNT : 2013EMNA0046⟩
Theses tel-00821103v1
Image document

Taming aspects with monads and membranes

Ismael Figueroa , Nicolas Tabareau , Éric Tanter
FOAL'13: Foundations of aspect-oriented languages, Mar 2013, Fukuoka, Japan. ⟨10.1145/2451598.2451600⟩
Conference papers hal-00808983v1
Image document

A model-driven traceability framework for software product lines

Nicolas Anquetil , Uirá Kulesza , Ralf Mitschke , Ana Moreira , Jean-Claude Royer et al.
Software and Systems Modeling, 2010, 9 (4), pp.427--451. ⟨10.1007/s10270-009-0120-9⟩
Journal articles hal-00668175v1
Image document

Flauncher and DVMS -- Deploying and Scheduling Thousands of Virtual Machines on Hundreds of Nodes Distributed Geographically

Daniel Balouek , Adrien Lebre , Flavien Quesnel
IEEE International Scalable Computing Challenge (SCALE 2013), held in conjunction with CCGrid'2013, May 2013, Delft, Netherlands
Conference papers hal-00920094v1
Image document

Invasive composition for the evolution of a health information system

Ismael Mejia , Mario Südholt , Luis Daniel Benavides Navarro
2nd International Workshop on Variability & Composition (VariComp 2011), Mar 2011, Pernambuco, Brazil. ⟨10.1145/1961359.1961362⟩
Conference papers inria-00567598v1
Image document

FieSta: An approach for Fine-Grained Scope Definition, Configuration and Derivation of Model-Driven Software Product Lines

Hugo Arboleda
Software Engineering [cs.SE]. Université de Nantes; Universidad Los Andès, Bogota, 2009. English. ⟨NNT : ⟩
Theses tel-00484779v1
Image document

Cluster-Wide Context Switch of Virtualized Jobs

Fabien Hermenier , Adrien Lebre , Jean-Marc Menaud
[Research Report] RR-6929, INRIA. 2009
Reports inria-00383325v1
Image document

Contrôle de la propagation et de la recherche dans un solveur de contraintes

Charles Prud'Homme
Intelligence artificielle [cs.AI]. Ecole des Mines de Nantes, 2014. Français. ⟨NNT : 2014EMNA0194⟩
Theses tel-01060921v1
Image document

Extending Type Theory with Forcing

Guilhem Jaber , Nicolas Tabareau , Matthieu Sozeau
LICS 2012 : Logic In Computer Science, Jun 2012, Dubrovnik, Croatia. pp.0-0
Conference papers hal-00685150v1
Image document

Server protection through dynamic patching

Nicolas Loriant , Marc Ségura-Devillechaise , Jean-Marc Menaud
11th IEEE Pacific Rim International Symposium on Dependable Computing, Dec 2005, Changsha, China
Conference papers inria-00441360v1
Image document

A Programming Model Integrating Classes, Events and Aspects

Angel Núñez
Software Engineering [cs.SE]. Université de Nantes, 2011. English. ⟨NNT : 2011 NANT 2063⟩
Theses tel-00656649v1
Image document

Power Management in Grid Computing with Xen

Fabien Hermenier , Nicolas Loriant , Jean-Marc Menaud
2006 ISPA Workshop on Xen in High-Performance Clusters and Grid Computing Environments (XHPC'06), Dec 2006, Sorrento, Italy. pp.407-416, ⟨10.1007/11942634_43⟩
Conference papers inria-00441366v1
Image document

A Message-Passing Model for Service Oriented Computing

Diana Allam , Rémi Douence , Hervé Grall , Jean-Claude Royer , Mario Südholt et al.
WEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.136-142
Conference papers hal-00668975v1
Image document

Well-Typed Services Cannot Go Wrong

Diana Allam , Rémi Douence , Hervé Grall , Jean-Claude Royer , Mario Südholt et al.
[Research Report] RR-7899, 2012
Reports hal-00700570v1
Image document

Adding Virtualization Capabilities to Grid'5000

Daniel Balouek , Alexandra Carpen-Amarie , Ghislain Charrier , Frédéric Desprez , Emmanuel Jeannot et al.
[Research Report] RR-8026, INRIA. 2012, pp.18
Reports hal-00720910v2
Image document

Automatizing the Evaluation of Model Matching Systems

Kelly Garcés , Wolfgang Kling , Frédéric Jouault
Workshop on matching and meaning 2010, Mar 2010, Leicester, United Kingdom. To appear
Conference papers hal-00466946v1
Image document

Modular and Flexible Causality Control on the Web

Paul Leger , Éric Tanter , Rémi Douence
[Research Report] RR-7742, INRIA. 2011
Reports inria-00626363v2
Image document

Spécialisation de composants

Gustavo Bobeff
Génie logiciel [cs.SE]. Université de Nantes, 2006. Français. ⟨NNT : ⟩
Theses tel-00484948v1
Image document

An expressive aspect language for system applications with Arachne

Rémi Douence , Thomas Fritz , Nicolas Loriant , Jean-Marc Menaud , Marc Ségura-Devillechaise et al.
4th International Conference on Aspect-Oriented Software Development, Mar 2005, Chicago, United States
Conference papers inria-00441355v1
Image document

A Hierarchical Component Model with Interaction Protocols

Sebastien Pavel
Software Engineering [cs.SE]. Université de Nantes, 2008. English. ⟨NNT : ⟩
Theses tel-00484788v2
Image document

Seamless concurrent programming of objects, aspects and events

Jurgen Michael van Ham
Programming Languages [cs.PL]. Ecole des Mines de Nantes, 2015. English. ⟨NNT : 2015EMNA0118⟩
Theses tel-01238752v1
Image document

Dynamic Adaptation of the Squid web cache with Arachne

Marc Ségura-Devillechaise , Jean-Marc Menaud , Nicolas Loriant , Thomas Fritz , Rémi Douence et al.
IEEE Software, 2006, Special issue on Aspect-Oriented Programming, 23 (1)
Journal articles inria-00442177v1
Image document

Automatic Verification of Bossa Scheduler Properties

Jean-Paul Bodeveix , M Filali , Julia L. Lawall , Gilles Muller
6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006), Sep 2006, Nancy, France. pp.17-32, ⟨10.1016/j.entcs.2007.05.026⟩
Conference papers inria-00089493v1
Image document

Multi Autonomic Management for Optimizing Energy Consumption in Cloud Infrastructures

Frederico Guilherme Alvares de Oliveira Junior
Software Engineering [cs.SE]. Université de Nantes, 2013. English. ⟨NNT : ED 503-186⟩
Theses tel-00853575v1
Image document

The Journey of Biorthogonal Logical Relations to the Realm of Assembly Code

Guilhem Jaber , Nicolas Tabareau
Workshop LOLA 2011, Syntax and Semantics of Low Level Languages, Jun 2011, Toronto, Canada
Conference papers hal-00594386v1
Image document

La contrainte Increasing NValue

Nicolas Beldiceanu , Fabien Hermenier , Xavier Lorca , Thierry Petit
JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.61-70
Conference papers inria-00520296v2
Image document

Exploring Membranes for Controlling Aspects

Éric Tanter , Nicolas Tabareau , Rémi Douence
[Research Report] RR-7739, INRIA. 2011, pp.33
Reports inria-00592133v2
Image document

A Common Aspect Languages Interpreter

Ali Assaf
Software Engineering [cs.SE]. Université de Nantes, 2011. English. ⟨NNT : ⟩
Theses tel-00726510v1
Image document

A theory of distributed aspects

Nicolas Tabareau
Preprints, Working Papers, ... inria-00423996v1
Image document

Cluster-Wide Context Switch of Virtualized Jobs

Fabien Hermenier , Adrien Lebre , Jean-Marc Menaud
VTDC10 - The 4th International Workshop on Virtualization Technologies in Distributed Computing, Jun 2010, Chicago, United States
Conference papers inria-00476790v1