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
Sous-domaine niveau 1 ×
collCode_s ×
Tous ×
62 résultats
enregistrer la recherche
Type de document
Thèse
(62)
Auteur
Adeline Langlois
(1)
Adrian Muresan
(1)
Adrien Friggeri
(1)
Adrien Panhaleux
(1)
Alexandru Plesco
(1)
Anne-Cécile Orgerie
(1)
Antoine Scherrer
(1)
Aurélie Lagoutte
(1)
Barbara Petit
(1)
Bertrand Nouvel
(1)
Bogdan Mihai Pasca
(1)
Christophe Mouilleron
(1)
Clément Rezvoy
(1)
Cristian Klein-Halmaghi
(1)
Dounia Bentria
(1)
Erik Martin-Dorel
(1)
Erika De Benedetti
(1)
Fanny Dufossé
(1)
Florent Bouchez
(1)
Francisco Cháves
(1)
Frédéric Chavanon
(1)
Frédéric Mazoit
(1)
Georgios Markomanolis
(1)
Ghislain Landry Tsafack Chetsa
(1)
Guilherme Piêgas Koslovski
(1)
Hong Diep Nguyen
(1)
Hélène Renard
(1)
Inès Doghri
(1)
Irénée Briquel
(1)
Jean-Baptiste Rouquier
(1)
Jingyan Jourdan
(1)
Kévin Perrot
(1)
Laurent Jouhet
(1)
Lionel Rieg
(1)
Lucie Martinet
(1)
Marc Daumas
(1)
Marc Lasson
(1)
Mathias Jacquelin
(1)
Mathilde Noual
(1)
Matthieu Perrinel
(1)
Mioara Maria Joldes
(1)
Mohamed Wissam Sid Lakhdar
(1)
Mohammed El Mehdi Diouri
(1)
Nicolas Brunie
(1)
Nicolas Veyrat-Charvillon
(1)
Paul Renaud-Goud
(1)
Philippe Theveny
(1)
Qinna Wang
(1)
Quentin Colombet
(1)
Romain Michard
(1)
Shubhabrata Roy
(1)
Sylvain Gault
(1)
Sébastien Tavenas
(1)
Théophile Trunck
(1)
Valentin Blot
(1)
Veronika Rehn-Sonigo
(1)
Vincent Nesme
(1)
Vincent Pichon
(1)
Bruno Grenet
(1)
Martin Quinson
(1)
Nicolas Ollinger
(1)
Pascal Rebreyend
(1)
Discipline
Informatique [cs]
(62)
Mathématiques [math]
(2)
Physique [physics]
(1)
Structure
Laboratoire de l'Informatique du Parallélisme
(62)
Inria Grenoble - Rhône-Alpes
(32)
Institut Rhône-Alpin des systèmes complexes
(3)
Institut de recherche en informatique de Toulouse
(1)
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
(1)
Laboratoire d'informatique Algorithmique : Fondements et Applications
(1)
Collection
THESES-ENS-LYON
(62)
INRIA
(11140)
CNRS
(10391)
LARA
(6951)
INRIA-RRRT
(6160)
INRIA_TEST
(5251)
LORIA2
(3589)
UNIV-LORRAINE
(3344)
LORIA
(3279)
INPL
(3252)
INRIA-NANCY-GRAND-EST
(3221)
INRIA-LORRAINE
(3189)
INRIA-SOPHIA
(1996)
INRIASO
(1982)
INRIA2
(1806)
UR1-MATH-STIC
(1559)
UNIV-RENNES1
(1546)
UR1-HAL
(1545)
UR1-UFR-ISTIC
(1542)
IRISA
(1525)
IRISA_SET
(1522)
STAR
(1279)
INSA-RENNES
(1158)
LABRI
(1121)
UNIV-BORDEAUX
(1118)
ENSEIRB
(1102)
INRIA-ROCQ
(1070)
INRIA-RHA
(1038)
UGA
(971)
UNIV-GRENOBLE1
(892)
UNIV-BORDEAUX1
(753)
PARISTECH
(634)
INSTITUT-TELECOM
(608)
UNIV-PARIS1
(594)
CRI
(581)
UPMC
(471)
IMAG
(435)
ENS-LYON
(426)
LIP
(410)
UNICE
(403)
TESTANNE
(387)
INPG
(341)
INRIA-SACLAY
(341)
CENTRALESUPELEC
(340)
GRID5000
(335)
LABO-LORIA-SET
(331)
PSL
(320)
UNIV-PMF_GRENOBLE
(314)
I3S
(313)
SHS
(313)
PRUNEL
(296)
TESTBORDEAUX
(296)
UNIV-PSUD
(292)
MIPS
(291)
LIRMM
(289)
UNIV-AMU
(289)
LIG
(283)
ENPC
(276)
UPMC_POLE_1
(259)
USPC
(256)
ENS-CACHAN
(243)
ENSAM
(239)
INSMI
(239)
UNIV-LILLE3
(221)
UNIV-UBS
(218)
ENS-RENNES
(215)
UNIV-NANTES
(199)
LIG_SRCPR
(194)
UNIV-PARIS7
(186)
TDS-MACS
(178)
UNIV-BORDEAUX2
(177)
INRIA-RENNES
(172)
LIP6
(172)
IRCAM
(171)
UPEC-UPEM
(171)
ENS-PARIS
(170)
UNIV-TLSE3
(169)
STMS
(168)
UMR8623
(164)
UNIV-TLN
(157)
AO-MUSICOLOGIE
(153)
LABRI-MABIOVIS
(153)
LIFL
(153)
DTIP
(152)
X
(149)
X-DEP
(149)
LSIS
(148)
DIEUDONNE
(147)
INRA
(145)
CRISTAL
(138)
INSA-LYON
(134)
UNIV-LYON2
(132)
UNIV-TLSE2
(120)
UNIV-FCOMTE
(116)
UNAM
(115)
AGROPOLIS
(113)
UNIV-BM
(110)
TELECOM-SUDPARIS
(108)
UNIV-BM-THESE
(108)
ENSMM
(103)
FEMTO-ST
(103)
INRIA-BORDEAUX
(103)
PRES_CLERMONT
(102)
IRISA-D2
(100)
UNIV-LYON1
(97)
IRISA-D4
(96)
PASTEL
(96)
UJF
(96)
CV_LIGM
(94)
INRIA-LILLE
(94)
LIAFA
(93)
UNIV-BPCLERMONT
(93)
UNIV-PARIS13
(93)
ENSMP
(90)
SMS
(90)
UNIV-BOURGOGNE
(90)
EC-NANTES
(89)
OPENAIRE
(88)
TIMC-IMAG
(87)
UNIV-MLV
(87)
AGREENIUM
(86)
LINA
(86)
EC-LYON
(85)
UNIV-CLERMONT1
(85)
IRCCYN
(83)
LIGM
(83)
SIGMA-CLERMONT
(83)
UNIV-ORLEANS
(82)
DTIP2008
(81)
TIMC-IMAG-GMCAO
(80)
LE2I
(77)
UPEC
(77)
LIMOS
(76)
UCA-TEST
(76)
UR1-THESES
(75)
MSL
(74)
ENSTA
(73)
BIOENVIS
(71)
CLEMU-THESES
(71)
DTIP2007
(71)
UNIV-PARIS-SACLAY
(67)
ENSI-BOURGES
(66)
CV_UNIV-MLV
(65)
LIRIS
(64)
UVSQ
(64)
CEA
(63)
ENPC-LIGM
(61)
INRIA-FUTURS
(60)
COMUE-NORMANDIE
(58)
UNIV-PAU
(58)
CRISTAL-NOCE
(57)
IECN
(57)
AIV
(55)
ENSMP_CMA
(55)
IRCCYN-STR
(55)
LIF
(55)
UNIV-ST-ETIENNE
(55)
GIP-BE
(54)
LIESP
(54)
PRISM
(53)
THESES-EN-LIGNE-DAGROCAMPUS-OUEST
(53)
INSA-TOULOUSE
(52)
IRISA-D1
(51)
IRISA-D5
(50)
MFCA
(50)
DIEUDONNE-EDP-AN
(49)
LIX
(49)
UNIV-COMPIEGNE
(49)
IRISA-INSA-R
(48)
X-DEP-INFO
(47)
X-LIX
(47)
LIPN
(46)
HEUDIASYC
(45)
MERE
(45)
AO-ECONOMIE
(44)
CNAM
(42)
THESES-UPMC
(42)
IN2P3
(41)
MINES-NANTES
(41)
U-BORDEAUX
(41)
MSL-THESE
(40)
UNIV-AVIGNON
(40)
THESES-ENS-CACHAN
(39)
TIMA
(39)
CRISTAL-FOX
(38)
IRCCYN-MEFORBIO
(38)
IRISA-D3
(38)
LIMSI
(38)
UNIV-STRASBG
(38)
IRCCYN-MOVES
(37)
ARITH
(35)
DRT
(35)
ENST
(35)
LAHC
(35)
LIG_TDCGE_GETALP
(35)
UNIV-ROUEN
(35)
IMB
(34)
INSU
(34)
LIX_EMC
(34)
LSIS-GMOD
(34)
Langue
anglais
(37)
français
(25)
Type de dépôt
Document
(62)
Année
2015
(5)
2014
(11)
2013
(3)
2012
(15)
2011
(11)
2010
(1)
2009
(2)
2008
(2)
2007
(3)
2006
(2)
2005
(1)
2004
(2)
2003
(1)
2002
(1)
1999
(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 62 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
tel-00424118
v1
Thèse
Veronika Rehn-Sonigo
.
Multi-criteria Mapping and Scheduling of Workflow Applications onto Heterogeneous Platforms
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2009. English
tel-00177109
v1
Thèse
Francisco Cháves
.
Utilisation et certification de l'arithmétique d'intervalles dans un assistant de preuves
Modélisation et simulation. Ecole normale supérieure de lyon - ENS LYON, 2007. Français
tel-00156762
v1
Thèse
Vincent Nesme
.
Complexité en requêtes et symétries
Mathématiques [math]. Ecole normale supérieure de lyon - ENS LYON, 2007. Français
tel-00951125
v1
Thèse
Georgios Markomanolis
.
Performance Evaluation and Prediction of Parallel Applications
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English.
<NNT : 2014ENSL0880>
tel-00301285
v1
Thèse
Romain Michard
.
Opérateurs arithmétiques matériels optimisés
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2008. Français
tel-00444088
v1
Thèse
Bertrand Nouvel
.
ROTATIONS DISCRETES ET AUTOMATES CELLULAIRES
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2006. Français
tel-00354042
v1
Thèse
Jean-Baptiste Rouquier
.
Robustesse et émergence dans les systèmes complexes : le modèle des automates cellulaires
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2008. Français
tel-00012133
v1
Thèse
Hélène Renard
.
Equilibrage de charge et redistribution de données sur plates-formes hétérogènes
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2005. Français
tel-00403504
v2
Thèse
Florent Bouchez
.
Étude des problèmes de
spilling
et
coalescing
liés à l'allocation de registres en tant que deux phases distinctes
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2009. Français
tel-00544349
v1
Thèse
Alexandru Plesco
.
Program Transformations and Memory Architecture Optimizations for High-Level Synthesis of Hardware Accelerators
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2010. English
tel-00779764
v1
Thèse
Jingyan Jourdan
.
Custom floating-point arithmetic for integer processors : algorithms, implementation, and selection
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English.
<NNT : 2012ENSL0762>
tel-00737199
v1
Thèse
Adrien Friggeri
.
A Quantitative Theory of Social Cohesion
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English.
<NNT : 2012ENSL0734>
tel-00744373
v1
Thèse
Adrien Panhaleux
.
Contributions to floating-point arithmetic : Coding and correct rounding of algebraic functions
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English.
<NNT : 2012ENSL0721>
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-00701217
v1
Thèse
Qinna Wang
.
Overlapping community detection in dynamic networks
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English.
<NNT : 2012ENSL0713>
tel-00726560
v1
Thèse
Mathilde Noual
.
Updating Automata Networks
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English.
<NNT : 2012ENSL0717>
tel-00828394
v1
Thèse
Inès Doghri
.
Stratégies de routage multi-chemin dans les réseaux sans fil multi-sauts
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. Français.
<NNT : 2012ENSL0714>
tel-00744247
v1
Thèse
Paul Renaud-Goud
.
Energy-aware scheduling : complexity and algorithms
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English.
<NNT : 2012ENSL0727>
tel-00438603
v1
Thèse
Nicolas Veyrat-Charvillon
.
Opérateurs arithmétiques matériels pour des applications spécifiques
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2007. Français
tel-00195131
v1
Thèse
Antoine Scherrer
.
Analyses statistiques des communications sur puce
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2006. Français
tel-00660236
v1
Thèse
Fanny Dufossé
.
Scheduling for Reliability : complexity and Algorithms
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English.
<NNT : 2011ENSL0635>
tel-00662525
v1
Thèse
Mathias Jacquelin
.
Memory-aware algorithms : from multicores to large scale platforms
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English.
<NNT : 2011ENSL0633>
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-00688388
v1
Thèse
Christophe Mouilleron
.
Efficient computation with structured matrices and arithmetic expressions
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English.
<NNT : 2011ENSL0652>
tel-00147426
v1
Thèse
Marc Daumas
.
Contributions à l'Arithmétique des Ordinateurs : Vers une Maîtrise de la Précision
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 1996. Français
tel-00148807
v1
Thèse
Frédéric Mazoit
.
Décomposition algorithmique des graphes
Mathématiques [math]. Ecole normale supérieure de lyon - ENS LYON, 2004. Français
tel-00008764
v1
Thèse
Frédéric Chavanon
.
Aspects combinatoires des pavages
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2004. Français
tel-00010950
v1
Thèse
Pascal Rebreyend
.
Algorithmes génétiques hybrides en optimisation combinatoire
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 1999. Français
tel-00007765
v1
Thèse
Nicolas Ollinger
.
Automates cellulaires : structures
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2002. Français
tel-00770148
v1
Thèse
Bruno Grenet
.
Représentations des polynômes, algorithmes et bornes inférieures
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. Français.
<NNT : 2012ENSL0769>
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 62 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.