Skip to Main content Skip to Navigation


hal-00941398v1  Conference papers
Xavier EtcheversThierry CoupayeFabienne BoyerNoel de Palma. Self-Configuration of Distributed Applications in the Cloud
CLOUD 2011 - IEEE International Conference on Cloud Computing, Jul 2011, Washington, DC, United States. pp.668-675, ⟨10.1109/CLOUD.2011.65⟩
...
hal-00665592v1  Conference papers
Xavier EtcheversThierry CoupayeFabienne BoyerNoel de PalmaGwen Salaün. Automated Configuration of Legacy Applications in the Cloud
UCC 2011 - International Conference on Utility and Cloud Computing, Dec 2011, Victoria, NSW, Australia. pp.170-177, ⟨10.1109/UCC.2011.32⟩
...
inria-00629104v1  Conference papers
Gwenaël DelavalEric RuttenHervé Marchand. Intégration de la synthèse de contrôleurs discrets dans un langage de programmation
Modélisation des Systèmes Réactifs (MSR'11), Nov 2011, Lille, France
...
tel-00534062v1  Habilitation à diriger des recherches
Fabienne Boyer. Gestion de l'adaptabilité dans les applications réparties
Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier - Grenoble I, 2009
...
tel-00529936v1  Theses
Jean Arnaud. Performance, disponibilité et coût de services Internet adaptatifs
Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier - Grenoble I, 2010. Français
hal-00945800v1  Journal articles
Rachid GuerraouiRon LevyBastian PochonVivien Quema. Throughput Optimal Total Order Broadcast for Cluster Environments
ACM Transactions on Computer Systems, Association for Computing Machinery, 2010
...
hal-00945731v2  Conference papers
Renaud LachaizeBaptiste LepersVivien Quéma. MemProf: A Memory Profiler for NUMA Multicore Systems
Proceedings of the 2012 USENIX Annual Technical Conference, Jun 2012, Boston, United States. pp.53--64
hal-01442744v1  Journal articles
Damien PousDaniel Hirschkoff. A Distribution Law for CCS and a New Congruence Result for the pi-calculus (expanded)
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2008, ⟨10.2168/LMCS-4(2:4)2008⟩
...
inria-00397856v1  Conference papers
Lionel SeinturierPhilippe MerleDamien FournierNicolas DoletValerio Schiavoni et al.  Reconfigurable SCA Applications with the FraSCAti Platform
6th IEEE International Conference on Service Computing (SCC'09), IEEE, Sep 2009, Bangalore, India. pp.268-275
hal-00764951v1  Conference papers
Yousri KoukiThomas LedouxDamián SerranoSara BouchenakJonathan Lejeune et al.  SLA et qualité de service pour le Cloud Computing
Conférence d'informatique en Parallélisme, Architecture et Système, ComPAS 2013, Jan 2013, Grenoble, France. pp.1-11
hal-00945758v1  Conference papers
Mohammad DashtiAlexandra FedorovaJustin FunstonFabien GaudRenaud Lachaize et al.  Traffic Management: A Holistic Approach to Memory Placement on NUMA Systems
ASPLOS - International Conference on Architectural Support for Programming Languages and Operating Systems, Jun 2013, Houston, United States
hal-00941374v1  Journal articles
Fabienne BoyerSara BouchenakBenoît ClaudelNoel de PalmaOlivier Gruber et al.  Autonomic Systems: from Self to Self-Self Behavior
ACM Transactions on Autonomous and Adaptive Systems, Association for Computing Machinery (ACM), 2011
hal-00949565v1  Journal articles
Jeremy PhilippeNoel de PalmaFabienne BoyerOlivier Gruber. Auto-adaptation du niveau de service dans les systèmes distribués
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2010, Revue des sciences et technologies de l'information, 29 (3), pp.261-288. ⟨10.3166/tsi.29.261-288⟩
...
hal-00748687v1  Journal articles
Alain GiraultEric Rutten. Automating the Addition of Fault Tolerance with Discrete Controller Synthesis
Formal Methods in System Design, Springer Verlag, 2009, 35, pp.190--225. ⟨10.1007/s10703-009-0084-y⟩
hal-00784991v1  Journal articles
Amine Belhaj SebouiNejib Ben Hadj-AlouaneGwenaël DelavalEric RuttenMoez Yeddes. An approach for the synthesis of decentralised supervisors for distributed adaptive systems
International Journal of Critical Computer-Based Systems, Inderscience, 2011, Special Issue on Verification and Evaluation of Computer and Communication Systems - Part I, 2 (3/4), pp.246-265. ⟨10.1504/IJCCBS.2011.042328⟩
hal-00788923v1  Conference papers
Benoît ClaudelGuillaume HuardOlivier Richard. TakTuk, Adaptive Deployment of Remote Executions
Proceedings of the International Symposium on High Performance Distributed Computing (HPDC), 2009, Munich, Germany. pp.91-100, ⟨10.1145/1551609.1551629⟩
...
hal-00784971v1  Conference papers
Fabienne BoyerNoel de PalmaGwenaël DelavalOlivier GruberEric Rutten. Case studies in discrete control for autonomic system administration
Sixth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID 2011), Jun 2011, Karlsruhe, Germany
...
tel-00904884v1  Theses
Xin An. High Level Design and Control of Adaptive Multiprocessor Systems-on-Chip
Embedded Systems. Université de Grenoble, 2013. English
inria-00367666v1  Conference papers
Luc MalraitSara BouchenakNicolas Marchand. Fluid Modeling and Control for Server System Performance and Availability
39th annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2009, Estoril, Portugal
...
hal-00480859v1  Journal articles
Luc MalraitSara BouchenakNicolas Marchand. Experience with ConSer: A System for Server Control Through Fluid Modeling
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (7), pp.951-963. ⟨10.1109/TC.2010.164⟩