Filter your results
- 206
- 192
- 217
- 53
- 39
- 34
- 15
- 12
- 12
- 9
- 2
- 2
- 2
- 1
- 379
- 11
- 3
- 2
- 29
- 16
- 28
- 46
- 31
- 44
- 41
- 32
- 33
- 29
- 34
- 16
- 8
- 5
- 2
- 1
- 1
- 1
- 1
- 345
- 53
- 386
- 379
- 33
- 22
- 20
- 17
- 14
- 11
- 11
- 10
- 10
- 10
- 8
- 8
- 8
- 8
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 64
- 57
- 49
- 46
- 42
- 39
- 37
- 36
- 32
- 22
- 14
- 12
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 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
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
398 Results
|
Entropy: a Consolidation Manager for ClustersVEE 2009 - 5th International Conference on Virtual Execution Environments, Mar 2009, Washington, DC, United States. pp.41-50, ⟨10.1145/1508293.1508300⟩
Conference papers
hal-01102354v1
|
||
|
Effect capabilities for Haskell: Taming effect interference in monadic programmingScience of Computer Programming, 2016, 119, pp.3-30. ⟨10.1016/j.scico.2015.11.010⟩
Journal articles
hal-01400002v1
|
||
|
Deploying Distributed Cloud Infrastructures: Who and at What Cost?Proceedings of the fifth IEEE International Workshop on Cloud Computing Interclouds, Multiclouds, Federations, and Interoperability, Apr 2016, Berlin, Germany. pp.6, ⟨10.1109/IC2EW.2016.48⟩
Conference papers
hal-01404594v1
|
||
|
Lawvere-Tierney sheafification in Homotopy Type TheoryJournal of Formalized Reasoning, 2016, 9 (2), ⟨10.6092/issn.1972-5787/6232⟩
Journal articles
hal-01451710v1
|
||
|
Aspectizing JavaScript SecurityMISS - 3rd Workshop on Modularity In Systems Software, Mar 2013, Fukuoka, Japan. ⟨10.1145/2451613.2451616⟩
Conference papers
hal-00786258v1
|
||
SensorScript : un langage de requête dédié, orienté métiers, pour les réseaux de capteursConférence d’informatique en Parallélisme, Architecture et Système, Jul 2015, Lille, France
Conference papers
hal-01154240v1
|
|||
Checking Class Schema UsefulnessThe Journal of Object Technology, 2004, 3 (1), pp.157-176
Journal articles
hal-00443975v1
|
|||
Temporal Logic Verifications for UML: the Vending Machine ExampleRevue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2003, 9 (4), pp.73--92
Journal articles
hal-00443974v1
|
|||
Quelques réflexions sur la programmation post objetNOuvelles TEchnologies de la RÉpartition (NOTERE), Jun 2007, Marrakech, Maroc. pp.392
Conference papers
hal-00484759v1
|
|||
|
Fiabilité des reconfigurations dynamiques dans les architectures à composantsGénie logiciel [cs.SE]. École Nationale Supérieure des Mines de Paris, 2009. Français. ⟨NNT : 2009ENMP1618⟩
Theses
tel-00485033v1
|
||
|
Summary of the third workshop on Domain-Specific Aspect LanguagesDSAL '08: Proceedings of the 2008 AOSD workshop on Domain-specific aspect languages, Thomas Cleenewerck and Jacques Noyé and Johan Fabry and Anne-Françoise Lemeur and Éric Tanter, Mar 2008, Bruxelles, Belgium. pp.1-5, ⟨10.1145/1404927.1404928⟩
Conference papers
inria-00485027v1
|
||
The Ample Project, Traceability of Software Product Line Development: Models and UncertaintyGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2009, 85, pp.43-48
Journal articles
hal-00416457v1
|
|||
A Domain-Specific Language for Coordinating Concurrent Aspects in Java3ème Journée Francophone sur le Développement de Logiciels Par Aspects (JFDLPA 2007), Mar 2007, Toulouse, France
Conference papers
inria-00468041v1
|
|||
|
Expression and Composition of Design Patterns with AspectJRevue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2006, 12 (2-3), pp.41-61
Journal articles
inria-00458203v1
|
||
FPath and FScript: Language support for navigation and reliable reconfiguration of Fractal architecturesAnnals of Telecommunications - annales des télécommunications, 2008, Volume 64 (Numbers 1-2 / février 2009), pp.45-63
Journal articles
hal-00468474v1
|
|||
|
Aspects Preserving Properties[Research Report] RR-7155, INRIA. 2009
Reports
inria-00449851v1
|
||
|
Views, Program Transformations, and the Evolutivity Problem in a Functional Language2011
Preprints, Working Papers, ...
hal-00481941v2
|
||
Flexible Pointcut Implementation: An Interpreted ApproachLangages et Modèles à Objets (LMO 2009), Olivier Zendra, Mar 2009, Nancy, France. pp.45-60
Conference papers
inria-00460796v1
|
|||
|
Adaptation of Models to Evolving Metamodels[Research Report] RR-6723, INRIA. 2008
Reports
inria-00338695v2
|
||
|
Entropy: a Consolidation Manager for Clusters[Research Report] RR-6639, 2008
Reports
inria-00320204v1
|
||
|
Decomposing Logical Relations with Forcing2011
Preprints, Working Papers, ...
hal-00585717v1
|
||
|
SLA-aware virtual resource management for cloud infrastructures9th IEEE International Conference on Computer and Information Technology (CIT'09), Oct 2009, Xiamen, China. pp.1-8
Conference papers
hal-00474722v1
|
||
|
Aspect Preserving PropertiesACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, 2008, San Francisco, United States. ⟨10.1145/1328408.1328429⟩
Conference papers
inria-00418836v1
|
||
Self-management of cloud applications and infrastructure for energy optimizationOperating Systems Review, 2012, 46 (2)
Journal articles
hal-00710695v1
|
|||
|
Understanding Design Patterns Density with Aspects: A Case Study in JHotDraw using AspectJProceedings of the International Workshop on Software Composition (SC'06), Mar 2006, Vienne, Austria. pp.243-258, ⟨10.1007/11821946_16⟩
Conference papers
inria-00458193v1
|
||
|
Dynamic Scalability of a Consolidation ServiceInternational Conference on Cloud Computing, Indus Track, Jun 2013, Santa Clara Marriott, United States. pp.01-09
Conference papers
hal-00835817v1
|
||
CSLA : a Language for improving Cloud SLA ManagementInternational Conference on Cloud Computing and Services Science, CLOSER 2012, Apr 2012, Porto, Portugal. pp.586-591
Conference papers
hal-00675077v1
|
|||
|
Declarative Events for Object-Oriented Programming[Research Report] RR-7313, INRIA. 2010, pp.38
Reports
inria-00494645v1
|
||
|
Taming Aspects with Membranes2011
Preprints, Working Papers, ...
inria-00592133v1
|
||
Java Implementation of a Component Model with Explicit Symbolic ProtocolsSoftware Composition (SC), 2005, Edinburgh, United Kingdom. pp.115--124
Conference papers
hal-00342152v1
|