215 résultats : mémoire

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
215 résultats
page 1 sur 22
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 : 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
UNIT
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
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 : En conclusion de la série de cours "Des méthodes pour apprendre", le thème de l'émission est "s'organiser pour communiquer". Après avoir rappelé le principe des outils méthodologiques de base, Régine Acquier aborde les éléments qui permettent d'être en confiance dans les relations interpersonnelles. ...
Mots clés : mémoire, études supérieures, techniques de travail, méthodologie, communication
Date : 01-06-2000
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
Description : The dynamics of our internal representations : memory consolidation, reconsolidation and the integration of new information with the past Colloque neurosciences et psychanalyse, le 27 mai 2008 Neurosciences et psychanalyse : une rencontre autour de l'émergence de la singularité Colloque organisé ...
Mots clés : psychanalyse, mémoire, identité, neurosciences
Date : 27-05-2008
Droits : Droits réservés à l'éditeur et aux auteurs.
UNIT
Description : L’Intelligence Artificielle (IA) s’est construite sur une opposition forte entre connaissances et données. Les neurosciences ont tout d’abord fourni des éléments confortant cette vision avec la description de deux formes de mémoire, traitant respectivement de connaissances et de données. Les neu ...
Mots clés : neurosciences, intelligence artificielle, modèle computationnel, mémoire
Date : 26-08-2020
Droits : Ce document est diffusé sous licence Creative Commons : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
Canal-U
Description : 3ème Partie: Deux études de cas La table ronde intitulée « Le travail des praticiens de la mémoire publique : l’impact des contraintes matérielles et de la prise en compte du public-cible » s’est tenue le 8 octobre 2015 dans le cadre du colloque interdisciplinaire La Fabrique des mémoires publiques ...
Mots clés : musées, publications scientifiques, Mons Memorial Museum, lieux de mémoire
Date : 08-10-2015
Droits : Droits réservés à l'éditeur et aux auteurs. Université Paul-Valéry Montpellier 3 - tous droits réservés.
Canal-U
Description : 1ère Partie: Présentation des intervenants La table ronde intitulée « Le travail des praticiens de la mémoire publique : l’impact des contraintes matérielles et de la prise en compte du public-cible » s’est tenue le 8 octobre 2015 dans le cadre du colloque interdisciplinaire La Fabrique des mémoires ...
Mots clés : histoire, guerre d'algérie, musées, Première Guerre Mondiale, commémoration, historien, Mons Memorial Museum, mémoire collective, mémoire officielle
Date : 08-10-2015
Droits : Droits réservés à l'éditeur et aux auteurs. Université Paul-Valéry Montpellier 3 - tous droits réservés.
Canal-U
Description : L'évolution du matériel informatique est certainement le phénomène technique qui a connu la progression la plus importante pendant ce demi-siècle. L'apparition de la microélectronique a permis, sur les trente dernières années, une augmentation de la performance des microprocesseurs par un facteur ...
Mots clés : transistor, architecture des ordinateurs, histoire de l'informatique, mémoire informatique, microprocesseur, pipe-line, puissance de calcul
Date : 04-09-2000
Droits : Droits réservés à l'éditeur et aux auteurs.