POD
Menu principal
  •  Directs
  •  Listes de lecture promues
  • Configuration
  • Connexion

 Liste des chaînes

 Types de vidéos

  •  Audio (14)
  •  Autres (4909)
  •  Colloque (246)
  •  Conférences (2542)
  •  Documentaires (58)
  •  Films institutionnels (209)
  •  Films promotionnels (177)
  •  Interview (173)
  •  Production étudiante (297)
  •  Relation presse (5)
  •  Supports pédagogiques (5855)
  •  Tutoriels (506)

 Filtres

Les vidéos à gauche sont automatiquement triées en fonction des filtres sélectionnés. Vérifiez les options pour ajuster les résultats.

 Types
 Disciplines
 Mots clés
 Cursus universitaire
  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éos de Université intégrée - Version 3.8.0 - 14918 vidéos disponibles [ 344 days, 17:32:27 ]

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). En savoir plus