2015
Journal articles
- titre
- SimGrid VM: Virtual Machine Support for a Simulation Framework of Distributed Systems
- auteur
- Laurent Pouilloux, Takahiro Hirofuchi, Adrien Lebre
- article
- IEEE Transactions on Cloud Computing, 2015, ⟨10.1109/TCC.2015.2481422⟩
- Accès au texte intégral et bibtex
-
- titre
- A Taxonomy of Domain-Specific Aspect Languages
- auteur
- Johan Fabry, Tom Dinkelaker, Jacques Noyé, Éric Tanter
- article
- ACM Computing Surveys, 2015, 47 (3), pp.44. ⟨10.1145/2685028⟩
- Accès au bibtex
-
Conference papers
- titre
- Opportunistic Scheduling in Clouds Partially Powered by Green Energy
- auteur
- Yunbo Li, Anne-Cécile Orgerie, Jean-Marc Menaud
- article
- IEEE International Conference on Green Computing and Communications (GreenCom), Dec 2015, Sydney, Australia
- Accès au texte intégral et bibtex
-
- titre
- Energy-Aware Massively Distributed Cloud Facilities: The DISCOVERY Initiative
- auteur
- Frédéric Desprez, Shadi Ibrahim, Adrien Lebre, Anne-Cécile Orgerie, Jonathan Pastor, Anthony Simonet
- article
- IEEE International Conference on Green Computing and Communications (GreenCom), Dec 2015, Sydney, Australia. pp.476 - 477, ⟨10.1109/DSDIS.2015.58⟩
- Accès au texte intégral et bibtex
-
- titre
- Abstract Accountability Language: Translation, Compliance and Application
- auteur
- Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami
- article
- ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, Dec 2015, New Delhi, India
- Accès au bibtex
-
- titre
- Gradual Certified Programming in Coq
- auteur
- Éric Tanter, Nicolas Tabareau
- article
- 11th ACM Dynamic Languages Symposium (DLS 2015), Oct 2015, Pittsburgh, United States. ⟨10.1145/2816707.2816710⟩
- Accès au bibtex
-
- titre
- Experimental Analysis on Autonomic Strategies for Cloud Elasticity
- auteur
- Simon Dupont, Jonathan Lejeune, Frederico Alvares, Thomas Ledoux
- article
- 2015 IEEE International Conference on Cloud and Autonomic Computing (ICCAC), Sep 2015, Cambridge, United States. ⟨10.1109/ICCAC.2015.22⟩
- Accès au texte intégral et bibtex
-
- titre
- Reducing synchronization cost in distributed multi-resource allocation problem
- auteur
- Jonathan Lejeune, Luciana Arantes, Julien Sopena, Pierre Sens
- article
- ICPP 2015 - 44th International Conference on Parallel Processing, Sep 2015, Beijing, China. pp.540-549, ⟨10.1109/ICPP.2015.63⟩
- Accès au texte intégral et bibtex
-
- titre
- Lazy Evaluation for OCL
- auteur
- Massimo Tisi, Rémi Douence, Dennis Wagelaar
- article
- Models 2015: 15th International Workshop on OCL and Textual Modeling, Sep 2015, Ottawa, Canada
- Accès au bibtex
-
- titre
- Virtual Machine Introspection: Techniques and Applications
- auteur
- Yacine Hebbal, Sylvie Laniepce, Jean-Marc Menaud
- article
- International Conference on Availability, Reliability and Security, Aug 2015, Toulouse, France
- Accès au bibtex
-
- titre
- VMPlaceS: A Generic Tool to Investigate and Compare VM Placement Algorithms
- auteur
- Adrien Lebre, Jonathan Pastor, Mario Südholt
- article
- Europar 2015, Aug 2015, Vienne, Austria
- Accès au texte intégral et bibtex
-
- titre
- SensorScript: a Domain-Specific Language for Sensor Networks
- auteur
- Alexandre Garnier, Rémy Pottier, Jean-Marc Menaud
- article
- International Conference on Future Internet of Things and Cloud (FiCloud-2015), Aug 2015, Rome, Italy
- Accès au bibtex
-
- titre
- A Language for the Composition of Privacy-Enforcement Techniques
- auteur
- Ronan-Alexandre Cherrueau, Rémi Douence, Mario Südholt
- article
- IEEE RATSP 2015, The 2015 IEEE International Symposium on Recent Advances of Trust, Security and Privacy in Computing and Communications, Aug 2015, Helsinki, Finland. pp.1037 - 1044, ⟨10.1109/Trustcom.2015.480⟩
- Accès au texte intégral et bibtex
-
- titre
- SensorScript : un langage de requête dédié, orienté métiers, pour les réseaux de capteurs
- auteur
- Alexandre Garnier, Jean-Marc Menaud, Rémy Pottier
- article
- Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2015, Lille, France
- Accès au bibtex
-
- titre
- Monitoring de l’utilisation mémoire et CPU par processus, basé sur l’introspection de machines virtuelles
- auteur
- Frédéric Dumont, Jean-Marc Menaud, Sylvie Laniepce
- article
- Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2015, Lille, France
- Accès au bibtex
-
- titre
- Checking Accountability with a Prover
- auteur
- Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami
- article
- 39th IEEE Annual Computer Software and Applications Conference (COMPSAC), Jul 2015, Taichung, Taiwan. pp.83-88, ⟨10.1109/COMPSAC.2015.8⟩
- Accès au bibtex
-
- titre
- Delta Scaling: How Resources Scalability/Termination Can Be Taken Place Economically?
- auteur
- Yousri Kouki, Md Sabbir Hasan, Thomas Ledoux
- article
- 11th World Congress on Services (SERVICES), IEEE, Jun 2015, New York, United States. pp.55-62, ⟨10.1109/SERVICES.2015.17⟩
- Accès au texte intégral et bibtex
-
- titre
- Synthesizing Realistic Cloud Workload Traces for Studying Dynamic Ressource System Management
- auteur
- Jean-Marc Menaud, Frederic Dumont
- article
- International Conference on Cloud Computing and Big Data, Jun 2015, Huangshan, China
- Accès au bibtex
-
- titre
- The EPOC project: Energy Proportional and Opportunistic Computing system
- auteur
- Nicolas Beldiceanu, Bárbara Dumas Feris, Philippe Gravey, Md Sabbir Hasan, Claude Jard, Thomas Ledoux, Yunbo Li, Didier Lime, Gilles Madi-Wamba, Jean-Marc Menaud, Pascal Morel, Michel Morvan, Marie-Laure Moulinard, Anne-Cécile Orgerie, Jean-Louis Pazat, Olivier Roux, Ammar Sharaiha
- article
- International Conference on Smart Cities and Green ICT Systems (SMARTGREENS), May 2015, Lisbonne, Portugal
- Accès au texte intégral et bibtex
-
- titre
- Adding Storage Simulation Capacities to the SimGrid Toolkit: Concepts, Models, and API
- auteur
- Adrien Lebre, Arnaud Legrand, Frédéric Suter, Pierre Veyre
- article
- CCGrid 2015 - Proceedings of the 15th IEEE/ACM Symposium on Cluster, Cloud and Grid Computing, May 2015, Shenzhen, China. pp.251-260, ⟨10.1109/CCGrid.2015.134⟩
- Accès au texte intégral et bibtex
-
- titre
- Towards Modular Instrumentation of Interpreters in JavaScript
- auteur
- Florent Marchand de Kerchove, Jacques Noyé, Mario Südholt
- article
- FOAL - Foundations of Aspect-Oriented Languages, Mar 2015, Fort Collins, United States. ⟨10.1145/2735386.2736753⟩
- Accès au texte intégral et bibtex
-
- titre
- Wild omega-Categories for the Homotopy Hypothesis in Type Theory
- auteur
- André Hirschowitz, Tom Hirschowitz, Nicolas Tabareau
- article
- Typed Lambda Calculi and Applications, 2015, Varsovie, Poland. pp.226-240, ⟨10.4230/LIPIcs.TLCA.2015.226⟩
- Accès au bibtex
-
Book sections
- titre
- From Regulatory Obligations to Enforceable Accountability Policies in the Cloud
- auteur
- Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Monir Azraoui, Kaoutar Elkhiyaoui, Melek Önen, Anderson Sanatan de Oliveira, Karin Bernsmed
- article
- Cloud Computing and Services Sciences, Springer International Publishing Switzerland, 2015
- Accès au bibtex
-
Habilitation à diriger des recherches
- titre
- Composition non modulaire modulaire
- auteur
- Rémi Douence
- article
- Génie logiciel [cs.SE]. Université de Nantes, Faculté des sciences et des techniques., 2015
- Accès au texte intégral et bibtex
-
Master thesis
- titre
- Ensembles nominaux dans Coq/SSreflect
- auteur
- Gabriel Lewertowski
- article
- Langage de programmation [cs.PL]. 2015
- Accès au texte intégral et bibtex
-
Reports
- titre
- A Correct Refactoring Operation to Rename Global Variables in C Programs
- auteur
- Julien Cohen
- article
- [Research Report] LINA-University of Nantes. 2015
- Accès au texte intégral et bibtex
-
- titre
- The DISCOVERY Initiative - Overcoming Major Limitations of Traditional Server-Centric Clouds by Operating Massively Distributed IaaS Facilities
- auteur
- Adrien Lebre, Jonathan Pastor, . The Discovery Consortium
- article
- [Research Report] RR-8779, Inria. 2015, pp.14
- Accès au texte intégral et bibtex
-
- titre
- A Language for the Composition of Privacy-Enforcement Techniques
- auteur
- Ronan-Alexandre Cherrueau, Rémi Douence, Mario Südholt
- article
- [Research Report] RR-8720, Inria Rennes; École des Mines de Nantes; INRIA. 2015
- Accès au texte intégral et bibtex
-
- titre
- Reducing synchronization cost in distributed multi-resource allocation problem
- auteur
- Jonathan Lejeune, Luciana Arantes, Julien Sopena, Pierre Sens
- article
- [Research Report] RR-8689, Ecole des Mines de Nantes, Inria, LINA; Sorbonne Universités, UPMC, CNRS, Inria, LIP6; INRIA. 2015
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Open Scope: A Pragmatic JavaScript Pattern for Modular Instrumentation
- auteur
- Florent Marchand de Kerchove, Jacques Noyé, Mario Südholt
- article
- 2015
- Accès au texte intégral et bibtex
-