Filtrer vos résultats
- 38
- 7
- 29
- 6
- 5
- 2
- 1
- 1
- 1
- 45
- 4
- 43
- 1
- 1
- 44
- 1
- 45
- 45
- 14
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 12
- 8
- 6
- 6
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
45 résultats
|
|
triés par
|
ElaScript: a DSL for Coding Elasticity in Cloud ComputingSAC 2017 : Symposium on Applied Computing, Apr 2017, Marrakech, Morocco. pp.392-398, ⟨10.1145/3019612.3019631⟩
Communication dans un congrès
hal-01400236v1
|
|||
K-binID : Identification de code binaire noyau à des fins d’introspection de machine virtuelleConférence d’informatique en Parallélisme, Architecture et Système (ComPAS), Jun 2017, Sophia Antipolis, France
Communication dans un congrès
hal-01520863v1
|
|||
K-binID: Kernel Binary Code Identification for Virtual Machine IntrospectionDSC 2017 : IEEE Conference on Dependable and Secure Computing, Aug 2017, Taipei, Taiwan. ⟨10.1109/DESEC.2017.8073801⟩
Communication dans un congrès
hal-01520867v1
|
|||
|
Balancing the use of batteries and opportunistic scheduling policies for maximizing renewable energy consumption in a Cloud data centerPDP 2017 : 25th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, Mar 2017, St Petersburg, Russia. ⟨10.1109/PDP.2017.24⟩
Communication dans un congrès
hal-01432752v1
|
||
|
An Object Store Service for a Fog/Edge Computing Infrastructure based on IPFS and Scale-out NAS1st IEEE International Conference on Fog and Edge Computing - ICFEC’2017, May 2017, Madrid, Spain. pp.41-50, ⟨10.1109/ICFEC.2017.13⟩
Communication dans un congrès
hal-01483702v1
|
||
|
Reconsidering the Relationship between Cloud Computing and Cloud ManufacturingSOHOMA 2017 : Service Orientation in Holonic and Multi-Agent Manufacturing, Oct 2017, Nantes, France. pp.217-228, ⟨10.1007/978-3-319-73751-5_16⟩
Communication dans un congrès
hal-01591113v1
|
||
|
Model structure on the universe in a two level type theory2017
Pré-publication, Document de travail
hal-01579822v1
|
||
|
A formal model for accountabilityComputation and Language [cs.CL]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. ⟨NNT : 2017IMTA0043⟩
Thèse
tel-01692550v1
|
||
|
Modèles de la théorie des types donnés par traduction de programme28ièmes Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
Communication dans un congrès
hal-01503089v1
|
||
|
Implementation of a neurophysiological model of saccadic eye movements on an anthropomorphic robotic head6th IEEE-RAS International Conference on Humanoid Robots, Dec 2006, Gênes, Italy. pp.438-443, ⟨10.1109/ICHR.2006.321309⟩
Communication dans un congrès
hal-01525198v1
|
||
|
Formalising Real Numbers in Homotopy Type Theory6th ACM SIGPLAN Conference on Certified Programs and Proofs , Jan 2017, Paris, France. pp.112 - 124, ⟨10.1145/3018610.3018614⟩
Communication dans un congrès
hal-01449326v1
|
||
The Coq Proof Assistant, version 8.7.12017, pp.1-571. ⟨10.5281/zenodo.1133970⟩
Autre publication scientifique
hal-01673716v1
|
|||
|
RESCOM 2017 Summer schoolRESCOM 2017, Jun 2017, Le Croisic, France. CNRS, 2017
Proceedings/Recueil des communications
hal-01558074v1
|
||
|
Side-Channels Beyond the Cloud Edge : New Isolation Threats and SolutionsCSNet 2017 : 1st Cyber Security in Networking Conference, Oct 2017, Rio de Janeiro, Brazil. pp.1-8, ⟨10.1109/CSNET.2017.8241986⟩
Communication dans un congrès
hal-01593144v2
|
||
Privacy-Aware Data Storage in Cloud ComputingInternational Conference on Cloud Computing and Services Science (CLOSER), Apr 2017, Porto, Portugal. pp.8
Communication dans un congrès
hal-01472133v1
|
|||
|
Smart management of renewable energy in clouds : from infrastructure to applicationDistributed, Parallel, and Cluster Computing [cs.DC]. INSA de Rennes, 2017. English. ⟨NNT : 2017ISAR0010⟩
Thèse
tel-01617963v1
|
||
|
Performance Analysis of Object Store Systems in a Fog and Edge Computing InfrastructureTransactions on Large-Scale Data- and Knowledge-Centered Systems, 2017, Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIII, ⟨10.1007/978-3-662-55696-2_2⟩
Article dans une revue
hal-01587459v1
|
||
|
Towards a generic autonomic model to manage Cloud ServicesThe 7th International Conference on Cloud Computing and Services Science (CLOSER 2017), Apr 2017, Porto, Portugal. pp.175-186, ⟨10.5220/0006302801750186⟩
Communication dans un congrès
hal-01511360v1
|
||
|
A Domain-specific Language for The Control of Self-adaptive Component-based ArchitectureJournal of Systems and Software, 2017, ⟨10.1016/j.jss.2017.01.030⟩
Article dans une revue
hal-01450517v1
|
||
|
Eley: On the Effectiveness of Burst Buffers for Big Data Processing in HPC systemsCluster'17-2017 IEEE International Conference on Cluster Computing, Sep 2017, Honolulu, United States. ⟨10.1109/CLUSTER.2017.73⟩
Communication dans un congrès
hal-01570737v1
|
||
|
On Achieving Efficient Data Transfer for Graph Processing in Geo-Distributed DatacentersICDCS'17 : IEEE 37th International Conference on Distributed Computing Systems, Jun 2017, Atlanta, United States. ⟨10.1109/ICDCS.2017.98⟩
Communication dans un congrès
hal-01560187v1
|
||
|
An object store for Fog infrastructures based on IPFS and a Scale-Out NASRESCOM 2017, Jun 2017, Le Croisic, France. pp.2
Communication dans un congrès
hal-01559065v1
|
||
|
Reactive Model Transformation with ATLScience of Computer Programming, 2017, 136, pp.1 - 16. ⟨10.1016/j.scico.2016.08.006⟩
Article dans une revue
hal-01627991v1
|
||
|
Production Deployment Tools for IaaSes: an Overall Model and SurveyThe IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud), Aug 2017, Prague, Czech Republic. pp.183-190, ⟨10.1109/FiCloud.2017.51⟩
Communication dans un congrès
hal-01532489v1
|
||
|
Side Channels in the Cloud: Isolation Challenges, Attacks, and Countermeasures2017
Pré-publication, Document de travail
hal-01591808v1
|
||
|
Leveraging Renewable Energy in Edge Clouds for Data Stream Analysis in IoTCCGRID 2017 : 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2017, Madrid, Spain. pp.186-195, ⟨10.1109/CCGRID.2017.92⟩
Communication dans un congrès
hal-01472358v1
|
||
|
Energy-Driven Straggler Mitigation in MapReduceEuro-Par 2017 : 23rd International Conference on Parallel and Distributed Computing, Aug 2017, Santiago de Compostela, Spain. ⟨10.1007/978-3-319-64203-1_28⟩
Communication dans un congrès
hal-01560044v1
|
||
|
Resource allocation in a Cloud partially powered by renewable energy sourcesDistributed, Parallel, and Cluster Computing [cs.DC]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. ⟨NNT : 2017IMTA0019⟩
Thèse
tel-01595953v1
|
||
|
Cloud workload prediction and generation modelsSBAC-PAD 2017 : 29th International Symposium on Computer Architecture and High Performance Computing, Oct 2017, Campinas, Brazil. pp.89-96, ⟨10.1109/SBAC-PAD.2017.19⟩
Communication dans un congrès
hal-01578354v1
|
||
|
A Holistic Monitoring Service for Fog/Edge Infrastructures: a Foresight StudyThe IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud 2017), Aug 2017, Prague, Czech Republic. pp.337-344, ⟨10.1109/FiCloud.2017.30⟩
Communication dans un congrès
hal-01591161v1
|
- 1
- 2