POD
Menu principal
  •  Directs
  • Configuration
  • Connexion

 Liste des chaînes

 Types de vidéos

  •  Audio (74)
  •  Colloque (196)
  •  Conférences (2643)
  •  Documentaires (38)
  •  Films institutionnels (111)
  •  Interview (144)
  •  Supports pédagogiques (3626)
  •  Autres (3929)
  •  Films promotionnels (136)
  •  Relation presse (2)
  •  Production étudiante (272)
  •  Tutoriels (339)

 Filtres

Les vidéos à gauche sont automatiquement triées selon les filtres sélectionnés ci-dessous. Consultez les options pour ajuster les résultats.


 Types
 Disciplines
 Mots clés
 Cursus universitaire
Bonjour, votre serveur vidéo a été mis à jour. Nous sommes en train de finaliser son optimisation. L'encodage de vos vidéos fonctionne (ne pas tenir compte du message d'erreur actuel à la fin de votre encodage).
  1. Accueil
  2. Vidéos

22 vidéos trouvées

 Audio  Vidéo  Statistiques de vues
Chargement en cours…
00:23:33
Approfondir l'intégration matériel/logiciel grâce aux opportunités du matériel open source
Approfondir l'intégration matériel/logicie…
00:28:51
Quels choix possibles dans les modèles d'exécution bas niveau ?
Quels choix possibles dans les modèles d'e…
00:40:14
Pervasive Portable Performance: Quand est-ce qu'on arrive ?
Pervasive Portable Performance: Quand est-…
00:21:57
Mélange de calcul et d'interaction sur un FPGA
Mélange de calcul et d'interaction sur un …
00:36:57
A Functional Semantics for the Hybrid Systems Simulation Engine
A Functional Semantics for the Hybrid Syst…
00:19:34
Applying a user-centered approach to the study of interactive properties
Applying a user-centered approach to the s…
00:32:43
Traceability of the compilation process
Traceability of the compilation process
00:30:50
SSA Translation Is an Abstract Interpretation
SSA Translation Is an Abstract Interpretat…
00:34:08
A Formal Specification for Gated SSA
A Formal Specification for Gated SSA
00:28:04
Preuve formelle d'un analyseur flot de données paramétré par un ordre d'itération
Preuve formelle d'un analyseur flot de don…
00:23:44
Propriété du domaine borné pour la logique temporelle linéaire du premier ordre et applications à la vérification de systèmes à états infinis
Propriété du domaine borné pour la logique…
00:25:34
Execution-time opacity problems in (parametric) timed automata
Execution-time opacity problems in (parame…
Plus
Chargement en cours…

 

Université intégrée

  • Mentions légales
  • Accessibilité : Partiellement conforme
  • ESUP-Portail
  • Projet Esup-Pod

POD | Plateforme vidéo - Université intégrée • Version 4.3.1-dev • 11446 vidéos disponibles (269 jours, 7:53:51)

Nous utilisons des cookies pour personnaliser l’affichage (barre de menu de droite, mode sombre ou dyslexie etc.), gérer la session (authentification) et analyser le trafic du site (pour certaines instances).