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époser
Consulter
par date de publication/rédaction
par domaine
par type de publication
par collection
arXiv
Consultation les derniers dépôts
Recherche
Services
HalTools : créer sa page web
Haltools : export RAWEB
Bib2Hal : import par lot à partir d'un fichier BibTeX
Consulter les structures de recherche connues de HAL
Documentation
Aide en ligne de HAL V3
Dernières évolutions de HAL V3
Documentation API HAL
Ajouter des vignettes
Aide en ligne Haltools
Aide en ligne de Bib2hal
OpenAccess@Inria
Supports
Recherche
Filtres
Identifiant interne du contributeur/déposant ×
collCode_s ×
Tous ×
36 résultats
enregistrer la recherche
Type de document
Rapport
(36)
Auteur
Anne-Marie Kermarrec
(6)
Sébastien Tixeuil
(5)
Stéphane Devismes
(3)
Sylvie Delaët
(3)
Bernard Philippe
(2)
Christine Eisenbeis
(2)
Erwan Le Merrer
(2)
Hua Xiang
(2)
Maria Gradinariu Potop-Butucaru
(2)
Mikhail Nesterenko
(2)
Sébastien Tixeuil
(2)
Vincent Gramoli
(2)
Albert Cohen
(2)
Laura Grigori
(2)
Abdelfattah Belghith
(1)
Adlen Ksentini
(1)
Adnan Vora
(1)
Alexandru Iosup
(1)
Antonio Fernández
(1)
Bruno Tuffin
(1)
Christophe Collewet
(1)
Desire W. Nuentsa
(1)
Dick Epema
(1)
Didier Neveux
(1)
Don Towsley
(1)
Emmanuel Fleury
(1)
Emmanuel Kamgnia
(1)
Eric Ferley
(1)
Ernesto Jiménez
(1)
Etienne Rivière
(1)
Florence Plateau
(1)
François Chaumette
(1)
Fredrik Manne
(1)
Frédéric Gruau
(1)
Frédéric Voisin
(1)
Gabriela Ruberg
(1)
Guy Atenekeng Kahou
(1)
Gérard Ferrand
(1)
I. Guérin Lassous
(1)
Ioana Manolescu
(1)
J. Pagès
(1)
Jean Ferrié
(1)
Jean-Claude Raoult
(1)
Jean-Marie Bonnin
(1)
Jean-Marie Proth
(1)
Jean-Michel Busca
(1)
Joaquim Salvi
(1)
Jose Blanchet
(1)
Kandaraj Piamrat
(1)
Lamia Benmouffok
(1)
Laurence Pilard
(1)
Laurence Rozé
(1)
Luidnel Maignan
(1)
Marc Duranton
(1)
Marc Pouzet
(1)
Marie-Odile Cordier
(1)
Marie-Paule Cani
(1)
Marin Bertier
(1)
Mariusz Rokicki
(1)
Masafumi Yamashita
(1)
Mathieu Jan
(1)
Michel Raynal
(1)
Michelle Cart
(1)
Morten Mjelde
(1)
N. Mitton
(1)
Naouel Ben Ali
(1)
Nicolaas Ruberg
(1)
Olivier Beaumont
(1)
Olivier Temam
(1)
Ozan Sonmez
(1)
Partha Sarathi Mandal
(1)
Peter Glynn
(1)
Philippe Wolff
(1)
Pierre Deransart
(1)
Pierre Hellier
(1)
Pierre L'Ecuyer
(1)
Pierrick Coupé
(1)
Rachid Guerraoui
(1)
S. Tixeuil
(1)
Samuel Bernard
(1)
Sylvain Girbal
(1)
Yannick Moy
(1)
Yousef Saad
(1)
Zhen Liu
(1)
Renaud Blanch
(1)
Christian Barillot
(1)
Chengbin Chu
(1)
Claire Pagetti
(1)
Claudia-Lavinia Ignat
(1)
Eric Fleury
(1)
Gérald Oster
(1)
Gilles Trédan
(1)
Jean-Daniel Fekete
(1)
Jean-Dominique Gascuel
(1)
Lélia Blin
(1)
Miklós Molnár
(1)
Mireille Ducassé
(1)
Pascal Molli
(1)
Pierre Sutra
(1)
Bruno Sericola
(1)
Marc Shapiro
(1)
César Viho
(1)
Yann Busnel
(1)
Yves Dallery
(1)
Discipline
Informatique [cs]
(34)
Mathématiques [math]
(2)
Structure
Laboratoire de Recherche en Informatique
(19)
Inria Saclay - Ile de France
(18)
Institut de Recherche en Informatique et Systèmes Aléatoires
(16)
Inria Rennes – Bretagne Atlantique
(13)
Laboratoire d'Informatique Fondamentale de Lille
(11)
Laboratoire d'Informatique de Paris 6
(7)
Inria Paris-Rocquencourt
(4)
Inria Grenoble - Rhône-Alpes
(3)
CITI Centre of Innovation in Telecommunications and Integration of services
(2)
Department of computer science
(2)
INRIA Futurs
(2)
INRIA Lorraine
(2)
Inria Sophia Antipolis - Méditerranée
(2)
Centre de Recherche Réseau Image SysTème Architecture et MuLtimédia
(1)
Departament d'Electrònica, Informàtica i Automàtica
(1)
Department of Computer Science
(1)
Department of Computer Science [Amherst]
(1)
Department of Computer Science and Engineering [Minneapolis]
(1)
Department of Informatics
(1)
Department of Management Science and Engineering [Stanford]
(1)
Digisens
(1)
Distributed Programming Laboratory
(1)
Département Informatique et Télécommunications
(1)
Département d'Informatique et de Recherche Opérationnelle [Montreal]
(1)
Escuela Universidaria de Informática
(1)
Faculty of Computing, Engineering & Mathematical Sciences
(1)
France Télécom Recherche & Développement
(1)
GET|ENST - Département Réseaux, Sécurité et Multimédia
(1)
Graphisme, Vision et Robotique
(1)
Harvard University Statistics Department
(1)
Informatique, Biologie Intégrative et Systèmes Complexes
(1)
Laboratoire Bordelais de Recherche en Informatique
(1)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(1)
Laboratoire Méthodologie et Architecture des Systèmes Informatiques
(1)
Laboratoire d'Informatique Fondamentale d'Orléans
(1)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(1)
Laboratorio de Algoritmia Distribuida y Redes
(1)
Parallel and Distributed Group
(1)
Theoretical Computer Science Group
(1)
Collection
CENTRALESUPELEC
(36)
INRIA-RRRT
(6506)
INRIA
(6504)
LARA
(6475)
INRIA_TEST
(4177)
CNRS
(2814)
INRIA-SOPHIA
(1797)
INRIASO
(1790)
UR1-MATH-STIC
(1208)
IRISA
(1200)
UR1-UFR-ISTIC
(1200)
IRISA_SET
(1191)
UNIV-RENNES1
(1191)
UR1-HAL
(1191)
INSA-RENNES
(1060)
INRIA-ROCQ
(1006)
INRIA-RHA
(691)
INRIA-NANCY-GRAND-EST
(532)
INRIA-LORRAINE
(528)
LORIA2
(502)
INRIA2
(435)
PARISTECH
(422)
UNIV-LORRAINE
(340)
INPL
(298)
LORIA
(290)
UNICE
(268)
ENS-LYON
(255)
LIP
(251)
PRUNEL
(248)
I3S
(200)
UGA
(196)
INRIA-SACLAY
(193)
PSL
(186)
ENPC
(185)
INSMI
(175)
UNIV-GRENOBLE1
(166)
DIEUDONNE
(150)
TDS-MACS
(146)
IMAG
(135)
UNIV-PSUD
(133)
X
(117)
X-DEP
(117)
ENS-PARIS
(114)
UPMC
(105)
INSTITUT-TELECOM
(94)
ENS-CACHAN
(88)
INRIA-RENNES
(74)
ENSTA
(67)
BIOENVIS
(63)
ENSMP
(58)
UNIV-AMU
(58)
DIEUDONNE-EDP-AN
(52)
ENSMP_CMA
(52)
TESTBORDEAUX
(51)
UNIV-PMF_GRENOBLE
(51)
INSA-LYON
(49)
USPC
(48)
INRIA-FUTURS
(47)
UNIV-LILLE3
(47)
GRID5000
(46)
LIP6
(46)
UNIV-FCOMTE
(46)
ENSMM
(43)
FEMTO-ST
(43)
UNIV-BM
(43)
UNIV-BM-THESE
(43)
IRISA-INSA-R
(40)
LIG
(40)
LIG_SRCPR
(40)
UNIV-PARIS7
(38)
ENSEIRB
(36)
IECN
(36)
INRIA-LILLE
(36)
UNIV-BORDEAUX
(36)
LABRI
(35)
UPEC-UPEM
(34)
ENS-RENNES
(33)
IRISA-D2
(33)
UPEC
(32)
IRISA-D4
(31)
TESTANNE
(31)
CERMICS
(29)
CMA
(29)
CMA-THESE
(29)
AGREENIUM
(28)
INSU
(26)
UMR8623
(26)
LJLL
(25)
UPMC_POLE_1
(24)
DIEUDONNE-MN-DF
(23)
IRMAR
(23)
IRISA-D5
(22)
UNIV-UBS
(22)
AGROCAMPUS-OUEST
(20)
UNAM
(20)
IRMA
(19)
UNIV-STRASBG
(19)
ACACIA
(17)
IRISA-D7
(17)
LIX
(16)
UNIV-TLSE3
(15)
CV_LIGM
(14)
IRCICA
(14)
X-DEP-INFO
(14)
X-LIX
(14)
HERVETHERY
(13)
MINES-NANTES
(13)
UNIV-NANTES
(13)
CEREMADE
(12)
AOSTE
(11)
CMAP
(11)
DIEUDONNE-ATG
(11)
INFO
(11)
UMA_ENSTA
(11)
UNIV-METZ
(11)
UNIV-STRASBG1
(11)
UNIV-TLSE2
(11)
IMB
(10)
INPG
(10)
INRA
(10)
UVSQ
(10)
X-CMAP
(10)
X-DEP-MATHA
(10)
IRISA-D6
(9)
LIAFA
(9)
LINA
(9)
LJK
(9)
SMS
(9)
UNIV-PARIS13
(9)
CEA
(8)
CSS
(8)
CV_UNIV-MLV
(8)
EDF
(8)
IRISA-D1
(8)
LIRMM
(8)
MIPS
(8)
UCA-TEST
(7)
UNIV-PAU
(7)
IRMAR-AN
(6)
LINA-ASCOLA
(6)
LJK_MAD
(6)
UNIV-BREST
(6)
UNIV-LYON1
(6)
UNIV-ORLEANS
(6)
CRISTAL
(5)
LAAS
(5)
LIF
(5)
MSL
(5)
MSL-THESE
(5)
ASCLEPIOS
(4)
CIRAD
(4)
CRISTAL-DOLPHIN
(4)
ENIB
(4)
ENSSAT
(4)
ENST
(4)
IRMAR-STAT
(4)
LAB-STICC
(4)
LAB-STICC_ENIB
(4)
LAB-STICC_UBO
(4)
LAB-STICC_UBO_CACS
(4)
LIFL
(4)
LIM
(4)
LIX_EMC
(4)
UNIV-LEMANS
(4)
UNIV-PARIS5
(4)
UNIV-REUNION
(4)
UR2-HB
(4)
ARLES
(3)
DEMAR
(3)
EC-LILLE
(3)
EC-LYON
(3)
EMSE
(3)
FAYOL-ENSMSE
(3)
FRANCE-GRILLES
(3)
GALLIUM
(3)
IFR140
(3)
IFSTTAR
(3)
INRIA-BORDEAUX
(3)
INSA-TOULOUSE
(3)
ISCOD-ENSMSE
(3)
LAGIS
(3)
LIRIS
(3)
LJK_MAD_BIPOP
(3)
LJK_MAD_MOISE
(3)
MOVE
(3)
UMR6623
(3)
UNIV-AVIGNON
(3)
UNIV-EVRY
(3)
UNIV-LYON2
(3)
UNIV-MLV
(3)
UNIV-ST-ETIENNE
(3)
AGROCAMPUS-OUEST-IRMAR
(2)
AGROCAMPUS-OUEST-UMR-STLO
(2)
AGROPOLIS
(2)
ALGCO
(2)
AUTO
(2)
BIOSIT
(2)
CNAM
(2)
CNES
(2)
EC-NANTES
(2)
Langue
anglais
(34)
français
(2)
Type de dépôt
Document
(36)
Année
2008
(9)
2007
(11)
2006
(2)
2005
(5)
2004
(4)
2003
(2)
1994
(1)
1992
(1)
1990
(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
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 36 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
inria-00074892
v1
Rapport
Jean-Claude Raoult
,
Frédéric Voisin
.
Set-theoretic graph rewriting
[Research Report] RR-1665, INRIA. 1992
inria-00074464
v1
Rapport
Chengbin Chu
,
Jean-Marie Proth
,
Philippe Wolff
.
Prediction of the behaviour of an unreliable system : application to the choice of the optimal maintenance policy
[Research Report] RR-2207, INRIA. 1994, pp.20
inria-00075292
v1
Rapport
Yves Dallery
,
Zhen Liu
,
Don Towsley
.
Equivalence, reversibility and symmetry properties in fork/join queueing networks with blocking
[Research Report] RR-1267, INRIA. 1990
inria-00070418
v1
Rapport
Pierrick Coupé
,
Pierre Hellier
,
Christian Barillot
.
État de l'art des méthodes de correction des déformations cérébrales per-opératoires
[Rapport de recherche] RR-5589, INRIA. 2005, pp.51
inria-00258507
v4
Rapport
Kandaraj Piamrat
,
César Viho
,
Adlen Ksentini
,
Jean-Marie Bonnin
.
Resource Management in Mobile Heterogeneous Networks: State of the Art and Challenges
[Research Report] RR-6459, INRIA. 2008
inria-00258845
v2
Rapport
Frédéric Gruau
,
Christine Eisenbeis
,
Luidnel Maignan
.
Self-developing blob machines for spatial computing: the foundations
[Research Report] RR-6457, INRIA. 2008
inria-00070404
v1
Rapport
Albert Cohen
,
Marc Duranton
,
Christine Eisenbeis
,
Claire Pagetti
,
Florence Plateau
et al.
Synchronizing Periodic Clocks in Kahn Networks
[Research Report] RR-5603, INRIA. 2005, pp.38
inria-00071468
v1
Rapport
Albert Cohen
,
Sylvain Girbal
,
Olivier Temam
.
Facilitating the Exploration of Compositions of Program Transformations
[Research Report] RR-5114, INRIA. 2004
inria-00071493
v1
Rapport
Renaud Blanch
,
Eric Ferley
,
Marie-Paule Cani
,
Jean-Dominique Gascuel
.
Non-Realistic Haptic Feedback for Virtual Sculpture
[Research Report] RR-5090, INRIA. 2004, pp.15
inria-00070772
v1
Rapport
Nicolaas Ruberg
,
Gabriela Ruberg
,
Ioana Manolescu
.
Towards Cost-based Optimization for Data-intensive Web Service Computations
[Research Report] RR-5222, INRIA. 2004, pp.33
inria-00071768
v1
Rapport
Jean-Daniel Fekete
.
The InfoVis Toolkit
RR-4818, INRIA. 2003
inria-00181950
v2
Rapport
Yannick Moy
.
Checking C Pointer Programs for Memory Safety
[Research Report] RR-6334, INRIA. 2007, pp.54
inria-00271795
v2
Rapport
Naouel Ben Ali
,
Miklós Molnár
,
Abdelfattah Belghith
.
Multi-constrained QoS Multicast Routing Optimization
[Research Report] RR-6500, INRIA. 2008, pp.48
inria-00071622
v1
Rapport
Laurence Rozé
,
Marie-Odile Cordier
.
Diagnosing discrete-event systems: extending the "diagnoser approach" to deal with telecommunication networks
[Research Report] RR-4957, INRIA. 2003
inria-00151285
v3
Rapport
Pierre Deransart
,
Mireille Ducassé
,
Gérard Ferrand
.
Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue)
[Interne] RR-6229, INRIA. 2007, pp.54
inria-00164667
v2
Rapport
Olivier Beaumont
,
Anne-Marie Kermarrec
,
Etienne Rivière
.
Peer to peer multidimensional overlays: Approximating complex structures
[Research Report] RR-6248, INRIA. 2007, pp.19
inria-00165232
v2
Rapport
Yann Busnel
,
Marin Bertier
,
Eric Fleury
,
Anne-Marie Kermarrec
.
GCP: Gossip-based Code Propagation for Large-scale Mobile Wireless Sensor Networks
[Research Report] RR-6251, INRIA. 2007, pp.23
inria-00169935
v2
Rapport
Pierre L'Ecuyer
,
Jose Blanchet
,
Bruno Tuffin
,
Peter Glynn
.
Asymptotic Robustness of Estimators in Rare-Event Simulation
[Research Report] RR-6281, INRIA. 2007, pp.38
inria-00070427
v1
Rapport
J. Pagès
,
Christophe Collewet
,
François Chaumette
,
Joaquim Salvi
.
Visual servoing by means of structured light for plane-to-plane positioning
[Research Report] RR-5579, INRIA. 2005, pp.99
inria-00169395
v2
Rapport
Claudia-Lavinia Ignat
,
Gérald Oster
,
Pascal Molli
,
Michelle Cart
,
Jean Ferrié
et al.
A Comparison of Optimistic Approaches to Collaborative Editing of Wiki Pages
[Research Report] RR-6278, INRIA. 2007, pp.19
inria-00117018
v4
Rapport
Vincent Gramoli
,
Anne-Marie Kermarrec
,
Erwan Le Merrer
,
Didier Neveux
.
SONDe, Self-Organizing Replica Placement in Large-Scale Dynamic Systems
[Research Report] RR-6052, INRIA. 2006, pp.26
inria-00118675
v2
Rapport
Antonio Fernández
,
Vincent Gramoli
,
Ernesto Jiménez
,
Anne-Marie Kermarrec
,
Michel Raynal
.
Distributed Slicing in Dynamic Systems
[Research Report] RR-6051, INRIA. 2006, pp.27
inria-00279074
v2
Rapport
Anne-Marie Kermarrec
,
Erwan Le Merrer
,
Bruno Sericola
,
Gilles Trédan
.
Evaluating topology quality through random walks
[Research Report] RR-6534, INRIA. 2008, pp.22
inria-00070271
v1
Rapport
Bernard Philippe
,
Yousef Saad
.
On correction equations and domain decomposition for computing invariant subspaces
[Research Report] RR-5748, INRIA. 2005, pp.26
inria-00070328
v1
Rapport
Guy Atenekeng Kahou
,
Emmanuel Kamgnia
,
Bernard Philippe
.
An explicit formulation of the multiplicative Schwarz preconditionner
[Research Report] RR-5685, INRIA. 2005, pp.25
inria-00248465
v2
Rapport
Sylvie Delaët
,
Stéphane Devismes
,
Mikhail Nesterenko
,
Sébastien Tixeuil
.
Snap-Stabilization in Message-Passing Systems
[Research Report] RR-6446, INRIA. 2008, pp.29
inria-00286417
v2
Rapport
Laura Grigori
,
Desire W. Nuentsa
,
Hua Xiang
.
Saving Flops in LU Based Shift-and-Invert Strategy
[Research Report] RR-6553, INRIA. 2008, pp.15
inria-00127899
v2
Rapport
Fredrik Manne
,
Morten Mjelde
,
Laurence Pilard
,
Sébastien Tixeuil
.
A New Self-Stabilizing Maximal Matching Algorithm
[Research Report] RR-6111, INRIA. 2007, pp.17
inria-00166547
v2
Rapport
Lélia Blin
,
Maria Gradinariu Potop-Butucaru
,
Sébastien Tixeuil
.
On the Self-stabilization of Mobile Robots in Graphs
[Research Report] RR-6266, INRIA. 2007, pp.23
inria-00179056
v2
Rapport
Sylvie Delaët
,
Partha Sarathi Mandal
,
Mariusz Rokicki
,
Sébastien Tixeuil
.
Deterministic Secure Positioning in Wireless Sensor Networks
[Research Report] RR-6326, INRIA. 2007, pp.31
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 36 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.