POD
Main menu
  •  Lives
  •  Promoted playlists
  • Configuration
  • Log in

 Channel list

 Types of videos

  •  Audio (9)
  •  Other (4638)
  •  Colloque (244)
  •  Conferences (2371)
  •  Documentaries (60)
  •  Institutional movie (206)
  •  Promotional movie (172)
  •  Interview (164)
  •  Students work (258)
  •  relation presse (5)
  •  Learning resources (5905)
  •  Tutorials (511)

 Filters

The videos on the left are automatically sorted according to the filters selected. Check options to adjust results.

 Types
 Disciplines
 Tags
 University course
  1. Home
  2. Videos

22 videos found

 Audio  Video  Statistics views
Loading…
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…

 

Université intégrée

  • Legal Notice
  • Accessibility: Partially compliant
  • Esup Portal
  • Esup-Pod Project

POD video platform of Université intégrée - Release 3.8.0 - 14483 videos available [ 337 days, 12:48:11 ]

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