Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
33 résultats
section 1-1 sur 3
résultats 1 à 12
Canal-u.fr
Algorithmes de transmission et de recherche de l'information dans les réseaux de communication  Droits d'accès : non autorisé
Description : Dans cet exposé, Philippe Robert, après quelques mots sur son métier, explique les problèmes fondamentaux qui se posent dans un système distribué, en prenant le problème de la transmission de messages. Il montre que l'algorithmique est complètement différent dans ce cas, et que des modèles aléatoire ...
Date : 02-06-2010
Format : video/mp4
Auteur : ROBERT Philippe
Thème : Informatique, Informatique, Informatique, Mathématiques
Type de la ressource pédagogique : cours / présentation
Niveau : formation continue
UNIT
Algorithmique et programmation Droits d'accès : non autorisé
Description : L'objectif de ce cours de la plateforme e-learning de l'INSA de Rouen est d'appréhender les méthodologies de base de la programmation et de l'algorithmique.
Date : 01-01-2007
Format : Document HTML, Document PDF, Archive compressée ZIP
Auteur : Delestre Nicolas
Thème : Ingénierie et activités connexes, Informatique
Type de la ressource pédagogique : cours / présentation, exercice, examen, expérience
Niveau : enseignement supérieur, bac+3
Public : apprenant, enseignant, gestionnaire
UNIT
Approches fonctionnelles de la programmation Droits d'accès : non autorisé
Description : Fournir un panorama complet du paradigme de programmation fonctionnelle et de son positionnement par rapport aux autres paradigmes de programmation (en particulier de la programmation impérative). Illustrer l'ensemble des concepts abordés au moyen de deux langages fonctionnels: Lisp et Haskell.
Date : 07-01-2009
Format : Document HTML, Document PDF
Auteur : Verna Didier
Thème : Informatique, Informatique
Type de la ressource pédagogique : cours / présentation
Niveau : licence
Public : apprenant
Canal-u.fr
Assistant de démonstration (Introduction à la vérification de programme)  Droits d'accès : non autorisé
Description : Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principal ...
Date : 02-01-2019
Format : video/mp4
Auteur : ROGNIER Benoit
Thème : Informatique
Type de la ressource pédagogique : cours / présentation
Niveau : master, formation continue
Canal-u.fr
Calcul reconfigurable: quand le programme est un circuit.  Droits d'accès : non autorisé
Description : Dans le paradigme de programmation actuellement dominant, un programme est une suite d'instructions qui s'exécutent en séquence. Cette séquentialité est confortable pour écrire des programmes, mais limite la performance : certaines séquences d'actions pourraient s'exécuter en parallèle. D'ailleurs o ...
Date : 16-01-2019
Format : video/mp4
Auteur : Dinechin (de) Florent
Thème : Informatique
Type de la ressource pédagogique : cours / présentation
Niveau : formation continue
Canal-u.fr
Combien d?objets dans une image ?  Droits d'accès : non autorisé
Description : 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, ...
Date : 16-06-2009
Format : video/mp4
Auteur : LEVY Jean-Jacques
Thème : Ingénierie et activités connexes, Informatique
Type de la ressource pédagogique : cours / présentation
Niveau : formation continue
UNIT
Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern)  Droits d'accès : non autorisé
Description : Les outils de vérification formelle de programmes (analyseurs statiques, prouveurs de programmes, model-checkers) ont fait des progrès remarquables ces dernières années et commencent à percer dans le monde du logiciel critique. Cependant, ces outils ne vérifient "que" des programmes source: des erre ...
Date : 08-10-2009
Format : Document HTML, Document PDF
Auteur : Leroy Xavier
Thème : Informatique, Informatique
Type de la ressource pédagogique : cours / présentation
Niveau : enseignement supérieur, licence
Public : apprenant, enseignant
UNIT
Comment maîtriser la complexité des logiciels ?  Droits d'accès : non autorisé
Description : Le logiciel est partout dans notre vie quotidienne et cela n'est pas près de s'arrêter ! Jean-Marc Jézéquel, chercheur en informatique, nous parle des enjeux autour de cet objet mathématique qui envahit le monde réel, dans cet épisode du podcast Interstices.
Date : 26-01-2017
Format : Document HTML
Auteur : Jézéquel Jean-Marc, Jongwane Joanna
Thème : Informatique
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
Canal-u.fr
Conclusion (Introduction à la vérification de programme)  Droits d'accès : non autorisé
Description : Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principal ...
Date : 02-01-2019
Format : video/mp4
Auteur : ROGNIER Benoit
Thème : Informatique
Type de la ressource pédagogique : cours / présentation
Niveau : master, formation continue
UNIT
Do general purpose languages have a future?  Droits d'accès : non autorisé
Description : As the computing world matures, the roles of computer professionals are becoming more specialized. In particular, a programmer can spend a whole career doing work in embedded systems or data analysis without a need to gain expertise in other fields. Would such programmers be best served by completel ...
Date : 08-07-2003
Format : Vidéo MPEG
Auteur : Stroustrup Bjarne
Thème : Informatique, Informatique
Type de la ressource pédagogique : cours / présentation
Niveau : enseignement supérieur, doctorat
Public : apprenant, enseignant
Canal-u.fr
Exécution symbolique (Introduction à la vérification de programme)  Droits d'accès : non autorisé
Description : Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principal ...
Date : 02-01-2019
Format : video/mp4
Auteur : ROGNIER Benoit
Thème : Informatique
Type de la ressource pédagogique : cours / présentation
Niveau : master, formation continue
UNIT
Faites-vous confiance à votre thermostat ?  Droits d'accès : non autorisé
Description : Certains systèmes logiciels qui interagissent avec le monde réel ne doivent échouer sous aucun prétexte, au risque de provoquer des catastrophes. Comment s?assurer que ces systèmes sont sûrs ? En particulier, quel degré de confiance accorder au processus de traduction de ces logiciels vers du code e ...
Date : 22-06-2022
Format : Document HTML
Auteur : Brun Lélio
Thème : Informatique
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant