Search - Archive ouverte HAL Access content directly

Filter your results

398 Results
Image document

Entropy: a Consolidation Manager for Clusters

Fabien Hermenier , Xavier Lorca , Jean-Marc Menaud , Gilles Muller , Julia L. Lawall et al.
VEE 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 programming

Ismael Figueroa , Nicolas Tabareau , Éric Tanter
Science of Computer Programming, 2016, 119, pp.3-30. ⟨10.1016/j.scico.2015.11.010⟩
Journal articles hal-01400002v1
Image document

Deploying Distributed Cloud Infrastructures: Who and at What Cost?

Adrien Lebre , Anthony Simonet , Anne-Cécile Orgerie
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
Image document

Lawvere-Tierney sheafification in Homotopy Type Theory

Kevin Quirin , Nicolas Tabareau
Journal of Formalized Reasoning, 2016, 9 (2), ⟨10.6092/issn.1972-5787/6232⟩
Journal articles hal-01451710v1
Image document

Aspectizing JavaScript Security

Florent Marchand de Kerchove , Jacques Noyé , Mario Südholt
MISS - 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 capteurs

Alexandre Garnier , Jean-Marc Menaud , Rémy Pottier
Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2015, Lille, France
Conference papers hal-01154240v1

Checking Class Schema Usefulness

Jean-Claude Royer
The Journal of Object Technology, 2004, 3 (1), pp.157-176
Journal articles hal-00443975v1

Temporal Logic Verifications for UML: the Vending Machine Example

Jean-Claude Royer
Revue 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 objet

Pierre Cointe
NOuvelles TEchnologies de la RÉpartition (NOTERE), Jun 2007, Marrakech, Maroc. pp.392
Conference papers hal-00484759v1
Image document

Fiabilité des reconfigurations dynamiques dans les architectures à composants

Marc Léger
Gé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 Languages

Thomas Cleenewerck , Jacques Noyé , Johan Fabry , Anne-Françoise Le Meur , Éric Tanter et al.
DSAL '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 Uncertainty

Joost Noppen , Jean-Claude Royer
Gé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 Java

Angel Núñez , Jacques Noyé
3ème Journée Francophone sur le Développement de Logiciels Par Aspects (JFDLPA 2007), Mar 2007, Toulouse, France
Conference papers inria-00468041v1
Image document

Expression and Composition of Design Patterns with AspectJ

Simon Denier , Pierre Cointe
Revue 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 architectures

Pierre-Charles David , Thomas Ledoux , Thierry Coupaye , Marc Léger
Annals of Telecommunications - annales des télécommunications, 2008, Volume 64 (Numbers 1-2 / février 2009), pp.45-63
Journal articles hal-00468474v1
Image document

Aspects Preserving Properties

Simplice Djoko Djoko , Rémi Douence , Pascal Fradet
[Research Report] RR-7155, INRIA. 2009
Reports inria-00449851v1
Image document

Views, Program Transformations, and the Evolutivity Problem in a Functional Language

Julien Cohen , Rémi Douence
2011
Preprints, Working Papers, ... hal-00481941v2

Flexible Pointcut Implementation: An Interpreted Approach

Ali Assaf , Jacques Noyé
Langages et Modèles à Objets (LMO 2009), Olivier Zendra, Mar 2009, Nancy, France. pp.45-60
Conference papers inria-00460796v1
Image document

Adaptation of Models to Evolving Metamodels

Kelly Garces , Frédéric Jouault , Pierre Cointe , Jean Bézivin
[Research Report] RR-6723, INRIA. 2008
Reports inria-00338695v2
Image document

Entropy: a Consolidation Manager for Clusters

Fabien Hermenier , Xavier Lorca , Jean-Marc Menaud , Gilles Muller , Julia Lawall et al.
[Research Report] RR-6639, 2008
Reports inria-00320204v1
Image document

Decomposing Logical Relations with Forcing

Guilhem Jaber , Nicolas Tabareau
2011
Preprints, Working Papers, ... hal-00585717v1
Image document

SLA-aware virtual resource management for cloud infrastructures

Hien Nguyen Van , Frederic Dang Tran , Jean-Marc Menaud
9th IEEE International Conference on Computer and Information Technology (CIT'09), Oct 2009, Xiamen, China. pp.1-8
Conference papers hal-00474722v1

Aspect Preserving Properties

Simplice Djoko Djoko , Rémi Douence , Pascal Fradet
ACM/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 optimization

Frederico Alvares de Oliveira Jr. , Thomas Ledoux
Operating Systems Review, 2012, 46 (2)
Journal articles hal-00710695v1
Image document

Understanding Design Patterns Density with Aspects: A Case Study in JHotDraw using AspectJ

Simon Denier , Pierre Cointe
Proceedings of the International Workshop on Software Composition (SC'06), Mar 2006, Vienne, Austria. pp.243-258, ⟨10.1007/11821946_16⟩
Conference papers inria-00458193v1
Image document

Dynamic Scalability of a Consolidation Service

Ahmed El Rheddane , Noel de Palma , Fabienne Boyer , Frédéric Dumont , Jean-Marc Menaud et al.
International 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 Management

Yousri Kouki , Thomas Ledoux
International Conference on Cloud Computing and Services Science, CLOSER 2012, Apr 2012, Porto, Portugal. pp.586-591
Conference papers hal-00675077v1
Image document

Declarative Events for Object-Oriented Programming

Vaidas Gasiūnas , Lucas Satabin , Mira Mezini , Angel Núñez , Jacques Noyé et al.
[Research Report] RR-7313, INRIA. 2010, pp.38
Reports inria-00494645v1
Image document

Taming Aspects with Membranes

Éric Tanter , Nicolas Tabareau , Rémi Douence
2011
Preprints, Working Papers, ... inria-00592133v1

Java Implementation of a Component Model with Explicit Symbolic Protocols

Sebastian Pavel , Jacques Noyé , Pascal Poizat , Jean-Claude Royer
Software Composition (SC), 2005, Edinburgh, United Kingdom. pp.115--124
Conference papers hal-00342152v1