Menu
Naviguer par :
Menu
Accueil
Nos ressources
Recherche avancée
Par thème
Par compétence
Par auteur
Toutes les ressources
Vous êtes ici :
Accueil
Par mots-clef
A
analyse
Déposer une
ressource
647
résultats :
analyse
Rechercher
Aide
Recherche avancée
Recherche en cours
Par mots-clef
=
analyse
Affiner ma recherche
OK
1
2
3
4
5
6
1
2
3
4
5
6
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 10
Afficher 5
Afficher 10
Afficher 15
Afficher 20
Afficher 25
Afficher 30
Afficher 35
Afficher 40
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
Computer security (série : Colloquium Jacques Morgenstern)
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)
En savoir plus
Description complète
Computer security (série : Colloquium Jacques Morgenstern)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
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)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder aux documents
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)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder aux documents
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)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder aux documents
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)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder aux documents
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)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder aux documents
Analyse lexicale (Compilation : théorie, techniques et outils)
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
En savoir plus
Description complète
Analyse lexicale (Compilation : théorie, techniques et outils)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder aux documents
Compilation : théorie, techniques et outils - ensemble des ressources
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
En savoir plus
Description complète
Compilation : théorie, techniques et outils - ensemble des ressources
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
L’analyse non lisse pour la modélisation et la simulation
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)
En savoir plus
Description complète
L’analyse non lisse pour la modélisation et la simulation
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder aux documents
L'enquète Darwin, se former à la méthodologie d'analyse de documents iconographiques
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
En savoir plus
Description complète
L'enquète Darwin, se former à la méthodologie d'analyse de documents iconographiques
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
1
2
3
4
5
6
Rebondir