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 ×
94 résultats
enregistrer la recherche
Type de document
Communication dans un congrès
(36)
Rapport
(28)
Article dans une revue
(18)
Thèse
(6)
Chapitre d'ouvrage
(3)
Direction d'ouvrage, Proceedings
(1)
HDR
(1)
Pré-publication, Document de travail
(1)
Auteur
Nouredine Melab
(20)
El-Ghazali Talbi
(20)
Jean-Luc Dekeyser
(11)
David Simplot-Ryl
(8)
Alexandru-Adrian Tantar
(7)
Philippe Marquet
(7)
Thé Van Luong
(7)
Pierre Boulet
(7)
Jurgen Vinju
(6)
Tijs Van Der Storm
(6)
François Ingelrest
(5)
Ouassila Labbani
(4)
Cedric Dumoulin
(4)
Bilel Derbel
(3)
Ivan Stojmenovic
(3)
Pablo Inostroza
(3)
Sébastien Le Beux
(3)
Eric Rutten
(3)
Abdelkader Amar
(2)
Ahcène Bendjoudi
(2)
Anne Etien
(2)
Benjamin Parent
(2)
Benoit Cornu
(2)
Christophe Rippert
(2)
Damien Deville
(2)
Dragos Horvath
(2)
E.-G. Talbi
(2)
Isabelle Simplot-Ryl
(2)
Jean-Marc Talbot
(2)
Lionel Seinturier
(2)
Renaud Pawlak
(2)
Riemer Van Rozen
(2)
Yann Secq
(2)
Christophe Chaillou
(2)
Gilles Grimaud
(2)
Laetitia Jourdan
(2)
Martin Monperrus
(2)
Maude Pupin
(2)
Mohamed Mosbah
(2)
Akka Zemmari
(1)
Alex Loh
(1)
Alexander Hoole
(1)
Alexander Serebrenik
(1)
Amandine Panier
(1)
Anthony Cleve
(1)
Antonio Mucherino
(1)
Areski Flissi
(1)
Arnaud Cuccuru
(1)
Atze Van Der Ploeg
(1)
B. Parent
(1)
Benjamin Quétier
(1)
Carlile Lavor
(1)
Carlos Cuesta
(1)
Carlos Noguera
(1)
Chadi Ahmad Aljundi
(1)
Chiel Peters
(1)
Christian Brunette
(1)
Christophe Osuna
(1)
Csaba Szepesvari
(1)
Cyril Ngo
(1)
D. Horvath
(1)
David Pearce
(1)
Davy Landman
(1)
Delphine Jennequin
(1)
Dorina Ghindici
(1)
El Mostapha Aboulhamid
(1)
Emmanuel Jeannot
(1)
Enrique Alba
(1)
F. Seynhaeve
(1)
Fabrice Clérot
(1)
Florent Jousse
(1)
Franck Cappello
(1)
Frans Theeuwen
(1)
François Martinot
(1)
Gregory Kucherov
(1)
Guillaume Mornet
(1)
Hong Guo
(1)
Houda Derbel
(1)
Houman Younessi
(1)
Iréa Touche
(1)
Issa Traoré
(1)
Jean-Pierre Talpin
(1)
Jean-Yves Audibert
(1)
Jorge Tavares
(1)
Joris Dormans
(1)
Julien Carme
(1)
Julien Leduc
(1)
Julien Soula
(1)
Jérémie Dequidt
(1)
Jérôme Champavère
(1)
L. Brillet
(1)
L. Liberti
(1)
Lakhdar Loukil
(1)
Lukasz Lew
(1)
Luminita Moraru
(1)
M. Basseur
(1)
Madjid Mansoura
(1)
Magiel Bruntink
(1)
Malika Mehdi
(1)
Manuel Loth
(1)
Maria Gouseti
(1)
Marie-Eleonore Marmion
(1)
Mark Hills
(1)
Michael J. Steindorfer
(1)
Michel Dayde
(1)
Mikhail Roytberg
(1)
Mohand Mezmaz
(1)
Mostepha Redouane Khouadjia
(1)
Nicolas Petitprez
(1)
Oleg Kiselyov
(1)
Pascal Bouvry
(1)
Pascale Primet
(1)
Patricia Plénacoste
(1)
Patrick Marty
(1)
Paul Klint
(1)
Philippe Dumont
(1)
Pierre Dumont
(1)
Raphaël Bolze
(1)
Raymond Namyst
(1)
Remi Munos
(1)
Rémi Coulom
(1)
S. Cahon
(1)
S. Conilleau
(1)
Samir Guerdah
(1)
Samuel Boivin
(1)
Sebastian Erdweg
(1)
Sertan Girgin
(1)
Stefan Gruner
(1)
Stephane Lanteri
(1)
Sylvaine Roy
(1)
Sébastien Gerard
(1)
Talbi E-G.
(1)
Tanguy Urvoy
(1)
Tatiana Rocher
(1)
Thierry Gautier
(1)
Vincent Gagné
(1)
Wang Yanjing
(1)
William R. Cook
(1)
Yvon Jégou
(1)
Éric Piel
(1)
Abdoulaye Gamatié
(1)
Clarisse Dhaenens
(1)
Benoit Combemale
(1)
Eddy Caron
(1)
Emmanuel Renaux
(1)
Frédéric Desprez
(1)
Laurent Grisoni
(1)
Michaël Hauspie
(1)
Laurent Noé
(1)
Olivier Richard
(1)
Olivier Barais
(1)
Philippe Merle
(1)
Pratik Gajane
(1)
Philippe Preux
(1)
Sébastien Mosser
(1)
Discipline
Informatique [cs]
(94)
Mathématiques [math]
(1)
Statistiques [stat]
(1)
Structure
Inria Lille - Nord Europe
(94)
Laboratoire d'Informatique Fondamentale de Lille
(74)
Inria Bordeaux - Sud-Ouest
(5)
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
(4)
Centrum voor Wiskunde en Informatica
(3)
Groupe de Recherche en Apprentissage Automatique
(3)
Inria Rennes – Bretagne Atlantique
(3)
Institut de Recherche en Informatique et Systèmes Aléatoires
(3)
Laboratoire Bordelais de Recherche en Informatique
(3)
Laboratoire d'Automatique, Génie Informatique et Signal
(3)
Centre de recherche sur l'Information Scientifique et Technique
(2)
Laboratoire de Recherche en Informatique
(2)
Unité de Glycobiologie Structurale et Fonctionnelle - UMR 8576
(2)
Computer Science Department [Austin]
(1)
Departamento de Lenguajes y Ciencias de la Computacion [Malaga]
(1)
Departement of computer Science South africa
(1)
Department of Electrical & Computer Engineering [Vicotria]
(1)
Department of Mathematics, Computer Science and Mechanics [Warsaw]
(1)
Division of Nephrology
(1)
Département d'Informatique [Oran]
(1)
Département d'informatique de l'École normale supérieure
(1)
Département de Mathématiques [Tizi Ouzou]
(1)
FSEGS
(1)
Hogeschool van Amsterdam
(1)
IMAGINE [Marne-la-Vallée]
(1)
INRIA Lorraine
(1)
Inria Grenoble - Rhône-Alpes
(1)
Inria Paris-Rocquencourt
(1)
Inria Saclay - Ile de France
(1)
Inria Sophia Antipolis - Méditerranée
(1)
Institut de recherche en informatique de Toulouse
(1)
Institute of Mathematical Problems in Biology
(1)
Instituto de Matemática, Estatística e Computação Científica [Brésil]
(1)
Laboratoire Jean Alexandre Dieudonné
(1)
Laboratoire Paul Painlevé
(1)
Laboratoire d'Informatique Avancée de Saint-Denis
(1)
Laboratoire d'Informatique de Grenoble
(1)
Laboratoire d'Intégration des Systèmes et des Technologies
(1)
Laboratoire d'informatique Fondamentale de Marseille - UMR 6166
(1)
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
(1)
Laboratoire de génie chimique
(1)
Laboratoire de l'Informatique du Parallélisme
(1)
Laboratoire des Méthodes de Conception de Systèmes.
(1)
Orange Labs [Lannion]
(1)
Collection
INRIA-LILLE
(94)
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)
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)
THESES-ENS-LYON
(62)
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
(83)
français
(11)
Type de dépôt
Document
(61)
Notice
(31)
Annexe
(2)
Année
2017
(2)
2015
(2)
2014
(14)
2013
(1)
2012
(2)
2011
(1)
2010
(16)
2009
(5)
2008
(5)
2007
(9)
2006
(10)
2005
(14)
2004
(9)
2003
(3)
2002
(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
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 94 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
hal-01110830
v1
Article dans une revue
Anthony Cleve
,
Jurgen Vinju
.
Software Quality
ERCIM News
, ERCIM, 2014, pp.1
hal-01110847
v1
Communication dans un congrès
Riemer Van Rozen
,
Joris Dormans
.
Adapting Game Mechanics with Micro-Machinations
Foundations of Digital Games
, Apr 2014, Aboard Royal Caribbean Liberty of the Seas, sailing from Ford Lauderdale, Florida, United States. Society for the Advancement of the Science of Digital Games, 2014, Proceedings of the 9th International Conference on the Foundations of Digital Games.
<http://www.fdg2014.org/>
hal-01110843
v1
Communication dans un congrès
Davy Landman
,
Alexander Serebrenik
,
Jurgen Vinju
.
Empirical analysis of the relationship between CC and SLOC in a large corpus of Java methods
Moonen, L. M. F. and Pollock, L.
IEEE International Conference on Software Maintenance and Evolution 2014
, Sep 2014, Victoria, Canada. IEEE Computer Society, pp.221 - 230, 2014
hal-01110851
v1
Communication dans un congrès
Pablo Inostroza
,
Tijs Van Der Storm
.
The TTC 2014 Movie Database Case: Rascal Solution
Transformation Tool Contest
, 2014, L'Aquila, Italy. CEUR, pp.155 - 159, 2014, Proceedings of Transformation Tool Contest 2014 (TTC'14)
hal-01110856
v1
Communication dans un congrès
Riemer Van Rozen
,
Tijs Van Der Storm
.
Model Differencing for Textual DSLs
BENEVOL 2014 - Proceedings of the Belgian-Netherlands Evoluation Workshop
, 2014, Amsterdam, Netherlands
hal-01110885
v1
Communication dans un congrès
Pablo Inostroza
,
Tijs Van Der Storm
,
Sebastian Erdweg
.
Tracing Program Transformations with String Origins
ICMT - Proceedings of International Conference on Model Transformation
, 2014, York, United Kingdom. pp.154 - 169, 2014,
<10.1007/978-3-319-08789-4_12>
hal-01111004
v1
Communication dans un congrès
Michael J. Steindorfer
,
Jurgen Vinju
.
Code Specialization for Memory Efficient Hash Tries (Short Paper)
GPCE - Proceedings of ACM International Conference on Generative Programming and Component Engineering 2014
, Sep 2014, Vasteras, Sweden. ACM, pp.4
hal-01110936
v1
Communication dans un congrès
Atze Van Der Ploeg
,
Oleg Kiselyov
.
Reflection without Remorse: Revealing a hidden sequence to speed up monadic reflection
Haskell '14 - Proceedings of the 2014 ACM SIGPLAN symposium on Haskell
, Sep 2014, Gothenburg, Sweden. ACM, pp.133-144,
<10.1145/2633357.2633360>
hal-01110903
v1
Communication dans un congrès
Mark Hills
,
Paul Klint
,
Jurgen Vinju
.
Static, lightweight includes resolution for PHP
ASE 29 Proceedings of International Conference on Automated Software Engineering 2014
, Sep 2014, Vasteras, Sweden. pp.503 - 514, 2014,
<10.1145/2642937.2643017>
hal-01110831
v1
Article dans une revue
Magiel Bruntink
,
Jurgen Vinju
.
Looking Towards A Future Where Software Is Controlled By The Public and Not The Other Way Round
ERCIM News
, ERCIM, 2014, 99, pp.1
hal-01110872
v1
Communication dans un congrès
Maria Gouseti
,
Chiel Peters
,
Tijs Van Der Storm
.
Extensible language implementation with object algebras (short paper)
GPE 2014 - International Conference on Generative Programming: Concepts and Experiences
, 2014, Västerås, Sweden. pp.25 - 28, 2014, Proceedings of the International Conference on Generative Programming: Concepts and Experiences (GPCE, 2014).
<10.1145/2658761.2658765>
hal-01110869
v1
Communication dans un congrès
Pablo Inostroza
,
Tijs Van Der Storm
.
Evolving Languages with Object Algebras
BENEVOL 2014 - Proceedings of the Belgian-Netherlands Evoluation Workshop
, 2014, Amsterdam, Netherlands. pp.2
tel-00535885
v1
Thèse
Wang Yanjing
.
Epistemic Modelling and Protocol Dynamics
Other [cs.OH]. Universiteit van Amsterdam, 2010. English
hal-00788580
v1
Article dans une revue
Christian Brunette
,
Jean-Pierre Talpin
,
Abdoulaye Gamatié
,
Thierry Gautier
.
A metamodel for the design of polychronous systems
Journal of Logic and Algebraic Programming
, Elsevier, 2009, 78 (4), pp.233-259.
<10.1016/j.jlap.2008.11.005>
inria-00000912
v1
Communication dans un congrès
Ouassila Labbani
,
Jean-Luc Dekeyser
,
Pierre Boulet
.
Mode-Automata based Methodology for Scade
Hybrid Systems: Computation and Control (HSCC05)
, Mar 2005, Zurich, Switzerland, 2005
inria-00000911
v1
Communication dans un congrès
Ouassila Labbani
,
Jean-Luc Dekeyser
,
Pierre Boulet
,
Eric Rutten
.
Introducing Control in the Gaspard2 Data-Parallel Metamodel: Synchronous Approach
International Workshop MARTES: Modeling and Analysis of Real-Time and Embedded Systems
, Oct 2005, Montego Bay, Jamaica, 2005
inria-00145204
v3
Rapport
Anne Etien
,
Cedric Dumoulin
,
Emmanuel Renaux
.
Towards a Unified Notation to Represent Model Transformation
[Research Report] RR-6187, INRIA. 2007, pp.14
inria-00071821
v1
Rapport
Abdelkader Amar
,
Pierre Boulet
,
Jean-Luc Dekeyser
,
Frans Theeuwen
.
Distributed Process Networks Using Half FIFO Queues in CORBA
[Research Report] RR-4765, INRIA. 2003
inria-00071820
v1
Rapport
Cedric Dumoulin
,
Pierre Boulet
,
Jean-Luc Dekeyser
,
Philippe Marquet
.
UML 2.0 Structure Diagram for Intensive Signal Processing Application Specification
[Research Report] RR-4766, INRIA. 2003
inria-00070214
v1
Rapport
Sébastien Le Beux
,
Jean-Luc Dekeyser
,
Philippe Marquet
.
FPGA Configuration of Intensive Multimedia Processing Tasks Modeled in UML
[Research Report] RR-5810, INRIA. 2006, pp.13
inria-00070228
v1
Rapport
Ouassila Labbani
,
Jean-Luc Dekeyser
,
Pierre Boulet
,
Eric Rutten
.
Introducing Control in the Gaspard2 Data-Parallel Metamodel: Synchronous Approach
[Research Report] RR-5794, INRIA. 2006, pp.49
inria-00070240
v1
Rapport
Éric Piel
,
Philippe Marquet
,
Julien Soula
,
Christophe Osuna
,
Jean-Luc Dekeyser
.
ARTiS, an Asymmetric Real-Time Scheduler for Linux on Multi-Processor Architectures
[Research Report] RR-5781, INRIA. 2005, pp.32
inria-00070490
v1
Rapport
Philippe Dumont
,
Pierre Boulet
.
Another Multidimensional Synchronous Dataflow: Simulating Array-OL in Ptolemy II
[Research Report] RR-5516, INRIA. 2005, pp.19
inria-00070491
v1
Rapport
Abdelkader Amar
,
Pierre Boulet
,
Pierre Dumont
.
Projection of the Array-OL Specification Language onto the Kahn Process Network Computation Model
[Research Report] RR-5515, INRIA. 2005, pp.18
inria-00071423
v1
Rapport
Arnaud Cuccuru
,
Philippe Marquet
,
Jean-Luc Dekeyser
.
UML2 as an ADL Hierarchichal Hardware Modeling
[Research Report] RR-5166, INRIA. 2004
inria-00071703
v1
Rapport
Chadi Ahmad Aljundi
,
Jean-Luc Dekeyser
.
L'effet du degré de réseau d'interconnexion multi-étages sur ses performances: le cas des réseaux Delta et réseaux Delta surdimensionnés
[Rapport de recherche] RR-4880, INRIA. 2003
inria-00070193
v1
Rapport
Ouassila Labbani
,
Jean-Luc Dekeyser
,
Eric Rutten
.
Separating Control and Data Flow: Methodology and Automotive System Case Study
[Research Report] RR-5832, INRIA. 2006, pp.32
inria-00070205
v1
Rapport
Sébastien Le Beux
,
Vincent Gagné
,
El Mostapha Aboulhamid
,
Philippe Marquet
,
Jean-Luc Dekeyser
.
Hardware/Software Exploration for an Anti-collision Radar System
[Research Report] RR-5820, INRIA. 2006, pp.15
inria-00527850
v1
Rapport
Cedric Dumoulin
,
Sébastien Gerard
.
Have Multiple Views with one Single Diagram! A Layer Based Approach of UML Diagrams
[Research Report] RR-7432, INRIA. 2010, pp.9
tel-00322195
v2
Thèse
Sébastien Le Beux
.
Un flot de conception pour applications de traitement du signal systématique implémentées sur FPGA à base d'Ingénierie Dirigée par les Modèles
Autre [cs.OH]. Université des Sciences et Technologie de Lille - Lille I, 2007. Français
1
2
3
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 94 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.