Search - INRIA - Institut National de Recherche en Informatique et en Automatique

	1 2 3 4 5 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	hal-00941398v1 Conference papers Xavier Etchevers, Thierry Coupaye, Fabienne Boyer, Noel 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 Etchevers, Thierry Coupaye, Fabienne Boyer, Noel de Palma, Gwen 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 Delaval, Eric Rutten, Hervé 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
	inria-00338987v1 Reports Philippe Merle, Jean-Bernard Stefani. A formal specification of the Fractal component model in Alloy [Research Report] RR-6721, INRIA. 2008, pp.44
	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 Guerraoui, Ron Levy, Bastian Pochon, Vivien Quema. Throughput Optimal Total Order Broadcast for Cluster Environments ACM Transactions on Computer Systems, Association for Computing Machinery, 2010
	hal-00945731v2 Conference papers Renaud Lachaize, Baptiste Lepers, Vivien Quéma. MemProf: A Memory Proﬁler for NUMA Multicore Systems Proceedings of the 2012 USENIX Annual Technical Conference, Jun 2012, Boston, United States. pp.53--64
	inria-00330565v1 Reports Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani. Normal bisimulations in process calculi with passivation [Research Report] RR-6664, INRIA. 2008, pp.102
	inria-00567442v1 Journal articles Lionel Seinturier, Philippe Merle, Romain Rouvoy, Daniel Romero, Valerio Schiavoni et al. A Component-Based Middleware Platform for Reconfigurable Service-Oriented Architectures Software: Practice and Experience, Wiley, 2012, 42 (5), pp.559-583. ⟨10.1002/spe.1077⟩
	hal-00400159v1 Conference papers Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous. Encapsulation and Dynamic Modularity in the Pi-Calculus PLACES 2008, 2008, Oslo, Norway. pp.85 - 100, ⟨10.1016/j.entcs.2009.06.005⟩
	hal-01442744v1 Journal articles Damien Pous, Daniel 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 Seinturier, Philippe Merle, Damien Fournier, Nicolas Dolet, Valerio 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
	inria-00347137v2 Reports Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani. Howe's Method for Early Bisimilarities [Research Report] RR-6773, INRIA. 2008, pp.69
	hal-00764951v1 Conference papers Yousri Kouki, Thomas Ledoux, Damián Serrano, Sara Bouchenak, Jonathan 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 Dashti, Alexandra Fedorova, Justin Funston, Fabien Gaud, Renaud 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 Boyer, Sara Bouchenak, Benoît Claudel, Noel de Palma, Olivier 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-00773168v1 Reports Nicolas Balacheff, Béatrice Buccio, Patrick Chapuis, Jacky Coutin, Joëlle Coutaz et al. The First Four Years (2007-2010) and Beyond - Volume 1: Research Program and Activity Report 2011
	hal-00949565v1 Journal articles Jeremy Philippe, Noel de Palma, Fabienne Boyer, Olivier 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⟩
	inria-00498394v1 Reports Ahmed Soufyane Aboubekr, Gwenaël Delaval, Roger Pissard-Gibollet, Eric Rutten, Daniel Simon. Automatic generation of discrete handlers of real-time continuous control tasks [Research Report] RR-7332, INRIA. 2010, pp.17
	hal-00863276v1 Conference papers Gwenaël Delaval, Noel de Palma, Soguy Mak-Karé Gueye, Hervé Marchand, Eric Rutten. Discrete Control of Computing Systems Administration: a Programming Language supported Approach European Control Conference, Jul 2013, Zurich, Switzerland. pp.117-124
	hal-00748687v1 Journal articles Alain Girault, Eric 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 Seboui, Nejib Ben Hadj-Alouane, Gwenaël Delaval, Eric Rutten, Moez 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 Claudel, Guillaume Huard, Olivier 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 Boyer, Noel de Palma, Gwenaël Delaval, Olivier Gruber, Eric 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 Malrait, Sara Bouchenak, Nicolas 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 Malrait, Sara Bouchenak, Nicolas 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⟩
	hal-00863286v1 Journal articles Gwenaël Delaval, Eric Rutten, Hervé Marchand. Integrating Discrete Controller Synthesis into a Reactive Programming Language Compiler Discrete Event Dynamic Systems, Springer Verlag, 2013, 23 (4), pp.385-418. ⟨10.1007/s10626-013-0163-5⟩
	hal-00404402v1 Patents Luc Malrait, Nicolas Marchand, Sara Bouchenak. Dispositif de commande d'admission pour un serveur Numéro pas encore connu France, N° de brevet: 09/02551. Département Automatique. 2009
	1 2 3 4 5 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize