1940 résultats

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1940 résultats
page 1 sur 78
résultats 1 à 25
UNIT
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)
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
Canal-U
EMOIS Nancy 2011 - Données médico-administratives pour l’estimation de l’incidence des cancers.
Description : Titre : Intérêt des bases de données médico-administratives pour l’estimation de l’incidence des cancers. Résumé : L'objectif de ce travail est d’évaluer sous quelles conditions les données médico-administratives collectées dans plusieurs pays, et notamment dans le cadre du Programme de Médicalisation ...
Mots clés : modélisation, épidémiologie, PMSI, chaînage, cancers, EMOIS Nancy 2011, bases de données médico-administratives, données de registre
Date : 18-03-2011
Droits : Droits réservés à l'éditeur et aux auteurs.
 En savoir plus
 Description complète
EMOIS Nancy 2011 - Données médico-administratives pour l’estimation de l’incidence des cancers.
 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
UNIT
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)
 Ajouter à mon panier
Accéder aux documents
UNIT
Introduction générale à la compilation (Compilation : théorie, techniques et outils)
Description : Cours d'introduction présentant la compilation et ses enjeux. Thème premier 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, code source, programme informatique, langage de programmation, compilateur, chaîne de transformation, structures de donnée, optimisation, code machine, langage intermédiaire, code cible
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 générale à la compilation (Compilation : théorie, techniques et outils)
 Ajouter à mon panier
Accéder aux documents
UNIT
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
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
Canal-U
Présentation du cours de ??bases de données relationnelles
Description : Bienvenue dans ce cours sur les bases de données relationnelles. Le but de cet enseignement est extrêmement simple, on vous veut vous faire comprendre les BDR pour que vous puissiez mieux les maîtriser. Pour faire ça, on s’y est mis à trois : je suis Serge Abiteboul et je fais ça avec deux amis, ...
Mots clés : bases de données relationnelles, SGBD, MYSQL, SQL, algèbre relationnelle
Date : 02-03-2015
Droits : Droits réservés à l'éditeur et aux auteurs. L'ensemble de ce contenu est mis à disposition sous licence CC BY-NC-ND 3.0 France https://creativecommons.org/licenses/by-nc-nd/3.0/fr/
 En savoir plus
 Description complète
Présentation du cours de ??bases de données relationnelles
 Ajouter à mon panier
Accéder aux documents
Canal-U
Différentes architectures
Description : Dans cette deuxième séquence, on va considérer différentes sortes d'architectures utilisées pour faire des bases de données distribuées.
Mots clés : transaction, bases de données relationnelles, SGBD, MYSQL, SQL, base de donnée distribuée
Date : 02-03-2015
Droits : Droits réservés à l'éditeur et aux auteurs. L'ensemble de ce contenu est mis à disposition sous licence CC BY-NC-ND 3.0 France https://creativecommons.org/licenses/by-nc-nd/3.0/fr/
 En savoir plus
 Description complète
Différentes architectures
 Ajouter à mon panier
Accéder aux documents
Canal-U
Fragmentation
Description : Dans cette troisième séquence, on va parler de fragmentation.
Mots clés : transaction, fragmentation, bases de données relationnelles, SGBD, MYSQL, SQL, base de donnée distribuée
Date : 02-03-2015
Droits : Droits réservés à l'éditeur et aux auteurs. L'ensemble de ce contenu est mis à disposition sous licence CC BY-NC-ND 3.0 France https://creativecommons.org/licenses/by-nc-nd/3.0/fr/
 En savoir plus
 Description complète
Fragmentation
 Ajouter à mon panier
Accéder aux documents
Canal-U
Optimisation de requête
Description : Dans cette séquence, on va parler d'optimisation de requête, on va montrer comment toutes les techniques d'optimisation de requête qui avaient été développées dans le cas centralisé peuvent être boostées dans le cas distribué.
Mots clés : transaction, optimisation, bases de données relationnelles, SGBD, MYSQL, SQL, base de donnée distribuée
Date : 02-03-2015
Droits : Droits réservés à l'éditeur et aux auteurs. L'ensemble de ce contenu est mis à disposition sous licence CC BY-NC-ND 3.0 France https://creativecommons.org/licenses/by-nc-nd/3.0/fr/
 En savoir plus
 Description complète
Optimisation de requête
 Ajouter à mon panier
Accéder aux documents
Canal-U
Réplication
Description : Dans cette cinquième séquence, nous allons étudier la réplication. L'idée à retenir : la raison essentielle à la réplication c'est la fiabilité.
Mots clés : réplication, transaction, bases de données relationnelles, SGBD, MYSQL, SQL, base de donnée distribuée
Date : 02-03-2015
Droits : Droits réservés à l'éditeur et aux auteurs. L'ensemble de ce contenu est mis à disposition sous licence CC BY-NC-ND 3.0 France https://creativecommons.org/licenses/by-nc-nd/3.0/fr/
 En savoir plus
 Description complète
Réplication
 Ajouter à mon panier
Accéder aux documents
Canal-U
Concurrence
Description : On a vu dans une séquence précédente, comment étendre l'optimisation de requête au cas distribué. Nous allons regarder maintenant comment étendre la concurrence au cas distribué.
Mots clés : concurrence, transaction, bases de données relationnelles, SGBD, MYSQL, SQL, base de donnée distribuée
Date : 02-03-2015
Droits : Droits réservés à l'éditeur et aux auteurs. L'ensemble de ce contenu est mis à disposition sous licence CC BY-NC-ND 3.0 France https://creativecommons.org/licenses/by-nc-nd/3.0/fr/
 En savoir plus
 Description complète
Concurrence
 Ajouter à mon panier
Accéder aux documents
Canal-U
Conclusion : cinq tendances
Description : Dans cette dernière séquence du cours, nous allons examiner des tendances des bases de données distribuées.
Mots clés : transaction, bases de données relationnelles, SGBD, MYSQL, SQL, base de donnée distribuée
Date : 02-03-2015
Droits : Droits réservés à l'éditeur et aux auteurs. L'ensemble de ce contenu est mis à disposition sous licence CC BY-NC-ND 3.0 France https://creativecommons.org/licenses/by-nc-nd/3.0/fr/
 En savoir plus
 Description complète
Conclusion : cinq tendances
 Ajouter à mon panier
Accéder aux documents
Canal-U
Les transactions : introduction
Description : Dans cette première partie, nous allons étudier les transactions et la concurrence c'est à dire le fait qu'il y ait plusieurs transactions qui arrivent en même temps. On va commencer par expliquer ce qu'est le concept de transaction : il s'agit de nombreuses opérations qui sont regroupées ensemble ...
Mots clés : transaction, bases de données relationnelles, SGBD, MYSQL, SQL, algèbre relationnelle
Date : 02-03-2015
Droits : Droits réservés à l'éditeur et aux auteurs. L'ensemble de ce contenu est mis à disposition sous licence CC BY-NC-ND 3.0 France https://creativecommons.org/licenses/by-nc-nd/3.0/fr/
 En savoir plus
 Description complète
Les transactions : introduction
 Ajouter à mon panier
Accéder aux documents
Canal-U
Les problèmes
Description : Dans cette deuxième séquence, nous allons discuter des problèmes qui vont apparaitre lorsque de nombreuses transactions sont mises en concurrence. En effet, dans le cas général une base de données n'est pas interrogée et modifier par un seul utilisateur. Et en fait, des problèmes d'incohérence vont ...
Mots clés : transaction, bases de données relationnelles, SGBD, MYSQL, SQL
Date : 02-03-2015
Droits : Droits réservés à l'éditeur et aux auteurs. L'ensemble de ce contenu est mis à disposition sous licence CC BY-NC-ND 3.0 France https://creativecommons.org/licenses/by-nc-nd/3.0/fr/
 En savoir plus
 Description complète
Les problèmes
 Ajouter à mon panier
Accéder aux documents
Canal-U
Sérialisabilité
Description : Dans cette troisième séquence, nous nous intéressons maintenant au concept de sérialisabilité. On a vu précédemment qu'une transaction est une séquence d'opérations. Et lorsqu'on a de nombreuses transactions, exécuter des transactions de manière sérielle signifie exécuter l'ensemble des opérations ...
Mots clés : transaction, bases de données relationnelles, SGBD, MYSQL, SQL, serialisabilite
Date : 02-03-2015
Droits : Droits réservés à l'éditeur et aux auteurs. L'ensemble de ce contenu est mis à disposition sous licence CC BY-NC-ND 3.0 France https://creativecommons.org/licenses/by-nc-nd/3.0/fr/
 En savoir plus
 Description complète
Sérialisabilité
 Ajouter à mon panier
Accéder aux documents
Canal-U
Estampillage
Description : Dans cette quatrième séquence, nous allons présenter une technique pour atteindre la sérialisabilité des transactions qui est l'estampillage. Le principe est relativement simple : on va associer à chaque transaction Ti un numéro distinct qu'on va appeler estampille et on va le noter E(Ti). C'est ...
Mots clés : transaction, bases de données relationnelles, SGBD, MYSQL, SQL, estampillage
Date : 02-03-2015
Droits : Droits réservés à l'éditeur et aux auteurs. L'ensemble de ce contenu est mis à disposition sous licence CC BY-NC-ND 3.0 France https://creativecommons.org/licenses/by-nc-nd/3.0/fr/
 En savoir plus
 Description complète
Estampillage
 Ajouter à mon panier
Accéder aux documents