• Filtres
• Sous-domaine niveau 1  ×
• collCode_s  ×
• Tous  ×

218 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	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 218 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM
	inria-00073718v1  Rapport Erven Rohou, François Bodin, André Seznec, Gwendal Le Fol, François Charot et al.  SALTO : System for Assembly-Language Transformation and Optimization [Research Report] RR-2980, INRIA. 1996
	inria-00070648v1  Rapport Eric Badouel, Jules Chenou, Goulven Guillou. Petri Algebras [Research Report] RR-5355, INRIA. 2004, pp.28
	tel-00517181v1  Thèse Elian Carrillo. Robots reconfigurables : Étude de la convergence dans le problème du déplacement vers un but Autre [cs.OH]. Université de Bretagne Sud, 2007. Français
	inria-00073462v2  Article dans une revue Emmanuel Frénod, Eric Sonnendrücker. Homogenization of the Vlasov Equation and of the Vlasov - Poisson System with a Strong External Magnetic Field Asymptotic Analysis, IOS Press, 1998, 18 (3-4), pp.193--214
	tel-00502455v1  Thèse Michel Dubois. MASL, langage de contrôle multi-agents robotiques Autre [cs.OH]. Université de Bretagne Sud, 2008. Français
	hal-00553388v1  Communication dans un congrès Wilfried Despagne, Thomas Burger. Introduction de l'ingénierie ontologique dans la méthodologie de développement des progiciels de gestion des collectivités territoriales Extraction et Gestion des Connaissances, Jan 2011, France. 2011
	hal-00789978v1  Article dans une revue Jean-Yves Gauvrit, Xavier Leclerc, Jc Ferré, Christian A. Taschner, Béatrice Carsin-Nicol et al.  [Imaging of subarachnoid hemorrhage] American Journal of Neuroradiology, American Society of Neuroradiology, 2009, 36 (2), pp.65-73. <10.1016/j.neurad.2008.06.005>
	hal-00788833v1  Article dans une revue Romuald Seizeur, Seddik Sid Ahmed, Alexandre Simon, Gérard Besson, Pierre Forlodou. Acute non-traumatic spinal subdural haematoma: An unusual aetiology Journal of Clinical Neuroscience, Elsevier, 2009, 16 (6), pp.842-843. <10.1016/j.jocn.2008.09.003>
	tel-00979471v1  Thèse Bacem Wali. Intéropérabilité sémantique entre les outils de traitement d'images en neuro-imagerie Médecine humaine et pathologie. Université Rennes 1, 2013. Français. < NNT : 2013REN1B003 >
	hal-00747819v1  Article dans une revue Miao Wang, François Bodin. Compiler-directed memory management for heterogeneous MPSoCs Journal of Systems Architecture, Elsevier, 2011, 57 (1), pp.134-145. <10.1016/j.sysarc.2010.10.008>
	tel-00502510v1  HDR Jean-Philippe Babau. Formalisation et structuration des architectures opérationnelles pour les systèmes embarqués temps réel Autre [cs.OH]. INSA de Lyon, 2005
	inria-00070418v1  Rapport Pierrick Coupé, Pierre Hellier, Christian Barillot. État de l'art des méthodes de correction des déformations cérébrales per-opératoires [Rapport de recherche] RR-5589, INRIA. 2005, pp.51
	tel-01430156v1  Thèse Raghavendran Balu. Privacy-aware and scalable recommender systems uing sketching techniques Other [cs.OH]. Université Rennes 1, 2016. English. < NNT : 2016REN1S047 >
	inria-00606918v1  Rapport Achour Mostefaoui, Michel Raynal, Julien Stainer. Chasing the Weakest Failure Detector for k-Set Agreement in Message-passing Systems [Research Report] PI-1981, 2011, pp.15
	hal-00909722v1  Communication dans un congrès Marwa Yusuf, Ahmed El-Mahdy, Erven Rohou. On-Stack Replacement to Improve JIT-based Obfuscation - A Preliminary Study International Japan-Egypt Conference on Electronics, Communications, and Computers, Dec 2013, Cairo, Egypt. 2013
	hal-00909766v1  Autre publication Muhammad Hataba, Ahmed El-Mahdy, Amin Shoukry, Erven Rohou. OJIT: A Novel Secure Remote Execution Technology By Obfuscated Just-In-Time Compilation The Third European LLVM Conference. 2013
	inria-00260643v1  Rapport Y. Moses, Michel Raynal. Revisiting Simultaneous Consensus with Crash Failures [Research Report] PI 1885, 2008, pp.17
	inria-00261976v1  Rapport Kandaraj Piamrat, César Viho, Adlen Ksentini, Jean-Marie Bonnin. Resource Management in Mobile Heterogeneous Networks: State of the Art and Challenges [Research Report] PI 1889, 2008, pp.31
	inria-00505640v1  Communication dans un congrès Erven Rohou, Andrea Ornstein, Marco Cornero. CLI-Based Compilation Flows for the C Language International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, Jul 2010, Samos, Greece. IEEE, pp.162-169, 2010, <10.1109/ICSAMOS.2010.5642069>
	tel-00011455v2  Thèse Elisa Fromont. Apprentissage multisource par programmation logique inductive : application à la caractérisation d'arythmies cardiaques Autre [cs.OH]. Université Rennes 1, 2005. Français
	hal-00938866v1  Autre publication Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet. A Type-Based Analysis of Causality Loops In Hybrid Systems Modelers Deliverable D3.1_1 v 1.0 of the Sys2soft collaborative project "Physics Aware Software". 2013
	tel-00963824v1  Thèse Stefania Costache. Market-based autonomous and elastic application execution on clouds Other [cs.OH]. Université Rennes 1, 2013. English. < NNT : 2013REN1S113 >
	tel-00861274v1  Thèse Tyler Crain. On improving the ease of use of the software transactional memory abstraction Other [cs.OH]. Université Rennes 1, 2013. English. < NNT : 2013REN1S022 >
	inria-00589692v1  Communication dans un congrès Dorit Nuzman, Sergei Dyshel, Erven Rohou, Ira Rosen, Kevin Williams et al.  Vapor SIMD: Auto-Vectorize Once, Run Everywhere International Symposium on Code Generation and Optimization, Apr 2011, Chamonix, France. 2011
	hal-00960272v2  Pré-publication, Document de travail Cagdas Bilen, Gilles Puy, Rémi Gribonval, Laurent Daudet. Balancing Sparsity and Rank Constraints in Quadratic Basis Pursuit 2014
	inria-00583301v1  Rapport Achour Mostefaoui, Michel Raynal, Julien Stainer. Relations Linking Failure Detectors Associated with k-Set Agreement in Message-Passing Systems [Research Report] PI-1973, 2011, pp.13
	inria-00363593v1  Communication dans un congrès Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux. Formal Concept analysis enhances Fault Localization in Software R. Medina and S. Obiedkov. Int. Conf. Formal Concept Analysis, 2008, Montreal, Canada. pp.273--288, 2008
	inria-00258515v2  Rapport Naouel Ben Ali, Joanna Moulierac, Abdelfattah Belghith, Miklós Molnár. mQMA multi-constrained QoS Multicast Aggregation [Research Report] PI 1881, 2008
	inria-00583155v1  Rapport Damien Imbs, Michel Raynal. The weakest failure detector to implement a register in asynchronous systems with hybrid communication [Research Report] PI-1972, 2011, pp.11
	inria-00259807v2  Rapport Naouel Ben Ali, Miklós Molnár, Abdelfatteh Belghith. Multi-constrained QOS multicast routing optimization [Research Report] PI 1882, 2008, pp.48
	1 2 3 4 5 6 7 8	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 218 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM