Lawvere-Tierney sheafification in Homotopy Type Theory
Kevin Quirin
,
Nicolas Tabareau
Journal articles
hal-01451710v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Theses
tel-01415588v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Langage dédié au traitement des événements complexes et modélisation des usages pour les réseaux de capteurs
Alexandre Garnier
Theses
tel-01496893v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Contributions à la mise en place d'une infrastructure de Cloud Computing à large échelle
Jonathan Pastor
Theses
tel-01416099v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Monitoring accountability policies with AccMon framework
Walid Benghabrit
,
Hervé Grall
,
Jean-Claude Royer
GDR-GPL , Jun 2016, Besançon, France
Conference poster
hal-01332040v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Seamless concurrent programming of objects, aspects and events
Jurgen Michael van Ham
Theses
tel-01238752v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Towards Modular Instrumentation of Interpreters in JavaScript
Florent Marchand de Kerchove
,
Jacques Noyé
,
Mario Südholt
Conference papers
hal-01116662v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Theses
tel-01344377v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Un langage de composition des techniques de sécurité pour préserver la vie privée dans le nuage
Ronan-Alexandre Cherrueau
Theses
tel-01416166v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Open Scope: A Pragmatic JavaScript Pattern for Modular Instrumentation
Florent Marchand de Kerchove
,
Jacques Noyé
,
Mario Südholt
2015
Preprints, Working Papers, ...
hal-01181143v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Using finite transducers for describing and synthesising structural time-series constraints
Nicolas Beldiceanu
,
Mats Carlsson
,
Rémi Douence
,
Helmut Simonis
Journal articles
hal-01370322v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The Definitional Side of the Forcing
Guilhem Jaber
,
Gabriel Lewertowski
,
Pierre-Marie Pédrot
,
Matthieu Sozeau
,
Nicolas Tabareau
et al.
Conference papers
hal-01319066v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Managing Logical and Computational Complexity using Program Transformations
Nicolas Tabareau
Category Theory [math.CT]. université de nantes, 2016
Habilitation à diriger des recherches
tel-01406351v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Lawvere-Tierney sheafification in Homotopy Type Theory
Kevin Quirin
Theses
tel-01486550v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More