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
Structure : Identifiant HAL de la structure ×
Auteur : IdHal (chaîne de caractères) ×
Tous ×
18 résultats
enregistrer la recherche
Type de document
Rapport
(10)
Communication dans un congrès
(5)
Article dans une revue
(3)
Auteur
Renaud Marlet
(18)
Charles Consel
(14)
Gilles Muller
(13)
Fabrice Mérillon
(7)
Laurent Réveillère
(7)
Scott Thibault
(4)
Nikos Paragios
(3)
Ashvin Goel
(2)
Calton Pu
(2)
Eugen-Nicolae Volanschi
(2)
Julia Lawall
(2)
Raghudeep Gadde
(2)
Charles Krasic
(1)
Crispin Cowan
(1)
David Ok
(1)
Dylan Mcnamee
(1)
Jonathan Walpole
(1)
L. P. Barreto
(1)
Laurent Bercot
(1)
Luciano Porto Barreto
(1)
Mateusz Koziński
(1)
Perry Wagle
(1)
Philippe Boinot
(1)
Robin Hansen
(1)
Discipline
Informatique [cs]
(18)
Structure
Inria Saclay - Ile de France
(18)
IMAGINE [Marne-la-Vallée]
(2)
Laboratoire d'Informatique Gaspard-Monge
(2)
Center for Visual Computing
(1)
Centre de vision numérique
(1)
Department of Computer Science and Engineering [Beaverton]
(1)
Mathématiques Appliquées aux Systèmes - EA 4037
(1)
Collection
INRIA
(18)
INRIA-SACLAY
(18)
INRIA_TEST
(18)
INSA-RENNES
(15)
LORIA2
(15)
LARA
(10)
INRIA-RRRT
(9)
INRIA-RENNES
(6)
IRISA
(6)
UR1-MATH-STIC
(6)
UR1-UFR-ISTIC
(6)
ENPC
(3)
INRIA2
(3)
PARISTECH
(3)
CENTRALESUPELEC
(2)
CNRS
(2)
CSTB
(2)
CVN
(2)
CV_LIGM
(2)
EC-PARIS
(2)
IMAGINE
(2)
INRIA-SACLAY-2015
(2)
LIGM
(2)
LIGM_A3SI
(2)
UNIV-PARIS-SACLAY
(2)
UPEC-UPEM
(2)
CENTRALESUPELEC-SACLAY
(1)
CV_UNIV-MLV
(1)
ENPC-LIGM
(1)
ENPC_ONLY
(1)
MAS
(1)
MINES-NANTES
(1)
OPENAIRE
(1)
UNIV-MLV
(1)
UPEC
(1)
Langue
anglais
(18)
Type de dépôt
Document
(14)
Notice
(4)
Année
2016
(1)
2015
(1)
2012
(1)
2001
(1)
2000
(8)
1999
(1)
1998
(1)
1997
(4)
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
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 18 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
hal-00350228
v1
Communication dans un congrès
Gilles Muller
,
Charles Consel
,
Renaud Marlet
,
L. P. Barreto
,
Fabrice Mérillon
et al.
Towards robust OSes for appliances: A new approach based on Domain-Specific Languages
SIGOPS European Workshop
, 2000, France. 2000
hal-00350223
v1
Communication dans un congrès
Fabrice Mérillon
,
Laurent Réveillère
,
Charles Consel
,
Renaud Marlet
,
Gilles Muller
.
Devil : An IDL for Hardware Programming
Symposium on Operating Systems Design and Implementation
, 2000, United States. pp.17-30, 2000
hal-00350233
v1
Communication dans un congrès
Laurent Réveillère
,
Fabrice Mérillon
,
Charles Consel
,
Renaud Marlet
,
Gilles Muller
.
A DSL approach to improve productivity and safety in device drivers development
15th IEEE International Conference on Automated Software Engineering
, 2000, France. pp.101-109, 2000
inria-00073469
v1
Rapport
Gilles Muller
,
Renaud Marlet
,
Eugen-Nicolae Volanschi
,
Charles Consel
,
Calton Pu
et al.
Fast, Optimized Sun RPC Using Automatic Program Specialization
[Research Report] RR-3220, INRIA. 1997
inria-00073470
v1
Rapport
Gilles Muller
,
Eugen-Nicolae Volanschi
,
Renaud Marlet
.
Scaling up Partial Evaluation for Optimizing The Sun Commercial RPC Protocol
[Research Report] RR-3219, INRIA. 1997
inria-00073472
v1
Rapport
Renaud Marlet
,
Scott Thibault
,
Charles Consel
.
Mapping Software Architectures to Efficient Implementations via Partial Evaluation
[Research Report] RR-3217, INRIA. 1997
inria-00073471
v1
Rapport
Scott Thibault
,
Renaud Marlet
,
Charles Consel
.
A Domain-Specific Language for Video Device Drivers: from Design to Implementation
[Research Report] RR-3218, INRIA. 1997
inria-00073092
v1
Rapport
Scott Thibault
,
Laurent Bercot
,
Charles Consel
,
Renaud Marlet
,
Gilles Muller
et al.
Experiments in Program Compilation by Interpreter Specialization
[Research Report] RR-3588, INRIA. 1998
inria-00476054
v1
Communication dans un congrès
Philippe Boinot
,
Renaud Marlet
,
Gilles Muller
,
Charles Consel
.
A Declarative Approach for Designing and Developing Adaptive Components
Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE 2000)
, Sep 2000, Grenoble, France, France. IEEE Computer Society Press, 2000
hal-00444034
v1
Article dans une revue
Dylan Mcnamee
,
Jonathan Walpole
,
Calton Pu
,
Crispin Cowan
,
Charles Krasic
et al.
Specialization Tools and Techniques for Systematic Optimization of System Software
tocs
, 2001, 19, pp.217--251
hal-00743043
v1
Communication dans un congrès
David Ok
,
Mateusz Koziński
,
Renaud Marlet
,
Nikos Paragios
.
High-Level Bottom-Up Cues for Top-Down Parsing of Facade Images
3DIMPVT
, Oct 2012, Zürich, Switzerland. pp.N/A, 2012
inria-00072707
v1
Rapport
Gilles Muller
,
Charles Consel
,
Renaud Marlet
,
Luciano Porto Barreto
,
Fabrice Mérillon
et al.
Towards Robust OSes for Appliances : A New Approach Based on Domain-Specific Languages
[Research Report] RR-3943, INRIA. 2000
inria-00072670
v1
Rapport
Fabrice Mérillon
,
Laurent Réveillère
,
Charles Consel
,
Renaud Marlet
,
Gilles Muller
.
Devil : An IDL for Hardware Programming
[Research Report] RR-3977, INRIA. 2000
inria-00072849
v1
Rapport
Fabrice Mérillon
,
Laurent Réveillère
,
Charles Consel
,
Robin Hansen
,
Renaud Marlet
et al.
Towards Verifiable Device Drivers: An Approach based on Domain-Specific Languages
[Research Report] RR-3809, INRIA. 1999
hal-01069379
v2
Rapport
Raghudeep Gadde
,
Renaud Marlet
,
Nikos Paragios
.
Learning grammars for architecture-specific facade parsing
[Research Report] RR-8600, Ecole des Ponts Paris-Tech; Ecole Centrale Paris. 2015
inria-00069929
v1
Rapport
Laurent Réveillère
,
Fabrice Mérillon
,
Charles Consel
,
Renaud Marlet
,
Gilles Muller
.
The Devil Language
[Research Report] RT-0244, INRIA. 2000, pp.29
inria-00475687
v1
Article dans une revue
Scott Thibault
,
Charles Consel
,
Julia Lawall
,
Renaud Marlet
,
Gilles Muller
.
Static and Dynamic Program Compilation by Interpreter Specialization
Higher-Order and Symbolic Computation
, Springer Verlag, 2000, 13 (3), pp.161--178
hal-01429246
v1
Article dans une revue
Raghudeep Gadde
,
Renaud Marlet
,
Nikos Paragios
.
Learning Grammars for Architecture-Specific Facade Parsing
International Journal of Computer Vision
, Springer Verlag, 2016,
<10.1007/s11263-016-0887-4>
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 18 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.