POD
Menu
  • Lives
  • Configuration
  • Log in

 10 Channels

  • International127 videos
  • La formation360 videos
  • Orientation and Professional Integration76 videos
  • Pédagogies innovantes616 videos
  • Presse83 videos
  • Research2487 videos
  • Ressources humaines35 videos
  • Student life7 videos
  • Tutorials102 videos
  • University399 videos

 Types of videos

  •  Colloque (277)
  •  Conferences (1931)
  •  Documentaries (60)
  •  Institutional movie (203)
  •  Interview (158)
  •  Learning resources (5715)
  •  Other (4443)
  •  Promotional movie (153)
  •  relation presse (7)
  •  Students work (438)
  •  Tutorials (467)
  1. Home
  2. Videos

43 videos found  Audio  Video Statistics views

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…
More
Loading…

 Filters

Types
Disciplines
Tags
University course

 

Université intégrée

  • Legal notices
  • Esup Portal
  • Pod Project

POD video platform of Université intégrée - Release 3.1.1 - 13849 videos availables [ 309 days, 4:19:57 ]

We use third party cookies to personalize content, manage session and analyze site traffic.