Le moteur de recherche
des thèses françaises
Louis Mandel
IdRefMots clés
FR |
EN
Programmmation réactive synchrone
Programmation fonctionnelle
Conception de langage
Typage
Sémantique formelle
Multiprocesseurs-sur-puce (many-coeur)
Réseau-sur-puce (NoC)
Ordonnancement hors-ligne
Ordonnancement temps réel
Architecture -- Informatique
Ordonnancement (informatique)
Langages de programmation fonctionnels
Langages de programmation synchrones
Systèmes de types
Compilation
Circuits numériques synchrones
Langages de programmation fonctionnelle
Compilation (informatique)
Langages de programmation -- Sémantique