|
|<
<< Page précédente
1
2
3
4
Page suivante >>
>|
|
documents par page
|
Tri :
Date
Editeur
Auteur
Titre
|
|
Pourquoi créer des nouveaux langages de programmation ?
/ Inria / Interstices
/ 28-01-2019
/
Henrio Ludovic
Voir le résumé
Voir le résumé
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
|
Accéder à la ressource
|
|
Prototypage virtuel de système sur puce pour une simulation rapide et fidèle (1/2)
/ Région PACA, UNS, CNRS - Centre National de la Recherche Scientifique, INRIA (Institut national de recherche en informatique et automatique), Mathieu Minazio
/ 29-01-2014
/ Canal-u.fr
Moy Matthieu
Voir le résumé
Voir le résumé
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
|
Accéder à la ressource
|
|
Educlet et proglet
/ INRIA, Unisciel, Fuscia, Université de Nice
/ 2011
/ Unisciel
Picard-Limpens Cécile
Voir le résumé
Voir le résumé
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
|
Accéder à la ressource
|
|
Cryptage RSA: expérimenter avec la cryptographie
/ INRIA, Unisciel, Fuscia, Université de Nice
/ 2011
/ Unisciel
Picard-Limpens Cécile
Voir le résumé
Voir le résumé
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
|
Accéder à la ressource
|
|
En voiture: Découvrir les graphes et les chemins
/ INRIA, Unisciel, Fuscia, Université de Nice
/ 2011
/ Unisciel
Picard-Limpens Cécile
Voir le résumé
Voir le résumé
Vise à s’approprier, à travers une animation 3D, les différents éléments caractéristiques d’un graphe, en vue de saisir les algorithmes qui en font usage. Mot(s) clés libre(s) : proglet, graphe, algorithme
|
Accéder à la ressource
|
|
Explo Sonore: Exploration du signal sonore
/ INRIA, Unisciel, Fuscia, Université de Nice
/ 2011
/ Unisciel
Picard-Limpens Cécile
Voir le résumé
Voir le résumé
Permet de comprendre l'évolution temporelle et le contenu fréquentiel (le spectre) d'un son. Mot(s) clés libre(s) : proglet, signal sonore, son, spectre du son
|
Accéder à la ressource
|
|
Graphe et Chemins: Explorer les graphes et les chemins
/ INRIA, Unisciel, Fuscia, Université de Nice
/ 2011
/ Unisciel
Picard-Limpens Cécile
Voir le résumé
Voir le résumé
Vise à s’approprier, à la métaphore d'un réseau social, les différents éléments caractéristiques d’un graphe, et l'algorithme du plus court chemin. Mot(s) clés libre(s) : proglet, graphe, algorithme
|
Accéder à la ressource
|
|
gogle Map: Jouer avec une carte de France
/ INRIA, Unisciel, Fuscia, Université de Nice
/ 2011
/ Unisciel
Pichardie David
Voir le résumé
Voir le résumé
Permet de découvrir à travers l'objet numérique graphe et les algorithmes élémentaires qui s'y appliquent. Mot(s) clés libre(s) : proglet, graphe, algorithmes élémentaires
|
Accéder à la ressource
|
|
Paint brush: dessiner sur une image
/ INRIA, Unisciel, Fuscia, Université de Nice
/ 2011
/ Unisciel
Pichardie David
Voir le résumé
Voir le résumé
Permet de s'initier au codage pixelique et aux opérations de dessin sur une image. Mot(s) clés libre(s) : proglet, manipulation d'images, codage pixelique, codage matriciel, dessin sur une image
|
Accéder à la ressource
|
|
Preuve automatique de la sûreté de logiciels critiques
/ INRIA (Institut national de recherche en informatique et automatique)
/ 06-12-2012
/ Canal-u.fr
RIVAL Xavier
Voir le résumé
Voir le résumé
Des logiciels tels que des commandes de vol d'avions doivent être d'une fiabilité totale, dans la mesure où un dysfonctionnement du calculateur de vol pourrait entraîner une catastrophe. En particulier, il serait inacceptable qu'un tel logiciel puisse produire des erreurs à l'exécution. Il est mathématiquement impossible de déterminer de manière automatique et exacte si un logiciel informatique est correct, mais il est possible d'effectuer un calcul automatique dit conservatif, qui détectera tout problème potentiel, mais risque d'échouer à prouver la correction de certains programmes qui sont pourtant justes. Je montrerai comment cela peut être effectué grâce à la théorie mathématique de l'interprétation abstraite, et je présenterai quelques applications de ce cadre de travail à des problèmes simples.
Mot(s) clés libre(s) : logiciel, sûreté
|
Accéder à la ressource
|
|
|<
<< Page précédente
1
2
3
4
Page suivante >>
>|
|
documents par page
|