Permet de manipuler les concepts liés à l'encryptage/décryptage par clés publique et privée.
Mot(s) clés libre(s) : proglet, cryptage, encryptage, décryptage, clé publique, clé privée

Cette page regroupe des educlets et proglets, une «proglet» permet de manipuler un objet numérique et de le faire fonctionner avec des algorithmes, une «educlet» permet de manipuler un objet numérique et de le faire fonctionner à travers une interface graphique.
Mot(s) clés libre(s) : educlet, proglet, algorithmique, algorithme, exploration sonore, spectre d'un son, cryptage, graphe, illustration d'une onde

La complexité grandissante des circuits intégrés modernes a donné lieu à  de nouveaux types de circuits, qu'on appelle "systèmes sur puces". Il n'est aujourd'hui plus possible d'attendre les premiers prototypes physiques pour valider la bonne intégration de leurs composants et développer le logiciel embarqué, souvent de taille considérable. Il est donc nécessaire d'utiliser des prototypes virtuels des cirtuits tôt dans le flot de conception du système global. Dans cet exposé bicéphale, nous présenterons les techniques de prototypage virtuel basées sur l'environnement de programmation standard du domaine : SystèmC/TLM. La première partie présentera les techniques établies et leur utilisation dans le contexte industriel de STMicroelectronics. Nous présenterons les différentes plates-formes industrielles utilisées pour l'anticipation du développement logiciel embarqué et la vérification fonctionnelle de son fonctionnement sur plates-formes, et décrirons leurs catactéristiques et leurs limitations. Nous étudierons la représentativités des modèles ainsi construits, y compris pour les nouveaux besoins liés à la validation de propriétés extra-fonctionnelles devenues essentielles comme la consommation d'énergie. La seconde partie présentera des techniques de programmation et d'implémentation développées recemment pour répondre aux besoins précités et aussi pour exploiter efficacement le parallélisme des machines hôtes de la simulation. Séminaire associé au 3e cours à l'extérieur de Gérard Berry pour le collège de France intitulé "Urgences scientifiques posées par l'industrie".
Mot(s) clés libre(s) : synchronisation

De nouveaux langages de programmation ainsi que des outils permettant de transformer ou d’analyser les programmes émergent chaque année grâce à la recherche dans ce domaine. Qu'est-ce qu'un bon langage ? Et surtout, pourquoi en crée-t-on toujours plus ?
Mot(s) clés libre(s) : langage programmation, expressivité, sûreté, efficacité, programmation parallèle, programmation concurrente, programmation objets, objets actifs

Dans cet exposé Jean-Jacques Lévy propose de décortiquer quelques algorithmes d'étiquetage des objets dans une image, c'est à dire de segmentation de cette image en régions homogènes, et de regarder en détail la complexité algorithmique d'un tel mécanisme. Cela permet de montrer dans un cas concret, quels formalismes permettent d'analyser les performances d'un algorithme et de vérifier sa validité. On y croise la fonction d’Ackermann dont le rôle est essentiel en informatique théorique.Cet exposé s'est inscrit dans le cadre d'une formation INRIA proposée en juin 2009 et s'adressait aux professeurs des établissements de l'académie de Versailles proposant l'option Informatique et Objets Numériques à leurs classes de seconde pour l'année scolaire 2009-2010.
Mot(s) clés libre(s) : algorithmique, classe d'équivalence, fonction d’Ackermann, image numérique, objet, pixel, programmation

OCaml est un langage de programmation générique, conçu et développé depuis 25 ans à l’Inria. Malgré ses qualités exceptionnelles, il n’a conquis, pendant longtemps, qu’un petit nombre d’industriels. Pour permettre son utilisation plus large dans l’industrie, j’ai participé à la création d’une société, OCamlPro, dont le but est de fournir les services et les outils, en logiciels libres, dont les entreprises peuvent avoir besoin pour l’utiliser.Cet exposé présentera cette aventure technique, sociale et économique, dont les effets sur la communauté OCaml ont déjà commencé à se faire sentir.
Mot(s) clés libre(s) : langage de programmation, Ocaml

Dans cet exposé, François Laroussinie introduit la notion d'algorithme à travers ces éléments clés: structures de contrôle et de données et complexité. Il considère alors les algorithmes de tri et les algorithmes sur les graphes pour travailler ces notions fondamentales et permettent d'en prendre la mesure sur des exemples fondamentaux.Ce cours a été donné en juin 2010 lors des journées de formation à l'informatique organisées par l'INRIA à destination des professeurs de mathématiques d'Ile de France. Il est composé d'une présentation et d'une séance de questions-réponses.
Mot(s) clés libre(s) : algorithme de Dijkstra, algorithme de Prim, algorithme de tri, algorithmique, arbre couvrant minimal, complexité, parcours d'un graphe, plus court chemin, structure de données

Les systèmes informatiques, ou plus exactement les Sciences et Technologies de l'Information et de la Communication, pour éviter une interprétation restrictive, ouvrent de nouveaux défis, car à la situation habituelle en matière de risque, qui considère uniquement les risques de nature accidentelle, ou délibérée mais sans intention nuisible (par exemple, action d'un opérateur qui agit en bonne foi, mais dont l'action se trouve avoir des conséquences négatives), s'ajoutent les malveillances. Ceci conduit à revoir considérablement toute la notion de risque. De plus, cette notion renouvelée de risque s'étend non seulement aux infrastructures informatiques (par exemple, Internet), mais également aux systèmes dits " enfouis " (les embbeded systems), qui concernent directement tous les systèmes industriels du fait de la généralisation de leur informatisation, et de leur interconnexion croissante. La conférence proposée a pour objet cette notion renouvelée de risque. Elle dressera d'abord la scène, en situant les différentes sources de risque. Les approches pour la diminution du risque seront ensuite abordées, classées selon prévention, tolérance, élimination et prévision des sources de risque. Des exemples serviront d'illustration, et permettront d'introduire les limites actuelles. La conclusion abordera des problèmes considérés comme ouverts à l'heure actuelle.
Mot(s) clés libre(s) : analyse statique, bug, faute logicielle, gestion du risque, sécurité informatique, sûreté de fonctionnement, système informatique, test, virus

Ce cours s'adresse à des étudiants post-bac en informatique. Il permet d'acquérir les concepts fondamentaux de la programmation en langage "assembleur" de manière interactive. Il est accompagné d'une série d'exercices permettant au lecteur de vérifier la bonne acquisition de ces concepts. Le cours couvre les principales instructions des processeurs les plus récents de la famille des 80x86 (Intel et AMD) : instructions d'arithmétique entière, comparaisons et branchements, opérations logiques, gestion de pile, procédures et fonctions, opérations en virgule flottante, parallélisme, etc. Les différentes structures de données sont aussi expliquées (pointeurs, tableaux, matrices, etc.) et des parallèles avec les langages de programmation avancés sont faits régulièrement.
Mot(s) clés libre(s) : assembleur, langage de programmation, langage machine, processeur, 80x86, opérations logiques, pointeurs, tableaux, matrices, codage des données

Cfacile est un support interactif de cours pour l'apprentissage des concepts de base de l’algorithmique et de la programmation en C, à destination des débutants. Il comporte quatre parties : une base théorique structurée sous la forme de 9 chapitres de cours, un ensemble d'exercices interactifs, deux jeux éducatifs interactifs et des simulations pédagogiques. Les chapitres abordent les bases de la programmation en C : introduction au langage C, algorithmes et langages, structure d'un programme, premiers pas en C, les boucles, les tableaux ainsi que les chaînes de caractères et les pointeurs, les fonctions, les structures et les bases de l'allocation dynamique. Les exercices interactifs et simulations sont intégrés au cours concerné tout en étant accessibles indépendamment. L'étudiant a la possibilité de revenir sur les points de son parcours à l'issue des tests de connaissances. Les simulations pédagogiques assurent une compréhension à base d?exemples sur les tests (if, switch), les conversions explicite et implicite, les structures itératives (for, do, while), les fonctions, les tableaux (à une et deux dimensions), les chaînes de caractère et les structures. Elles assurent une meilleure compréhension de nouvelles notions ou concepts. Les jeux permettent de tester de façon ludique les connaissances acquises. Nous mettons à la disposition de l'apprenant un ensemble de liens utiles vers d'autres ressources afin de lui permettre d'approfondir ses connaissances.
Mot(s) clés libre(s) : langage C, algorithmique, programmation, norme ANSI, code source, compilation, identificateur, instruction, type de donnée, constante, variable, structure, déclaration, fonction, fonction sizeof, opérateur, instruction break, conversion, instruction switch, boucle, chaine de caractère, tableau, allocation dynamique, fonction malloc, fonction free, itération