Filter your results
- 171
- 179
- 80
- 35
- 27
- 15
- 11
- 1
- 1
- 1
- 32
- 168
- 6
- 2
- 9
- 12
- 24
- 19
- 26
- 24
- 20
- 8
- 8
- 16
- 5
- 151
- 20
- 168
- 158
- 12
- 9
- 9
- 8
- 8
- 6
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 31
- 26
- 24
- 22
- 14
- 13
- 12
- 10
- 10
- 10
- 9
- 8
- 8
- 8
- 7
- 7
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Vers une gestion coopérative des infrastructures virtualisées à large échelle : le cas de l'ordonnancementGénie logiciel [cs.SE]. Ecole Centrale de Nantes (ECN), 2013. Français. ⟨NNT : 2013EMNA0046⟩
Theses
tel-00821103v1
|
||
|
Taming aspects with monads and membranesFOAL'13: Foundations of aspect-oriented languages, Mar 2013, Fukuoka, Japan. ⟨10.1145/2451598.2451600⟩
Conference papers
hal-00808983v1
|
||
|
A model-driven traceability framework for software product linesSoftware and Systems Modeling, 2010, 9 (4), pp.427--451. ⟨10.1007/s10270-009-0120-9⟩
Journal articles
hal-00668175v1
|
||
|
Flauncher and DVMS -- Deploying and Scheduling Thousands of Virtual Machines on Hundreds of Nodes Distributed GeographicallyIEEE International Scalable Computing Challenge (SCALE 2013), held in conjunction with CCGrid'2013, May 2013, Delft, Netherlands
Conference papers
hal-00920094v1
|
||
|
Invasive composition for the evolution of a health information system2nd International Workshop on Variability & Composition (VariComp 2011), Mar 2011, Pernambuco, Brazil. ⟨10.1145/1961359.1961362⟩
Conference papers
inria-00567598v1
|
||
|
FieSta: An approach for Fine-Grained Scope Definition, Configuration and Derivation of Model-Driven Software Product LinesSoftware Engineering [cs.SE]. Université de Nantes; Universidad Los Andès, Bogota, 2009. English. ⟨NNT : ⟩
Theses
tel-00484779v1
|
||
|
Cluster-Wide Context Switch of Virtualized Jobs[Research Report] RR-6929, INRIA. 2009
Reports
inria-00383325v1
|
||
|
Contrôle de la propagation et de la recherche dans un solveur de contraintesIntelligence artificielle [cs.AI]. Ecole des Mines de Nantes, 2014. Français. ⟨NNT : 2014EMNA0194⟩
Theses
tel-01060921v1
|
||
|
Extending Type Theory with ForcingLICS 2012 : Logic In Computer Science, Jun 2012, Dubrovnik, Croatia. pp.0-0
Conference papers
hal-00685150v1
|
||
|
Server protection through dynamic patching11th IEEE Pacific Rim International Symposium on Dependable Computing, Dec 2005, Changsha, China
Conference papers
inria-00441360v1
|
||
|
A Programming Model Integrating Classes, Events and AspectsSoftware Engineering [cs.SE]. Université de Nantes, 2011. English. ⟨NNT : 2011 NANT 2063⟩
Theses
tel-00656649v1
|
||
|
Power Management in Grid Computing with Xen2006 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
|
||
|
A Message-Passing Model for Service Oriented ComputingWEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.136-142
Conference papers
hal-00668975v1
|
||
|
Well-Typed Services Cannot Go Wrong[Research Report] RR-7899, 2012
Reports
hal-00700570v1
|
||
|
Adding Virtualization Capabilities to Grid'5000[Research Report] RR-8026, INRIA. 2012, pp.18
Reports
hal-00720910v2
|
||
|
Automatizing the Evaluation of Model Matching SystemsWorkshop on matching and meaning 2010, Mar 2010, Leicester, United Kingdom. To appear
Conference papers
hal-00466946v1
|
||
|
Modular and Flexible Causality Control on the Web[Research Report] RR-7742, INRIA. 2011
Reports
inria-00626363v2
|
||
|
Spécialisation de composantsGénie logiciel [cs.SE]. Université de Nantes, 2006. Français. ⟨NNT : ⟩
Theses
tel-00484948v1
|
||
|
An expressive aspect language for system applications with Arachne4th International Conference on Aspect-Oriented Software Development, Mar 2005, Chicago, United States
Conference papers
inria-00441355v1
|
||
|
A Hierarchical Component Model with Interaction ProtocolsSoftware Engineering [cs.SE]. Université de Nantes, 2008. English. ⟨NNT : ⟩
Theses
tel-00484788v2
|
||
|
Seamless concurrent programming of objects, aspects and eventsProgramming Languages [cs.PL]. Ecole des Mines de Nantes, 2015. English. ⟨NNT : 2015EMNA0118⟩
Theses
tel-01238752v1
|
||
|
Dynamic Adaptation of the Squid web cache with ArachneIEEE Software, 2006, Special issue on Aspect-Oriented Programming, 23 (1)
Journal articles
inria-00442177v1
|
||
|
Automatic Verification of Bossa Scheduler Properties6th 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
|
||
|
Multi Autonomic Management for Optimizing Energy Consumption in Cloud InfrastructuresSoftware Engineering [cs.SE]. Université de Nantes, 2013. English. ⟨NNT : ED 503-186⟩
Theses
tel-00853575v1
|
||
|
The Journey of Biorthogonal Logical Relations to the Realm of Assembly CodeWorkshop LOLA 2011, Syntax and Semantics of Low Level Languages, Jun 2011, Toronto, Canada
Conference papers
hal-00594386v1
|
||
|
La contrainte Increasing NValueJFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.61-70
Conference papers
inria-00520296v2
|
||
|
Exploring Membranes for Controlling Aspects[Research Report] RR-7739, INRIA. 2011, pp.33
Reports
inria-00592133v2
|
||
|
A Common Aspect Languages InterpreterSoftware Engineering [cs.SE]. Université de Nantes, 2011. English. ⟨NNT : ⟩
Theses
tel-00726510v1
|
||
|
A theory of distributed aspects2009
Preprints, Working Papers, ...
inria-00423996v1
|
||
|
Cluster-Wide Context Switch of Virtualized JobsVTDC10 - The 4th International Workshop on Virtualization Technologies in Distributed Computing, Jun 2010, Chicago, United States
Conference papers
inria-00476790v1
|