Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Documentation
Episciences.org
Sciencesconf.org
Support
Connexion
Connexion
Créer un compte
Mot de passe oublié ?
Login oublié ?
fr
en
Accueil
Dépôt
Consulter
Les derniers dépôts
Par discipline
Par date de soutenance
Consultation par collections
Recherche
Documentation HAL
Recherche
Filtres
Structure : Identifiant HAL de la structure ×
Mots-clés ×
Tous ×
46 résultats
enregistrer la recherche
Type de document
Thèse
(38)
HDR
(8)
Auteur
Anne-Cécile Orgerie
(1)
Anthony Ventresque
(1)
Antoine Boutet
(1)
Arnaud Lefray
(1)
Camille Coti
(1)
Charbel Rahhal
(1)
Christophe Hauser
(1)
Cristian Klein-Halmaghi
(1)
Daniel Balouek-Thomert
(1)
Denis Jacquet
(1)
François Fouquet
(1)
Frédéric Suter
(1)
Gia Hien Nguyen
(1)
Guillaume Baudart
(1)
Hamoudi Kalla
(1)
Konstantinos Kloudas
(1)
Loïc Hélouët
(1)
Marion Guthmuller
(1)
Maurice-Djibril Faye
(1)
Nicolas Le Scouarnec
(1)
Paul Lajoie-Mazenc
(1)
Pierre Obame Meye
(1)
Romaric Ludinard
(1)
Rouwaida Abdallah
(1)
Roya Golchay
(1)
Saverio Giallorenzo
(1)
Stamatis Zampetakis
(1)
Stéphane Genaud
(1)
Sébastien Monnet
(1)
Thomas Roche
(1)
Tomasz Buchert
(1)
Violaine Villebonnet
(1)
William Hoarau
(1)
Willy Malvaut-Martiarena
(1)
Xiao Bai
(1)
Yanwen Chen
(1)
Gilles Trédan
(1)
Hassan Ibrahim
(1)
Laurent Lefèvre
(1)
Lina Ye
(1)
Ludovic Henrio
(1)
Martin Quinson
(1)
Samy Abbes
(1)
Thomas Nowak
(1)
Sébastien Tixeuil
(1)
Yann Busnel
(1)
Domaine
Informatique [cs]
(44)
Sciences de l'ingénieur [physics]
(2)
Mathématiques [math]
(1)
Laboratoire
Inria Rennes – Bretagne Atlantique
(15)
Institut de Recherche en Informatique et Systèmes Aléatoires
(13)
Inria Grenoble - Rhône-Alpes
(11)
Laboratoire de l'Informatique du Parallélisme
(8)
Laboratoire de Recherche en Informatique
(7)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(5)
Inria Nancy - Grand Est
(4)
Inria Saclay - Ile de France
(4)
Inria Sophia Antipolis - Méditerranée
(3)
Laboratoire d'Informatique de Grenoble
(3)
Inria Paris-Rocquencourt
(2)
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
(2)
CITI Centre of Innovation in Telecommunications and Integration of services
(1)
Centre de Calcul de l'IN2P3
(1)
Department of Computer Science and Engineering [Bologna]
(1)
Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
(1)
Département Informatique et Télécommunications
(1)
Département d'informatique de l'École normale supérieure
(1)
Ecole normale supérieure
(1)
Grenoble Images Parole Signal Automatique
(1)
INRIA Lorraine
(1)
Inria de Paris
(1)
Inria@SiliconValley
(1)
Institut de recherche en informatique de Toulouse
(1)
Laboratoire d'Informatique Fondamentale de Lille
(1)
Laboratoire d'Informatique de Paris 6
(1)
Laboratoire d'automatique de Grenoble
(1)
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
(1)
SUPELEC-Campus Rennes
(1)
Technicolor R & I [Cesson Sévigné]
(1)
Langue
anglais
(28)
français
(18)
Mot-clé
Systèmes distribués
(31)
Distributed systems
(24)
Type de dépôt
Document
(46)
Année
2017
(1)
2016
(7)
2015
(6)
2014
(4)
2013
(8)
2012
(2)
2011
(3)
2010
(4)
2009
(3)
2008
(4)
2006
(2)
2004
(2)
Rechercher
Recherche avancée…
Recherche simple…
Champ de recherche par défaut (multicritères)
Champ de recherche par défaut (multicritères)
Champ de recherche par défaut (multicritères) + texte intégral des PDF
Titres
Sous-titre
Titre de l'ouvrage
Résumé
Texte intégral indexé des documents PDF
Mots-clés
Tous les identifiants du document
Identifiant HAL du dépôt
Langue du document (texte)
Pays (Texte)
Ville
Auteur (multicritères)
Auteur : Nom complet
Auteur : Nom de famille
Auteur : Prénom
Auteur : Complément de nom, deuxième prénom
Auteur : Organisme payeur
Auteur : IdHal (chaîne de caractères)
Auteur : Fonction
Auteur : idHal numérique
Auteur : Identifiant
Auteur : Identifiant de l'organisme payeur
Auteur : Identifiant de la structure
Directeur de thèse
Éditeur
Éditeur scientifique
Éditeur de la série
Revues (multicritères)
Revue : Éditeur
Revue : Titre abrégé
Revue : Titre
Revue : Identifiant interne
Revue : Date de début de publication
Revue : ISSN électronique
Revue : ISSN
Revue : Éditeur
Revue : Couleur dans SHERPA/RoMEO
Revue : État dans le référentiel
Colloque (multicritères)
Colloque : Titre
Colloque : Organisateur
Colloque : date de début (Année)
Colloque : date de fin (Année)
Projets ANR (multicritères)
Projet ANR : Acronyme
Projet ANR : Acronyme de l'appel à projet
Projet ANR : Nom de l'appel à projet
Projet ANR : Référence
Projet ANR : Nom
Projet ANR : Identifiant interne
Projet ANR : État dans le référentiel
Projets européens (multicritères)
Projet européen : Acronyme
Projet européen : Identifiant de l'appel à projet
Projet européen : Référence
Projet européen : Nom
Projet européen : Date de fin
Projet européen : Financement
Projet européen : Date de début
Projet européen : État dans le référentiel
Projet européen : Identifiant interne
Structure (multicritères)
Structure : Acronyme
Structure : Nom
Structure : Code
Structure : Pays
Structure : Type
Structure : État dans le référentiel
Structure : Identifiant HAL de la structure
Date de publication : année
Date de mise en ligne : année
Date d'écriture : année
Date de modification du dépôt : année
Date de dépôt : année
Date de publication électronique : année
Collection HAL (multicritères)
Collection HAL : catégorie
Collection HAL : Code
Collection HAL : Nom
Collection HAL : Identifiant interne
Identifiant interne du contributeur/déposant
Nom complet du contributeur/déposant
Domaines
Domaine primaire
Domaine racine
Sous-domaine niveau 1
Sous-domaine niveau 2
Sous-domaine niveau 3
Statut du document
Version du document
Type de dépôt
Type de document
ISBN
Numéro - référence
Identifiant DOI
Classification
Audience
Vulgarisation
Comité de lecture - texte (oui ou non)
Actes de colloque
Référence interne
Financement
Collaborations
Enregistrement réussi
Mes recherches enregistrées / mes alertes
Une erreur est survenue lors de l'enregistrement
1
2
Tri
Pertinence
Auteur A→Z
Auteur Z→A
Titre A→Z
Titre Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Nombre
30 résultats par page
50 résultats par page
100 résultats par page
Outils
Pour les 46 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
tel-00150434
v1
Thèse
Denis Jacquet
.
Macroscopic Freeway Modelling and Control.
Automatic. Institut National Polytechnique de Grenoble - INPG, 2006. English
tel-00440503
v1
HDR
Stéphane Genaud
.
Exécutions de programmes parallèles à passage de messages sur grille de calcul
Réseaux et télécommunications [cs.NI]. Université Henri Poincaré - Nancy I, 2009
tel-00281532
v1
Thèse
William Hoarau
.
INJECTION DE FAUTES DANS LES SYSTEMES DISTRIBUES
Informatique [cs]. Université Paris Sud - Paris XI, 2008. Français
tel-00925154
v1
HDR
Laurent Lefèvre
.
Contributions à la flexibilité et à l'efficacité énergétique des systèmes distribués à grande échelle
Calcul parallèle, distribué et partagé [cs.DC]. Ecole normale supérieure de lyon - ENS LYON, 2013
tel-00124848
v1
HDR
Sébastien Tixeuil
.
Vers l'auto-stabilisation des systèmes à grande échelle
Réseaux et télécommunications [cs.NI]. Université Paris Sud - Paris XI, 2006
tel-00008413
v2
Thèse
Hamoudi Kalla
.
Génération automatique de distributions/ordonnancements temps réel, fiables et tolérants aux fautes
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2004. Français
pastel-01061470
v1
Thèse
Thomas Nowak
.
Transient Behavior of Distributed Algorithms and Digital Circuit Models
Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole Polytechnique X, 2014. English
tel-01199185
v1
HDR
Frédéric Suter
.
Bridging a Gap Between Research and Production: Contributions to Scheduling and Simulation
Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole normale supérieure de Lyon, 2014
tel-01507595
v1
Thèse
Guillaume Baudart
.
A Synchronous Approach to Quasi-Periodic Systems
Embedded Systems. Ecole normale supérieure - ENS PARIS, 2017. English
tel-01273964
v1
Thèse
Tomasz Buchert
.
Managing large-scale, distributed systems research experiments with control-flows
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lorraine, 2016. English
tel-01231868
v1
Thèse
Marion Guthmuller
.
Vérification dynamique formelle de propriétés temporelles sur des applications distribuées réelles
Informatique [cs]. Université de Lorraine, 2015. Français
tel-00543961
v1
Thèse
Charbel Rahhal
.
Wikis sémantiques distribués sur réseaux pair-à-pair
Informatique [cs]. Université Henri Poincaré - Nancy I, 2010. Français
tel-00457820
v1
Thèse
Anthony Ventresque
.
Espaces vectoriels sémantiques : enrichissement et interprétation de requêtes dans un système d'information distribué et hétérogène
Informatique [cs]. Université de Nantes, 2008. Français
tel-00452399
v1
Thèse
Thomas Roche
.
Dimensionnement et intégration d'un chiffre symétrique dans le contexte d'un système d'information distribué de grande taille.
Informatique [cs]. Université Joseph-Fourier - Grenoble I, 2010. Français
tel-00780719
v1
Thèse
Cristian Klein-Halmaghi
.
Cooperative Resource Management for Parallel and Distributed Systems
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English.
<NNT : 2012ENSL0773>
tel-00676937
v1
Thèse
Camille Coti
.
Environnements d'exécution pour applications parallèles communiquant par passage de messages pour les systèmes à grande échelle et les grilles de calcul
Calcul parallèle, distribué et partagé [cs.DC]. Université Paris Sud - Paris XI, 2009. Français
tel-00342652
v1
Thèse
Gia Hien Nguyen
.
Reliability of answers in semantic peer-to-peer networks
Computer Science [cs]. Université Joseph-Fourier - Grenoble I, 2008. English
tel-00635695
v1
Thèse
Lina Ye
.
Optimized diagnosability of distributed discrete event systems through abstraction
Computer Science [cs]. Université Paris Sud - Paris XI, 2011. English.
<NNT : 2011PA112114>
tel-01241522
v1
HDR
Sébastien Monnet
.
Contributions à la réplication de données dans les systèmes distribués à grande échelle
Algorithme et structure de données [cs.DS]. UPMC Université Paris VI, 2015
tel-00672130
v1
Thèse
Anne-Cécile Orgerie
.
An Energy-Efficient Reservation Framework for Large-Scale Distributed Systems
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English.
<NNT : 2011ENSL0640>
tel-01486738
v1
Thèse
Hassan Ibrahim
.
SAT-Based Diagnosability and Predictability Analysis in Centralized and Distributed Discrete Event Systems
Artificial Intelligence [cs.AI]. Université Paris-Saclay, 2016. English
tel-00007150
v2
Thèse
Samy Abbes
.
Probabilistic model for distributed and concurrent systems. Limit theorems and application to statistical parametric estimation
Networking and Internet Architecture [cs.NI]. Université Rennes 1, 2004. English
tel-01336757
v1
Thèse
Saverio Giallorenzo
.
Real-World Choreographies
Distributed, Parallel, and Cluster Computing [cs.DC]. Università degli studi di Bologna, 2016. English
tel-00919684
v1
Thèse
Rouwaida Abdallah
.
Implementability of distributed systems described with scenarios
Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2013. English.
< NNT : 2013DENS0027 >
tel-00545642
v1
Thèse
Xiao Bai
.
Personalized top-k processing: from centralized to decentralized systems
Networking and Internet Architecture [cs.NI]. INSA de Rennes, 2010. English
tel-00545641
v1
Thèse
Nicolas Le Scouarnec
.
Coding for resource optimization in large-scale distributed systems
Networking and Internet Architecture [cs.NI]. INSA de Rennes, 2010. English
tel-00720022
v1
HDR
Ludovic Henrio
.
Formal Models for Programming and Composing Correct Distributed Systems
Programming Languages [cs.PL]. Université Nice Sophia Antipolis, 2012
tel-00927316
v1
HDR
Martin Quinson
.
Computational Science of Computer Systems
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lorraine, 2013
tel-01229874
v1
Thèse
Arnaud Lefray
.
Security for Virtualized Distributed Systems : from Modelization to Deployment
Modeling and Simulation. Ecole normale supérieure de lyon - ENS LYON, 2015. English.
< NNT : 2015ENSL1032 >
tel-00633787
v1
Thèse
Willy Malvaut-Martiarena
.
Vers une architecture pair-à-pair pour l'informatique dans le nuage
Autre [cs.OH]. Université de Grenoble, 2011. Français.
<NNT : 2011GRENM044>
1
2
Tri
Pertinence
Auteur A→Z
Auteur Z→A
Titre A→Z
Titre Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Nombre
30 résultats par page
50 résultats par page
100 résultats par page
Outils
Pour les 46 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.