341 résultats : l’informatique

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
341 résultats
page 1 sur 35
résultats 1 à 10
Canal-U
Caractéristiques particulières des manuscrits en langue arabe d’Afrique de l’ouest (Tombouctou) à prendre en compte dans les outils techniques par Alfadoulou ABDOULAHI
Description : Caractéristiques particulières des manuscrits en langue arabe d’Afrique de l’ouest (Tombouctou) à prendre en compte dans les outils techniques Depuis une vingtaine d’années, le numérique a marqué l’organisation des connaissances et est au centre des programmes de modernisation des institutions ...
Mots clés : linguistique informatique, Sciences de l'information et de la communication, Etudes interculturelles, Ingénierie linguistique
Date : 11-10-2013
Droits : Droits réservés à l'éditeur et aux auteurs. Tous droits réservés.
 En savoir plus
 Description complète
Caractéristiques particulières des manuscrits en langue arabe d’Afrique de l’ouest (Tombouctou) à prendre en compte dans les outils techniques par Alfadoulou ABDOULAHI
 Ajouter à mon panier
Accéder aux documents
UNIT
Exercices (Compilation : théorie, techniques et outils)
Description : TDs qui relèvent d'un ou plusieurs thèmes. Composant d'exercices de l'ensemble "Compilation : théorie, techniques et outils" organisé en 10 thèmes et contenant cours, exemples et exercices résolus.
Mots clés : compilation, optimisation de code, programme informatique, langage de programmation, compilateur, code source, programmation assembleur, traduction dirigée par la syntaxe, analyse lexicale, analyse syntaxique, analyse sémantique, YACC, table de symbole, gestion des types, code intermédiaire, gén ...
Date : 22-12-2010
Droits : Ces contenus sont la propriété, à parts égales, d’UNIT et de l'INSA de Rouen. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf
 En savoir plus
 Description complète
Exercices (Compilation : théorie, techniques et outils)
 Ajouter à mon panier
Accéder aux documents
UNIT
Introduction à l'optimisation de code (Compilation : théorie, techniques et outils)
Description : Ce cours présente les enjeux, les difficultés et quelques techniques de base de génération de code efficace. Thème 9 de l'ensemble "Compilation : théorie, techniques et outils" organisé en 10 thèmes et contenant cours, exemples et exercices résolus.
Mots clés : compilation, optimisation de code, programme informatique, langage de programmation, compilateur, code source, performance d'un programme, analyse de code
Date : 22-12-2010
Droits : Ces contenus sont la propriété, à parts égales, d’UNIT et de l'INSA de Rouen. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf
 En savoir plus
 Description complète
Introduction à l'optimisation de code (Compilation : théorie, techniques et outils)
 Ajouter à mon panier
Accéder aux documents
UNIT
Génération de code (Compilation : théorie, techniques et outils)
Description : Ce cours montre l'utilisation de la traduction dirigée par la syntaxe pour générer du code valide et en particulier la génération de code sur machine à pile et sur machine à registres. Il donne des exemples de génération de code pour des expression arithmétique, des structures de contrôle, des appels ...
Mots clés : compilation, génération de code, programme informatique, langage de programmation, compilateur, code source, traduction dirigée par la syntaxe, expression, instruction conditionnelle, boucle, appel de fonction
Date : 22-12-2010
Droits : Ces contenus sont la propriété, à parts égales, d’UNIT et de l'INSA de Rouen. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf
 En savoir plus
 Description complète
Génération de code (Compilation : théorie, techniques et outils)
 Ajouter à mon panier
Accéder aux documents
UNIT
Représentations intermédiaires (Compilation : théorie, techniques et outils)
Description : Ce cours définit des structures et langages intermédiaires utilisés en compilation, comme la structure en graphes (dépendances de données, dépendances de contrôle) et des formes textuelles (codes 3 adresses, codes 2 adresses, notation préfixées et postfixées, SSA, etc.). Thème 7 de l'ensemble " ...
Mots clés : compilation, représentation intermédiaire, programme informatique, langage de programmation, compilateur, code source, langage intermédiaire, portage d'un compilateur, code intermédiaire structuré, modèle mémoire, graphe, code intermédiaire linéaire
Date : 22-12-2010
Droits : Ces contenus sont la propriété, à parts égales, d’UNIT et de l'INSA de Rouen. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf
 En savoir plus
 Description complète
Représentations intermédiaires (Compilation : théorie, techniques et outils)
 Ajouter à mon panier
Accéder aux documents
UNIT
Gestion de la mémoire (Compilation : théorie, techniques et outils)
Description : Ce cours présente les processus d'allocation et de substitution. Il montre comment fait un compilateur pour transformer des données de haut niveau en données de bas niveau (mémoire linéaire). Thème 6 de l'ensemble "Compilation : théorie, techniques et outils" organisé en 10 thèmes et contenant ...
Mots clés : compilation, gestion de la mémoire, programme informatique, langage de programmation, compilateur, code source, processus d'allocation, processus de substitution, représentation de l'information, allocation dynamique, appel de fonction, passage de paramètres
Date : 22-12-2010
Droits : Ces contenus sont la propriété, à parts égales, d’UNIT et de l'INSA de Rouen. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf
 En savoir plus
 Description complète
Gestion de la mémoire (Compilation : théorie, techniques et outils)
 Ajouter à mon panier
Accéder aux documents
UNIT
Gestion de type (Compilation : théorie, techniques et outils)
Description : Ce cours présente la notion de types dans un compilateur ainsi que les problèmes d'analyse de type et de vérification de types. Il donne l'exemple d'un système de typage simple. Thème 5 de l'ensemble "Compilation : théorie, techniques et outils" organisé en 10 thèmes et contenant cours, exemples ...
Mots clés : compilation, gestion de type, programme informatique, langage de programmation, compilateur, code source, analyse de type, système de typage
Date : 22-12-2010
Droits : Ces contenus sont la propriété, à parts égales, d’UNIT et de l'INSA de Rouen. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf
 En savoir plus
 Description complète
Gestion de type (Compilation : théorie, techniques et outils)
 Ajouter à mon panier
Accéder aux documents
UNIT
Table de symboles (Compilation : théorie, techniques et outils)
Description : Ce cours présente la construction d'une table de symboles, et de structures de données centrales dans un compilateur. Il montre aussi des implémentations efficaces et des interfaces. Thème 4 de l'ensemble "Compilation : théorie, techniques et outils" organisé en 10 thèmes et contenant cours, exemples ...
Mots clés : compilation, table de symboles, programme informatique, langage de programmation, compilateur, code source, structure de donnée, identification, portée d'un identificateur, surcharge, portée
Date : 22-12-2010
Droits : Ces contenus sont la propriété, à parts égales, d’UNIT et de l'INSA de Rouen. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf
 En savoir plus
 Description complète
Table de symboles (Compilation : théorie, techniques et outils)
 Ajouter à mon panier
Accéder aux documents
UNIT
Traduction dirigée par la syntaxe (Compilation : théorie, techniques et outils)
Description : Ce cours présente les notions de traduction S-attribuée et L-attribuée. Il explique les mécanismes permettant d'extraire des informations sémantiques sur un programme source. Il définit la notion d'attribut et les différents types d'attributs, ainsi que des règles sémantiques et donne quelques e ...
Mots clés : compilation, analyse sémantique, programme informatique, langage de programmation, compilateur, code source, traduction dirigée par la syntaxe, schéma de traduction, grammaire attribuée, grammaire S-attribuée, grammaire L-attribuée, attribut
Date : 22-12-2010
Droits : Ces contenus sont la propriété, à parts égales, d’UNIT et de l'INSA de Rouen. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf
 En savoir plus
 Description complète
Traduction dirigée par la syntaxe (Compilation : théorie, techniques et outils)
 Ajouter à mon panier
Accéder aux documents
UNIT
Analyse syntaxique (Compilation : théorie, techniques et outils)
Description : Se basant sur des pré-requis en théorie des langages (grammaires et automates à pile), ce cours montre les aspects théoriques à partir desquels on peut créer automatiquement des parseurs de langages structurés. Il aborde les deux grandes familles de parseurs : LL et LR. Des rudiments de présentation ...
Mots clés : compilation, analyse syntaxique, programme informatique, langage de programmation, compilateur, code source, parseur, analyse de programme, analyse descendante, analyse ascendante, expression régulière, automate à pile, modèle mathématique, AntLR, YACC
Date : 22-12-2010
Droits : Ces contenus sont la propriété, à parts égales, d’UNIT et de l'INSA de Rouen. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf
 En savoir plus
 Description complète
Analyse syntaxique (Compilation : théorie, techniques et outils)
 Ajouter à mon panier
Accéder aux documents