Menu
My cart
163
Navigate by :
Menu
Home
Our resources
Advanced research
By theme
By competency
By author
All resources
You are here :
Home
By theme
Déposer une
ressource
1940
resources
Search
Help
Advanced search
Current search
Data processing Computer science
New
Modify
Refine my search
OK
1
2
3
4
5
6
1
2
3
4
5
6
Print
RSS feed
Title
Title
Date
Author
Display 10
Display 5
Display 10
Display 15
Display 20
Display 25
Display 30
Display 35
Display 40
Your attention please : access to the documents may be restricted, wheter for legal reasons, or imposed by the creator of the work.
1940
resources
page 1
to 194
results
1 to 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 ...
Keywords
:
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
Rights
:
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)
Learn more about
Complete descriptive sheet
Computer security (série : Colloquium Jacques Morgenstern)
Share
On Facebook
On Twitter
On Google+
On LinkedIn
On Viadeo
By email
On Scoop.it
On Pinterest
Add to my cart
View the document
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 ...
Keywords
:
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
Rights
:
Droits réservés à l'éditeur et aux auteurs.
Learn more about
Complete descriptive sheet
EMOIS Nancy 2011 - Données médico-administratives pour l’estimation de l’incidence des cancers.
Share
On Facebook
On Twitter
On Google+
On LinkedIn
On Viadeo
By email
On Scoop.it
On Pinterest
Add to my cart
View the documents
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.
Keywords
:
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
Rights
:
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
Learn more about
Complete descriptive sheet
Exercices (Compilation : théorie, techniques et outils)
Share
On Facebook
On Twitter
On Google+
On LinkedIn
On Viadeo
By email
On Scoop.it
On Pinterest
Add to my cart
View the 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.
Keywords
:
compilation, optimisation de code, programme informatique, langage de programmation, compilateur, code source, performance d'un programme, analyse de code
Date
:
22-12-2010
Rights
:
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
Learn more about
Complete descriptive sheet
Introduction à l'optimisation de code (Compilation : théorie, techniques et outils)
Share
On Facebook
On Twitter
On Google+
On LinkedIn
On Viadeo
By email
On Scoop.it
On Pinterest
Add to my cart
View the documents
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 ...
Keywords
:
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
Rights
:
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
Learn more about
Complete descriptive sheet
Génération de code (Compilation : théorie, techniques et outils)
Share
On Facebook
On Twitter
On Google+
On LinkedIn
On Viadeo
By email
On Scoop.it
On Pinterest
Add to my cart
View the documents
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 " ...
Keywords
:
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
Rights
:
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
Learn more about
Complete descriptive sheet
Représentations intermédiaires (Compilation : théorie, techniques et outils)
Share
On Facebook
On Twitter
On Google+
On LinkedIn
On Viadeo
By email
On Scoop.it
On Pinterest
Add to my cart
View the documents
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 ...
Keywords
:
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
Rights
:
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
Learn more about
Complete descriptive sheet
Gestion de la mémoire (Compilation : théorie, techniques et outils)
Share
On Facebook
On Twitter
On Google+
On LinkedIn
On Viadeo
By email
On Scoop.it
On Pinterest
Add to my cart
View the 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 ...
Keywords
:
compilation, gestion de type, programme informatique, langage de programmation, compilateur, code source, analyse de type, système de typage
Date
:
22-12-2010
Rights
:
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
Learn more about
Complete descriptive sheet
Gestion de type (Compilation : théorie, techniques et outils)
Share
On Facebook
On Twitter
On Google+
On LinkedIn
On Viadeo
By email
On Scoop.it
On Pinterest
Add to my cart
View the documents
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 ...
Keywords
:
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
Rights
:
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
Learn more about
Complete descriptive sheet
Table de symboles (Compilation : théorie, techniques et outils)
Share
On Facebook
On Twitter
On Google+
On LinkedIn
On Viadeo
By email
On Scoop.it
On Pinterest
Add to my cart
View the 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 ...
Keywords
:
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
Rights
:
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
Learn more about
Complete descriptive sheet
Traduction dirigée par la syntaxe (Compilation : théorie, techniques et outils)
Share
On Facebook
On Twitter
On Google+
On LinkedIn
On Viadeo
By email
On Scoop.it
On Pinterest
Add to my cart
View the documents
1
2
3
4
5
6
Bounce