Search - Archive ouverte HAL Access content directly

Filter your results

30 Results
Deposit type : Fulltext
Image document

Lawvere-Tierney sheafification in Homotopy Type Theory

Kevin Quirin , Nicolas Tabareau
Journal of Formalized Reasoning, 2016, 9 (2), ⟨10.6092/issn.1972-5787/6232⟩
Journal articles hal-01451710v1
Image document

Etendre des interpréteurs par détournement, ou comment étendre des interpréteurs sans en modifier le code : avec une application à des analyses dynamiques pour un interpréteur de JavaScript

Florent Marchand de Kerchove
Langage de programmation [cs.PL]. Ecole des Mines de Nantes, 2016. Français. ⟨NNT : 2016EMNA0223⟩
Theses tel-01415588v2
Image document

Deploying Distributed Cloud Infrastructures: Who and at What Cost?

Adrien Lebre , Anthony Simonet , Anne-Cécile Orgerie
Proceedings of the fifth IEEE International Workshop on Cloud Computing Interclouds, Multiclouds, Federations, and Interoperability, Apr 2016, Berlin, Germany. pp.6, ⟨10.1109/IC2EW.2016.48⟩
Conference papers hal-01404594v1
Image document

Langage dédié au traitement des événements complexes et modélisation des usages pour les réseaux de capteurs

Alexandre Garnier
Informatique et langage [cs.CL]. Ecole des Mines de Nantes, 2016. Français. ⟨NNT : 2016EMNA0287⟩
Theses tel-01496893v1
Image document

Contributions à la mise en place d'une infrastructure de Cloud Computing à large échelle

Jonathan Pastor
Autre [cs.OH]. Ecole des Mines de Nantes, 2016. Français. ⟨NNT : 2016EMNA0240⟩
Theses tel-01416099v1
Image document

A Ring to Rule Them All - Revising OpenStack Internals to Operate Massively Distributed Clouds

Adrien Lebre , Jonathan Pastor , Frédéric Desprez
[Technical Report] RT-0480, INRIA. 2016, pp.1-24
Reports hal-01320235v1
Image document

Monitoring accountability policies with AccMon framework

Walid Benghabrit , Hervé Grall , Jean-Claude Royer
GDR-GPL, Jun 2016, Besançon, France
Conference poster hal-01332040v1
Image document

Seamless concurrent programming of objects, aspects and events

Jurgen Michael van Ham
Programming Languages [cs.PL]. Ecole des Mines de Nantes, 2015. English. ⟨NNT : 2015EMNA0118⟩
Theses tel-01238752v1
Image document

A Language for the Composition of Privacy-Enforcement Techniques

Ronan-Alexandre Cherrueau , Rémi Douence , Mario Südholt
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⟩
Conference papers hal-01168303v1
Image document

VMPlaceS: A Generic Tool to Investigate and Compare VM Placement Algorithms

Adrien Lebre , Jonathan Pastor , Mario Südholt
Europar 2015, Aug 2015, Vienne, Austria
Conference papers hal-01159033v1
Image document

Time-Series Constraints: Improvements and Application in CP and MIP Contexts

Ekaterina Arafailova , Nicolas Beldiceanu , Rémi Douence , Pierre Flener , María Andreína Francisco Rodríguez et al.
CPAIOR 2016 - 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, May 2016, Banff, Canada. pp.18-34, ⟨10.1007/978-3-319-33954-2⟩
Conference papers hal-01355262v1
Image document

Towards Modular Instrumentation of Interpreters in JavaScript

Florent Marchand de Kerchove , Jacques Noyé , Mario Südholt
FOAL - Foundations of Aspect-Oriented Languages, Mar 2015, Fort Collins, United States. ⟨10.1145/2735386.2736753⟩
Conference papers hal-01116662v1
Image document

Bringing Complex Event Processing into Multitree Modelling of Sensors

Alexandre Garnier , Jean-Marc Menaud , Nicolas Montavont
16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.196-210, ⟨10.1007/978-3-319-39577-7_16⟩
Conference papers hal-01434795v1
Image document

Gestion autonomique de l'élasticité multi-couche des applications dans le Cloud : vers une utilisation efficiente des ressources et des services du Cloud

Simon Dupont
Génie logiciel [cs.SE]. Ecole des Mines de Nantes, 2016. Français. ⟨NNT : 2016EMNA0239⟩
Theses tel-01344377v1
Image document

Quel système de stockage pour les architectures Fog ?

Bastien Confais , Adrien Lebre , Benoît Parrein
Compas'2016, Jul 2016, Lorient, France
Conference papers hal-01376292v1
Image document

Partial Type Equivalences for Verified Dependent Interoperability

Pierre-Evariste Dagand , Nicolas Tabareau , Éric Tanter
ICFP 2016 - 21st ACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. pp.298-310, ⟨10.1145/2951913.2951933⟩
Conference papers hal-01328012v1
Image document

Un langage de composition des techniques de sécurité pour préserver la vie privée dans le nuage

Ronan-Alexandre Cherrueau
Cryptographie et sécurité [cs.CR]. Ecole des Mines de Nantes, 2016. Français. ⟨NNT : 2016EMNA0233⟩
Theses tel-01416166v1
Image document

Enabling Green Energy awareness in Interactive Cloud Application

Md Sabbir Hasan , Frederico Alvares de Oliveira , Thomas Ledoux , Jean-Louis Pazat
CloudCom 2016: IEEE International Conference on Cloud Computing Technology and Science, Dec 2016, Luxembourg, Luxembourg. ⟨10.1109/CloudCom.2016.0071⟩
Conference papers hal-01365230v1
Image document

Open Scope: A Pragmatic JavaScript Pattern for Modular Instrumentation

Florent Marchand de Kerchove , Jacques Noyé , Mario Südholt
2015
Preprints, Working Papers, ... hal-01181143v2
Image document

Reducing synchronization cost in distributed multi-resource allocation problem

Jonathan Lejeune , Luciana Arantes , Julien Sopena , Pierre Sens
ICPP 2015 - 44th International Conference on Parallel Processing, Sep 2015, Beijing, China. pp.540-549, ⟨10.1109/ICPP.2015.63⟩
Conference papers hal-01162329v1
Image document

Using finite transducers for describing and synthesising structural time-series constraints

Nicolas Beldiceanu , Mats Carlsson , Rémi Douence , Helmut Simonis
Constraints, 2016, 21 (1), pp.19. ⟨10.1007/s10601-015-9200-3⟩
Journal articles hal-01370322v1
Image document

Analyses et préconisations pour les centres de données virtualisés

Frédéric Dumont
Calcul parallèle, distribué et partagé [cs.DC]. Ecole des Mines de Nantes, 2016. Français. ⟨NNT : 2016EMNA0249⟩
Theses tel-01880572v1
Image document

The Definitional Side of the Forcing

Guilhem Jaber , Gabriel Lewertowski , Pierre-Marie Pédrot , Matthieu Sozeau , Nicolas Tabareau et al.
Logics in Computer Science, May 2016, New York, United States. ⟨10.1145/http://dx.doi.org/10.1145/2933575.2935320⟩
Conference papers hal-01319066v1
Image document

A Language for the Composition of Privacy-Enforcement Techniques

Ronan-Alexandre Cherrueau , Rémi Douence , Mario Südholt
[Research Report] RR-8720, Inria Rennes; École des Mines de Nantes; INRIA. 2015
Reports hal-01145694v1
Image document

Managing Logical and Computational Complexity using Program Transformations

Nicolas Tabareau
Category Theory [math.CT]. université de nantes, 2016
Habilitation à diriger des recherches tel-01406351v1
Image document

Lawvere-Tierney sheafification in Homotopy Type Theory

Kevin Quirin
Logic in Computer Science [cs.LO]. Ecole des Mines de Nantes, 2016. English. ⟨NNT : 2016EMNA0298⟩
Theses tel-01486550v1
Image document

Reducing synchronization cost in distributed multi-resource allocation problem

Jonathan Lejeune , Luciana Arantes , Julien Sopena , Pierre Sens
[Research Report] RR-8689, Ecole des Mines de Nantes, Inria, LINA; Sorbonne Universités, UPMC, CNRS, Inria, LIP6; INRIA. 2015
Reports hal-01120808v2
Image document

Experimental Analysis on Autonomic Strategies for Cloud Elasticity

Simon Dupont , Jonathan Lejeune , Frederico Alvares , Thomas Ledoux
2015 IEEE International Conference on Cloud and Autonomic Computing (ICCAC), Sep 2015, Cambridge, United States
Conference papers hal-01178419v1
Image document

ENOS: a Holistic Framework for Conducting Scientific Evaluations of OpenStack

Ronan-Alexandre Cherrueau , Adrien Lebre , Dimitri Pertin , Anthony Simonet , Matthieu Simonin et al.
[Technical Report] RT-0485, Inria Rennes Bretagne Atlantique; Nantes. 2016
Reports hal-01415522v2
Image document

Performance Analysis of Object Store Systems in a Fog/Edge Computing Infrastructures

Bastien Confais , Adrien Lebre , Benoît Parrein
CloudCom, Dec 2016, Luxembourg, Luxembourg
Conference papers hal-01397686v1