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 ×
85 résultats
enregistrer la recherche
Type de document
Thèse
(70)
HDR
(15)
Auteur
Sébastien Tixeuil
(2)
Alain Y. Kibangou
(1)
Anne-Cécile Orgerie
(1)
Anthony Simonet
(1)
Anthony Ventresque
(1)
Antoine Boutet
(1)
Arnaud Lefray
(1)
Bartosz Grabiec
(1)
Camille Coti
(1)
Charbel Rahhal
(1)
Christophe Hauser
(1)
Christophe Joubert
(1)
Cristian Klein-Halmaghi
(1)
Cristian Ruiz
(1)
Daniel Hagimont
(1)
Denis Jacquet
(1)
Emmanuelle Lebhar
(1)
Felipe Luna del Aguila
(1)
Flavien Quesnel
(1)
François-Gaël Ottogalli
(1)
Frederic Saunier
(1)
Frédéric Suter
(1)
Georges Brun-Cottan
(1)
Gia Hien Nguyen
(1)
Guillaume Baudart
(1)
Guthemberg Da Silva Silvestre
(1)
Hamoudi Kalla
(1)
Heverson Borba Ribeiro
(1)
Izabela Moise
(1)
Jing Bai
(1)
Jonathan Labéjof
(1)
Jorge-Arnulfo Quiane-Ruiz
(1)
Jérôme Gallard
(1)
Konstantinos Kloudas
(1)
Loïc Hélouët
(1)
Luc Bellissard
(1)
Mahmoud El Chamie
(1)
Mahsa Najafzadeh
(1)
Manamiary Bruno Andriamiarina
(1)
Marc Sergent
(1)
Marion Guthmuller
(1)
Marko Obrovac
(1)
Marouane Himda
(1)
Maurice-Djibril Faye
(1)
Mohamed Hamza Kaaouachi
(1)
Mohamed Jawad
(1)
Mohammad Alaggan
(1)
Mounir Tlili
(1)
Nicolas Le Scouarnec
(1)
Olivier Simonin
(1)
Ornela Dardha
(1)
Pankesh Patel
(1)
Paul Lajoie-Mazenc
(1)
Pierpaolo Cincilla
(1)
Pierre Obame Meye
(1)
Pierre Riteau
(1)
Rouwaida Abdallah
(1)
Roya Golchay
(1)
Samir Jafar
(1)
Saverio Giallorenzo
(1)
Stamatis Zampetakis
(1)
Stéphane Genaud
(1)
Sylvain Castagnos
(1)
Sébastien Monnet
(1)
Thomas Chatain
(1)
Thomas Gazagnaire
(1)
Tomasz Buchert
(1)
Violaine Villebonnet
(1)
Willy Malvaut-Martiarena
(1)
Xiao Bai
(1)
Yanwen Chen
(1)
Alexandre Denis
(1)
Fabien Gandon
(1)
François Taïani
(1)
Hassan Ibrahim
(1)
Lina Ye
(1)
Ludovic Henrio
(1)
Mario Südholt
(1)
Martin Quinson
(1)
Rodolphe Charrier
(1)
Samy Abbes
(1)
Marc Shapiro
(1)
Gerson Sunyé
(1)
Thomas Nowak
(1)
Domaine
Informatique [cs]
(82)
Sciences de l'ingénieur [physics]
(4)
Laboratoire
Inria Rennes – Bretagne Atlantique
(26)
Institut de Recherche en Informatique et Systèmes Aléatoires
(20)
Inria Grenoble - Rhône-Alpes
(14)
Inria Sophia Antipolis - Méditerranée
(9)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(8)
Laboratoire de l'Informatique du Parallélisme
(8)
Inria Paris-Rocquencourt
(7)
Laboratoire de Recherche en Informatique
(7)
Inria Nancy - Grand Est
(5)
Inria Saclay - Ile de France
(5)
Laboratoire d'Informatique de Paris 6
(5)
Laboratoire d'Informatique de Nantes Atlantique
(4)
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
(4)
Inria de Paris
(3)
Laboratoire d'Informatique de Grenoble
(3)
CITI Centre of Innovation in Telecommunications and Integration of services
(2)
Department of Computer Science and Engineering [Bologna]
(2)
Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
(2)
Département informatique - EMN
(2)
Grenoble Images Parole Signal Automatique
(2)
INRIA Lorraine
(2)
Informatique et Distribution
(2)
Laboratoire d'Informatique Fondamentale de Lille
(2)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(2)
Centre de Calcul de l'IN2P3
(1)
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
(1)
Computing Department [Lancaster]
(1)
Dipartimento di Scienze dell'Informazione [Bologna]
(1)
Département d'informatique de l'École normale supérieure
(1)
Ecole normale supérieure
(1)
Inria Bordeaux - Sud-Ouest
(1)
Inria Lille - Nord Europe
(1)
Inria@SiliconValley
(1)
Institut de recherche en informatique de Toulouse
(1)
LINA
(1)
Laboratoire Spécification et Vérification [Cachan]
(1)
Laboratoire d'automatique de Grenoble
(1)
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
(1)
Microsoft Research [Cambridge]
(1)
SUPELEC-Campus Rennes
(1)
Technicolor R & I [Cesson Sévigné]
(1)
Langue
anglais
(50)
français
(35)
Mot-clé
Distributed systems
(38)
Systèmes distribués
(23)
Type de dépôt
Document
(85)
Année
2017
(1)
2016
(10)
2015
(10)
2014
(7)
2013
(12)
2012
(4)
2011
(10)
2010
(4)
2009
(3)
2008
(5)
2007
(2)
2006
(3)
2005
(3)
2004
(2)
2003
(1)
2002
(2)
2001
(1)
2000
(1)
1998
(2)
1997
(1)
1996
(1)
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
3
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 85 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-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-00124843
v1
Thèse
Sébastien Tixeuil
.
Auto-stabilisation Efficace
Réseaux et télécommunications [cs.NI]. Université Paris Sud - Paris XI, 2000. Français
tel-00927150
v1
Thèse
Pankesh Patel
.
Enabling High-Level Application Development for the Internet of Things
Ubiquitous Computing. Université Pierre et Marie Curie - Paris VI, 2013. English
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
tel-00160422
v1
Thèse
Georges Brun-Cottan
.
Cohérence de données répliquées partagées par un groupe de processus coopérant à distance
Réseaux et télécommunications [cs.NI]. Université Pierre et Marie Curie - Paris VI, 1998. Français
tel-01358190
v1
Thèse
Cristian Ruiz
.
Methods and Tools for Challenging experiments on Grid'5000: a use case on electro-magnetic hybrid simulation
Distributed, Parallel, and Cluster Computing [cs.DC]. Universite de Grenoble, 2014. English
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-00926306
v1
HDR
Thomas Chatain
.
Concurrency in Real-Time Distributed Systems, from Unfoldings to Implementability
Formal Languages and Automata Theory [cs.FL]. École normale supérieure de Cachan - ENS Cachan, 2013
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-00486842
v1
HDR
Mario Südholt
.
Towards expressive, well-founded and correct Aspect-Oriented Programming
Software Engineering [cs.SE]. Université de Nantes, 2007
tel-00464475
v1
Thèse
Jorge-Arnulfo Quiane-Ruiz
.
A SATISFACTION-BASED QUERY ALLOCATION FRAMEWORK FOR DISTRIBUTED INFORMATION SYSTEMS
Networking and Internet Architecture [cs.NI]. Université de Nantes, 2008. English
tel-00085169
v1
Thèse
Samir Jafar
.
Programmation des systèmes parallèles distribués : tolérance aux pannes, résilience et adaptabilité
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2006. Français
tel-00538260
v1
Thèse
Marouane Himda
.
Performance des systèmes distribués : proposition d'une plateforme fédératrice de la supervision
Génie logiciel [cs.SE]. Université Rennes 1, 2007. Français
tel-00643789
v1
Thèse
Mounir Tlili
.
Infrastructure P2P pour la Réplication et la Réconciliation des Données
Base de données [cs.DB]. Université de Nantes, 2011. Français
tel-00638721
v1
Thèse
Mohamed Jawad
.
Data Privacy in P2P Systems
Computer Science [cs]. Université de Nantes, 2011. English
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-01108975
v1
Thèse
Pierpaolo Cincilla
.
Gargamel: boosting DBMS performance by parallelising write transactions
Computer Science [cs]. UPMC, 2014. English
tel-01351187
v1
Thèse
Mahsa Najafzadeh
.
The Analysis and Co-design of Weakly-Consistent Applications
Other [cs.OH]. Université Pierre et Marie Curie, 2016. English
tel-00931562
v1
Thèse
Guthemberg Da Silva Silvestre
.
Designing Adaptive Replication Schemes for Efficient Content Delivery in Edge Networks
Networking and Internet Architecture [cs.NI]. Université Pierre et Marie Curie - Paris VI, 2013. 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-01258363
v1
Thèse
Manamiary Bruno Andriamiarina
.
Développement d'algorithmes répartis corrects par construction
Modélisation et simulation. Université de Lorraine; Loria & Inria Grand Est, 2015. Français
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-01020998
v1
Thèse
Ornela Dardha
.
Type Systems for Distributed Programs: Components and Sessions
Programming Languages [cs.PL]. Università degli studi di Bologna, 2014. English
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-01255818
v1
HDR
Gerson Sunyé
.
A Model-Based Approach for Testing Large Scale Systems
Software Engineering [cs.SE]. Université de Nantes, 2015
tel-00011646
v1
Thèse
Emmanuelle Lebhar
.
Algorithmes de routage et modèles aléatoires pour les graphes petits mondes
Réseaux et télécommunications [cs.NI]. Ecole normale supérieure de lyon - ENS LYON, 2005. 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>
1
2
3
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 85 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.