Le moteur de recherche
des thèses françaises
Jocelyn Sérot
IdRefMots clés
FR |
EN
FPGA
Traitement d’images
Traitement d'images
Traitement d'images -- Techniques numériques
Programmation fonctionnelle
Parallélisme (informatique)
Vision par ordinateur
Flot de données
Traitement du signal
Parallélisme
Programmation de haut niveau
Sémantique
Sûreté des langages
Preuves de programmes
Typage
BSP
Programmation fonctionnelle (informatique)
Langages de programmation
Systèmes informatiques -- Mesures de sûreté
Programmation parallèle