• Filtres
• Structure : Identifiant HAL de la structure  ×
• Mots-clés  ×
• Tous  ×

52 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	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 52 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM
	tel-00550830v1  HDR Albert Cohen. Contributions to the Design of Reliable and Programmable High-Performance Systems: Principles, Interfaces, Algorithms and Tools Networking and Internet Architecture [cs.NI]. Université Paris Sud - Paris XI, 2007
	tel-00672699v1  Thèse Mathieu Boespflug. Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo Logique en informatique [cs.LO]. Ecole Polytechnique X, 2011. Français
	tel-01377758v1  Thèse Juan Manuel Martinez Caamaño. Fast and Flexible Compilation Techniques for Effective Speculative Polyhedral Parallelization Computation and Language [cs.CL]. Université de Strasbourg, 2016. English
	tel-00942606v1  Thèse Pejman Attar. Towards a safe and secure synchronous language Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English. <NNT : 2013NICE4148>
	tel-00564904v1  HDR Pierre Boulet. Contributions aux environnements de programmation pour le calcul intensif Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2002
	tel-00564899v1  Thèse Pierre Boulet. Outils pour la parallélisation automatique Génie logiciel [cs.SE]. Ecole normale supérieure de lyon - ENS LYON, 1996. Français
	tel-00565382v1  Thèse Gabriel Antoniu. DSM-PM2 : une plate-forme portable pour l'implémentation de protocoles de cohérence multithreads pour systèmes à mémoire virtuellement partagée Informatique [cs]. Ecole normale supérieure de lyon - ENS LYON, 2001. Français
	tel-00733856v1  Thèse Benoit Pradelle. Static and Dynamic Methods of Polyhedral Compilation for an Efficient Execution in Multicore Environments Hardware Architecture [cs.AR]. Université de Strasbourg, 2011. English
	tel-00084753v1  Thèse Guillaume Huard. Algorithmique du décalage d'instructions Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2001. Français
	tel-00437582v1  Thèse Jean-Baptiste Tristan. Formal verification of translation validators Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 2009. Français
	tel-00011212v1  HDR Pascal Fradet. Approches langages pour la conception et la mise en oeuvre de programmes Génie logiciel [cs.SE]. Université Rennes 1, 2000
	tel-01251719v1  Thèse Jean-François Dollinger. A framework for efficient execution on GPU and CPU+GPU systems Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Strasbourg, 2015. English
	tel-00452440v1  Thèse Zaynah Dargaye. Vérification formelle d'un compilateur optimisant pour langages fonctionnels Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 2009. Français
	tel-00497580v1  Thèse Yves Mahéo. Environnement pour la compilation dirigée par les données : supports d’exécution et expérimentations Modélisation et simulation. Université Rennes 1, 1995. Français
	tel-01058041v1  Thèse Van Chan Ngo. Formal Verification of a Synchronous Data- flow Compiler : from Signal to C Software Engineering [cs.SE]. Université Rennes 1, 2014. English
	tel-00403504v2  Thèse Florent Bouchez. Étude des problèmes de spilling et coalescing liés à l'allocation de registres en tant que deux phases distinctes Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2009. Français
	tel-00170867v1  HDR Jean-Louis Pazat. Génération de code réparti par distribution de données Réseaux et télécommunications [cs.NI]. Université Rennes 1, 1997
	tel-00336576v1  HDR Sandrine Blazy. Sémantiques formelles Informatique [cs]. Université d'Evry-Val d'Essonne, 2008
	tel-00337539v1  Thèse Radu Kopetz. Contraintes d'anti-filtrage et programmation par réécriture Génie logiciel [cs.SE]. Institut National Polytechnique de Lorraine - INPL, 2008. Français
	tel-00565633v1  Thèse Olivier Zendra. Traduction et optimisation globale dans les langages de classes Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2000. Français
	tel-00710193v1  Thèse Thi Minh Tuyen Nguyen. Taking architecture and compiler into account in formal proofs of numerical programs Other [cs.OH]. Université Paris Sud - Paris XI, 2012. English. <NNT : 2012PA112090>
	tel-00769403v1  Thèse Boubacar Diouf. Decoupled approaches to register and software controlled memory allocations Other [cs.OH]. Université Paris Sud - Paris XI, 2011. English. <NNT : 2011PA112349>
	tel-00665897v1  HDR Sid Touati. Méthodes d'optimisations de programmes bas niveau Langage de programmation [cs.PL]. Université de Versailles-Saint Quentin en Yvelines, 2010
	tel-00322195v2  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
	tel-00769044v1  Thèse Tahina Ramananandro. Mechanized Formal Semantics and Verified Compilation for C++ Objects Programming Languages [cs.PL]. Université Paris-Diderot - Paris VII, 2012. English. <NNT : 2012PA077001>
	tel-01271902v1  Thèse Mickaël Dardaillon. COMPILATION D'APPLICATIONS FLOT DE DONNÉES PARAMÉTRIQUES POUR MPSOC DÉDIÉS À LA RADIO LOGICIELLE Informatique. INSA de Lyon, 2014. Français. <NNT : 2014ISAL0102>
	tel-01264021v1  HDR Dumitru Potop-Butucaru. Real-Time Systems Compilation Embedded Systems. EDITE, 2015
	tel-01428425v2  Thèse Diogo Sampaio. Profile Guided Hybrid Compilation Computer Science [cs]. Université Grenoble-Alpes, 2016. English
	tel-00007405v1  Thèse Sid Touati. Register Pressure in Instruction Level Parallelism Other [cs.OH]. Université de Versailles-Saint Quentin en Yvelines, 2002. English
	tel-00004339v1  Thèse Hubert Garavel. Compilation et vérification de programmes LOTOS Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1989. Français
	1 2	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 52 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM