1. Recherche
13 résultats  enregistrer la recherche
...
hal-01187907v1  Article dans une revue
Md Sabbir Hasan, Yousri Kouki, Thomas Ledoux, Jean-Louis Pazat. Exploiting Renewable sources: when Green SLA becomes a possible reality in Cloud computing
IEEE Transactions on Cloud Computing, 2017, 5 (2), pp.249-262. <10.1109/TCC.2015.2459710>
...
hal-01340318v1  Article dans une revue
Nicolas Beldiceanu, Bárbara Dumas Feris, Philippe Gravey, Sabbir Hasan, Claude Jard et al.  Towards energy-proportional Clouds partially powered by renewable energy
Computing, Springer Verlag, 2017, 99 (1), pp.20. <10.1007/s00607-016-0503-z>
...
hal-01496959v1  Communication dans un congrès
Yacine Taleb, Shadi Ibrahim, Gabriel Antoniu, Toni Cortes. Characterizing Performance and Energy-Efficiency of The RAMCloud Storage System
The 37th IEEE International Conference on Distributed Computing Systems (ICDCS 2017) , Jun 2017, Atlanta, United States. 2017
...
hal-01483702v1  Communication dans un congrès
Bastien Confais, Adrien Lèbre, Benoît Parrein. An Object Store Service for a Fog/Edge Computing Infrastructure based on IPFS and Scale-out NAS
1st IEEE International Conference on Fog and Edge Computing - ICFEC’2017, May 2017, Madrid, Spain
hal-01400236v1  Communication dans un congrès
Simon Dupont, Salma Bouri, Frederico Alvares de Oliveira, Thomas Ledoux. ElaScript: a DSL for Coding Elasticity in Cloud Computing
32nd ACM Symposium on Applied Computing - Track on Cloud Computing, Apr 2017, Marrakesh, Morocco. Proceedings of the 32nd ACM Symposium on Applied Computing - Track on Cloud Computing
hal-01472133v1  Communication dans un congrès
Rémy Pottier, Jean-Marc Menaud. Privacy-Aware Data Storage in Cloud Computing
International Conference on Cloud Computing and Services Science (CLOSER), Apr 2017, Porto, Portugal. pp.8, 2017
...
hal-01503089v1  Communication dans un congrès
Simon Boulier, Pierre-Marie Pédrot, Nicolas Tabareau. Modèles de la théorie des types donnés par traduction de programme
28ièmes Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
...
hal-01449326v1  Communication dans un congrès
Gaëtan Gilbert. Formalising Real Numbers in Homotopy Type Theory
6th ACM SIGPLAN Conference on Certified Programs and Proofs , Jan 2017, Paris, France. pp.112 - 124, 2017, <10.1145/3018610.3018614>
...
hal-01445835v1  Communication dans un congrès
Simon Boulier, Pierre-Marie Pédrot, Nicolas Tabareau. The next 700 syntactical models of type theory
Certified Programs and Proofs (CPP 2017), Jan 2017, Paris, France. pp.182 - 194, 2017, <10.1145/3018610.3018620>
...
hal-01441829v1  Pré-publication, Document de travail
Pierre-Marie Pédrot, Nicolas Tabareau. An Effectful Way to Eliminate Addiction to Dependence
2017
...
hal-01273427v2  Communication dans un congrès
Adrien Lèbre, Jonathan Pastor, Anthony Simonet, Frédéric Desprez. Revising OpenStack to Operate Fog/Edge Computing infrastructures
IEEE International Conference on Cloud Engineering, Apr 2017, Vancouver, France. 2017, <http://conferences.computer.org/IC2E/2017/>
...
hal-01432752v1  Communication dans un congrès
Yunbo Li, Anne-Cécile Orgerie, Jean-Marc Menaud. Balancing the use of batteries and opportunistic scheduling policies for maximizing renewable energy consumption in a Cloud data center
PDP 2017 - 25th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing , Mar 2017, St Petersburg, Russia. 2017
...
hal-01450517v1  Article dans une revue
Frederico Alvares, Eric Rutten, Lionel Seinturier. A Domain-specific Language for The Control of Self-adaptive Component-based Architecture
Journal of Systems and Software, Elsevier, 2017

Contact


archive-ouverte@inria.fr