• Filtres
• Sous-domaine niveau 1  ×
• Mots-clés  ×
• Tous  ×

255 résultats  enregistrer la recherche

 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

 

	1 2 3 4 5 6 7 8 9	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 255 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM
	inria-00100019v1  Chapitre d'ouvrage Vincent Debruyne, Françoise Simonot-Lion, Yvon Trinquet. EAST-ADL - An Architecture Description Language - Validation and Verification Aspects P. Dissaux and M. Filali and P. Michel and F. Vernadat. Architecture Description Language, Kluwer Academic Publishers, 15 p, 2004
	inria-00100118v1  Rapport Mathieu Grenier. Nouvelles politiques d'ordonnancement obtenues par des techniques d'optimisaton [Stage] A04-R-410 || grenier04a, 2004, 47 p
	inria-00100119v1  Rapport Ning Jia. Politiques (m,k)-firm et combinatoire des mots [Stage] A04-R-411 || jia04a, 2004
	inria-00100131v1  Communication dans un congrès Ye-Qiong Song. Guaranteeing real-time QoS according to (m,k)-firm model 1st French Taiwanese Conference in Information Technologies, Apr 2004, Paris/France, 20 p, 2004
	inria-00100263v1  Communication dans un congrès Mohamed Khalgui, Xavier Rebeuf, Françoise Simonot-Lion. A behavior model for IEC 61499 function blocks Third Workshop on Modelling of Objects, Components, and Agents 2004 - MOCA'04, 2004, Aarhus/Denmark, 17 p, 2004
	inria-00100020v1  Communication dans un congrès Vincent Debruyne, Françoise Simonot-Lion, Yvon Trinquet. EAST-ADL - An Architecture Description Language - Validation and Verification Aspects IFIP Workshop on Architecture Description Languages 2004 - WADL'04, 2004, Toulouse/France, pp.53-62, 2004
	inria-00100137v1  Communication dans un congrès Nicolas Navet, Bruno Gaujal. Optimizing the configuration of X-by-Wire networks using word combinatorics EPFL Network Calculus Group Seminar, 2004, Lausanne/Suisse, 2004
	inria-00100461v1  Communication dans un congrès Paolo Castelpietra, Ye-Qiong Song, Françoise Simonot-Lion, Mondher Attia. Carosse-Perf: A Modular Approach For Simulation Of In-Vehicle Embedded Architectures 15th European Simulation Multiconference - ESM'2001, 2001, Prague/Czech Republic, pp.453-460, 2001
	inria-00156468v1  Rapport Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto Sangiovanni-Vincentelli et al.  Loosely Time-Triggered Architectures based on Communication-by-Sampling [Research Report] PI 1854, 2007, pp.41
	inria-00073174v1  Rapport Stéphane Cotin, Hervé Delingette, Nicholas Ayache. Efficient Linear Elastic Models of Soft Tissues for Real-time Surgery Simulation RR-3510, INRIA. 1998
	inria-00073173v1  Rapport Stéphane Cotin, Hervé Delingette, Nicholas Ayache. Real-time Elastic Deformations of Soft Tissues for Surgery Simulation RR-3511, INRIA. 1998
	inria-00073371v1  Rapport Fabrice Chauvet, Eugene Levner, Leonid K. Meyzin, Jean-Marie Proth. On-line Part Scheduling in a Surface Treatment System [Research Report] RR-3318, INRIA. 1997, pp.13
	inria-00073408v1  Rapport Emmanuelle Anceaume, Gilbert Cabillic, Pascal Chevochot, Isabelle Puaut. Hades: A Middleware Support for Distributed Safety-Critical Real-Time Applications [Research Report] RR-3280, INRIA. 1997
	inria-00073594v1  Rapport Irina Smarandache, Paul Le Guernic. A Canonical Form for Affine Relations in Signal [Research Report] RR-3097, INRIA. 1997
	inria-00073613v1  Rapport Gerard Le Lann. The Ariane 5 Flight 501 Failure - A Case Study in System Engineering for Computing Systems [Research Report] RR-3079, INRIA. 1996
	inria-00073611v1  Rapport Jean-François Hermant, Laurent Leboucher, Nicolas Rivierre. Real-Time Fixed and Dynamic Priority Driven Scheduling Algorithms: Theory and Experience [Research Report] RR-3081, INRIA. 1996
	inria-00073122v1  Rapport J.M. Migge, Alain Jean-Marie. Timing Analysis of Real-Time Scheduling Policies : A Trajectory Based Model RR-3561, INRIA. 1998
	inria-00073119v1  Rapport Emmanuelle Anceaume, Gilbert Cabillic, Pascal Chevochot, Isabelle Puaut. A Flexible Run-time Support for Distributed Dependable Hard Real-time Applications [Research Report] RR-3564, INRIA. 1998
	inria-00073159v1  Rapport Emmanuelle Anceaume, Isabelle Puaut. Performance Evaluation of Clock Synchronization Algorithms [Research Report] RR-3526, INRIA. 1998
	inria-00073258v1  Rapport Fabrice Chauvet, Jean-Marie Proth, Yorai Wardi. On-line Scheduling with WIP regulation [Research Report] RR-3432, INRIA. 1998, pp.19
	inria-00073292v1  Rapport Jean-René Beauvais, Roland Houdebine, Paul Le Guernic, Eric Rutten, Thierry Gautier. A Translation of Statecharts and Activitycharts into Signal Equations [Research Report] RR-3397, INRIA. 1998
	inria-00073294v1  Rapport Fabrice Chauvet, Jean-Marie Proth. On-line Scheduling in Assembly Processes [Research Report] RR-3395, INRIA. 1998, pp.14
	inria-00073732v1  Rapport Laurent George, Nicolas Rivierre, Marco Spuri. Preemptive and Non-Preemptive Real-Time UniProcessor Scheduling [Research Report] RR-2966, INRIA. 1996
	inria-00073722v1  Rapport Roberto Baldoni, Ravi Prakash, Michel Raynal, Mukesh Singhal. Broadcast with Time and Causality Constraints for Multimedia Applications [Research Report] RR-2976, INRIA. 1996
	hal-01161338v1  Communication dans un congrès Norbert Schnell, Riccardo Borghesi, Diemo Schwarz, Frédéric Bevilacqua, Müller Remy. FTM — Complex data structures for Max International Computer Music Conference (ICMC), Sep 2005, Barcelona, Spain. pp.1-1, 2005
	inria-00074162v1  Rapport Laurent George, Paul Muhlethaler, Nicolas Rivierre. Optimality and non-preemptive real-time scheduling revisited [Research Report] RR-2516, INRIA. 1995
	inria-00074248v1  Rapport Roberto Baldoni, Achour Mostefaoui, Michel Raynal. Causal Deliveries in Unreliable Networks With Real-Time Delivery Constraints [Research Report] RR-2427, INRIA. 1994
	inria-00074138v1  Rapport Muriel Jourdan. Large Integrating formal verification methods of quantitative real-time properties into a development environment for robot controllers RR-2540, INRIA. 1995
	inria-00074155v1  Rapport Tochéou Amagbegnon, Paul Le Guernic, Hervé Marchand, Eric Rutten. The Signal data flow methodology applied to a production cell [Research Report] RR-2522, INRIA. 1995
	inria-00074157v1  Rapport Hervé Marchand, Eric Rutten, Mazen Samaan. Specifying and verifying a transformer station in Signal and SignalGTi [Research Report] RR-2521, INRIA. 1995
	1 2 3 4 5 6 7 8 9	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 255 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM