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

 Channel list

 Types of videos

  •  Audio (2)
  •  Other (4521)
  •  Colloque (245)
  •  Conferences (2388)
  •  Documentaries (61)
  •  Institutional movie (208)
  •  Promotional movie (164)
  •  Interview (161)
  •  Students work (260)
  •  relation presse (5)
  •  Learning resources (5807)
  •  Tutorials (505)

 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:31:36
Une sémantique des structures, unions et termes indéfinis pour la spécification formelle de C
Une sémantique des structures, unions et t…
00:20:38
Un arbre de syntaxe pour programmes annotés avec leurs invariants et leurs preuves
Un arbre de syntaxe pour programmes annoté…
00:32:43
Traceability of the compilation process
Traceability of the compilation process
00:26:52
Towards the verification of User Interface Description Languages
Towards the verification of User Interface…
00:30:50
SSA Translation Is an Abstract Interpretation
SSA Translation Is an Abstract Interpretat…
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: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: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:40:14
Pervasive Portable Performance: Quand est-ce qu'on arrive ?
Pervasive Portable Performance: Quand est-…
00:35:19
OptiTrust : User-Guided Source-to-Source Transformations (with Formal Guarantees)
OptiTrust : User-Guided Source-to-Source T…
00:21:57
Mélange de calcul et d'interaction sur un FPGA
Mélange de calcul et d'interaction sur un …
00:30:53
Formally verified block optimizations by symbolic execution modulo invariants
Formally verified block optimizations by s…
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.6.1 - 14267 videos available [ 332 days, 5:13:38 ]

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