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

158 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	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 158 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-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-00073213v1  Rapport Thierry Grandpierre, Christophe Lavarenne, Yves Sorel. Modèle d'exécutif distribué temps réel pour SynDEx [Rapport de recherche] RR-3476, INRIA. 1998
	inria-00073513v1  Rapport David Nowak, Jean-Pierre Talpin, Thierry Gautier. Un système de modules avancé pour SIGNAL [Rapport de recherche] RR-3176, INRIA. 1997
	hal-01161390v1  Communication dans un congrès Norbert Schnell, Diemo Schwarz,, Müller Remy. X-Micks – Interactive Content Based Real-Time Audio Processing 9th International Conference on Digital Audio Effects (DAFx-06), Sep 2006, Montreal, Canada. pp.1-1, 2006
	tel-00127808v1  Thèse Sergio Yovine. Méthodes et outils pour la vérification symbolique de systèmes temporisés Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 1993. Français
	inria-00077114v1  Rapport Rachid Djenidi, Ramine Nikoukhah, Yves Sorel, Serge Steer. Interface Scicos-SynDEx [Rapport de recherche] RR-4250, INRIA. 2001
	inria-00107797v1  Communication dans un congrès Jean-François Aubry, Françoise Simonot-Lion. Approche pluridisciplinaire de la sûreté des systèmes 3ème Congrès International Pluridisciplinaire - QUALITA'99, 1999, Paris/France, 6 p, 1999
	inria-00108057v1  Communication dans un congrès Shlomo Zilberstein, François Charpillet, Philippe Chassaing. Optimal Sequencing of Contract Algorithms Bar-Ilan Symposium on the Foundation of Artificial Intelligence, 1999, Ramat Gan, Israel, 1999
	inria-00108055v1  Chapitre d'ouvrage Ye-Qiong Song, Françoise Simonot-Lion, Nicolas Navet. De l'évaluation de performances du système de communication à la validation de l'architecture opérationnelle - cas du système embarqué dans l'automobile LISI-ENSMA. Ecole d'été Temps Réel 1999, Hermes, 15 p, 1999, 2-9514541-1-2
	inria-00108083v1  Communication dans un congrès Mohamed Khalgui, Xavier Rebeuf, Françoise Simonot-Lion. A contribution to the validation of complex real-time systems 2nd International Conference : Sciences of Electronic,Technologies of Information and Telecommunications - SETIT 2004, 2004, Sousse/Tunisie, 8 p, 2004
	inria-00107527v1  Communication dans un congrès Laurent Kaiser, Françoise Simonot-Lion. An Hybrid Method for the Validation of Real-Time Systems Jean-Pierre Thomesse, Peter Neumann, Dietmar Dietrich. 4th IFAC conference Fieldbus Technology - FET'2001, Nov 2001, Nancy/France, INRIA, 8 p, 2001
	inria-00108029v1  Communication dans un congrès Nicolas Ray, Anne Boyer, François Charpillet. New Results about Anytime Heuristic Search Workshop on Monitoring & control of real-time intelligent systems - ECAI'98, 1998, Brighton, UK, 1998
	hal-00873849v1  Article dans une revue Jean-Louis Dillenseger, Christine Toumoulin. Un tempo de Reel sur un rythme de Java J3aE, 2013, pp.13. <10.1051/j3ea/2013013>
	inria-00073730v1  Rapport Caroline Aiglon, Christophe Lavarenne, Yves Sorel, Annie Vicard. Utilisation de SynDEx pour le traitement d'images temps-réel [Rapport de recherche] RR-2968, INRIA. 1996
	inria-00099959v1  Communication dans un congrès Raul Brito, Nicolas Navet. Low Power Round-Robin Scheduling 12ème Conférence Internationale sur les Systèmes Temps Réel - RTS'04, 2004, Paris, France, Teknea, 2004
	inria-00099915v1  Communication dans un congrès Nicolas Navet. Ordonnancement sous contrainte d'énergie Action Spécifique N°106 Conception faible consommation, 2004, Paris/France, 38 p, 2004
	inria-00099658v1  Chapitre d'ouvrage Ye-Qiong Song, Anis Koubaa. Gestion dynamique de la QdS temps réel selon (m,k)-firm none. Ecole d'Eté Temps Réel 2003 - ETR'03, 16 p, 2003
	inria-00099673v1  Rapport Mohamed Khalgui. Vérification de propriétés temporelles complexes [Stage] A03-R-395 || khalgui03a, 2003, 87 p
	inria-00099703v1  Rapport Jian Li. Sufficient Condition for Guaranteeing (m,k)-firm Real-Time Requirement Under NP-DBP-EDF Scheduling [Intership report] A03-R-452 || li03a, 2003, 53 p
	inria-00099612v1  Communication dans un congrès Fabrice Jumel, Françoise Simonot-Lion. Management of anytime tasks in real time applications XIV Workshop on Supervising and Diagnostics of Machining Systems, 2003, Karpacz/Pologne, 2003
	inria-00099660v1  Communication dans un congrès Cédric Wilwert, Anne Charlois, Franz Gailliegue. Les services réseaux pour les systèmes X-by-Wire RTS Embedded Systems 2003, 2003, Paris/France, Teknea, 2003
	inria-00099669v1  Communication dans un congrès Nicolas Navet, Bruno Gaujal. Analyse de robustesse du réseau TTP/C GDR "Spécification Temporelle et Stochastique et Systèmes Temps Réel'' - GDR STRQDS 2003, 2003, Paris/France, 2003
	inria-00099613v1  Communication dans un congrès Bruno Gaujal, Nicolas Navet, Cormac Walsh. Real-time scheduling for optimal energy use 4èmes Journées Francophones d'Etudes Faible Tension Faible Consommation 2003 - FTFC'03, 2003, Paris/France, 8 p, 2003
	inria-00099651v1  Communication dans un congrès Françoise Simonot-Lion. Architectures Embarquées dans l'automobile : comment assurer leur sûreté ? 10èmes rencontres INRIA Industrie « Applications de l'informatique et de l'automatique aux transports » 2003, 2003, Rocquencourt/France, 19 p, 2003
	1 2 3 4 5 6	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 158 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM