647 résultats : analyse

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
647 résultats
page 1 sur 65
résultats 1 à 10
UNIT
Description : Butler Lampson, one of the pioneers in computer security, once wrote: "What people want from computer security is to be as secure with computers as they are in the real world". Increasingly, however, the "real world" is full of interconnected computers in critical roles. Accordingly, computer s ...
Mots clés : fuscia, conférence, recherche, STIC, protocole de sécurité, confidentialité, intégrité, disponibilité, authentification, communication, spam, clé, cryptage, attaque, pi calcul, analyse formelle, mémoire, puissance de calcul, cache, contrôle d'accès, Binder, logique, base de données, intégration, ...
Date : 18-03-2003
Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
UNIT
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
UNIT
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
UNIT
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
UNIT
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
UNIT
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
UNIT
Description : Présentation des automates, les expressions régulières et les scanners (transducteurs). Il explique comment créer automatiquement des scanners permettant de retrouver les unités lexicales dans un programme source. Il présente également des rudiments de Lex. Thème 1 de l'ensemble "Compilation : ...
Mots clés : compilation, analyse lexicale, programme informatique, langage de programmation, compilateur, code source, automate, langage reconnaissable, expression régulière, LEX
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
UNIT
Description : L'ensemble "Compilation : théorie, techniques et outils" vise à fournir des cours synthétiques sur la compilation et ses techniques, allant de l’analyse lexicale et syntaxique jusqu’à l’introduction à l’optimisation du code. Cet enseignement est organisé en 10 thèmes contenant cours, exemples et ...
Mots clés : compilation, représentation intermédiaire, programme informatique, langage de programmation, compilateur, code source, langage intermédiaire, analyse lexicale, analyse syntaxique, gestion mémoire, gestion de type, table de symbole, traduction dirigée par la syntaxe, optimisation 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
Canal-U
Description : L’objet de cet exposé est de montrer l’intérêt et de l’analyse mathématique non–lisse pour la modélisation et la simulation de systèmes physiques qui peuvent venir de la mécanique,  de l’électronique  ou encore de systèmes biologiques. L’analyse non lisse permet d’ étendre les notions de différe ...
Mots clés : système dynamique non lisse, analyse mathématique non lisse, modélisation systèmes physiques, simulation systèmes physiques
Date : 18-01-2017
Droits : Droits réservés à l'éditeur et aux auteurs. Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
UNISCIEL (unisciel)
Description : L'objectif de cette enquète est d'acquérir la méthodologie d'analyse de documents iconographoqies, indispensable aux étudiants d'histoire et de sciences de la vie pour leur réussite à l'université. Les théories de Darwin sont un fil conducteur interressant car l'analyse pet être menée à travers ...
Mots clés : analyse documentaire, méthodologie, analyse de documents iconographiques, théories de Darwin, théorie de l'évolution de Darwin
Date : 2018
Droits : Licence creative commons de type 3:http://creativecommons.org/licenses/by-nc-sa/3.0/deed.fr - pour plus d'information contacter l'auteur