Knowledge Tree

researcher / Marc Pouzet

Marc Pouzet

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Thesis:

Compaction des langages fonctionnels

Directed Thesis:

Sémantique mécanisée et compilation vérifiée pour un langage synchrone à flots de données avec réinitialisation

Efficient code generation for hardware accelerators by refining partially specified implementation

A synchronous approach to quasi-periodic systems

A synchronous functional language with integer clocks

Programmer le parallélisme avec des futures en Heptagon un langage synchrone flot de données et étude des réseaux de Kahn en vue d’une compilation synchrone

Compilation certifiée de SCADE/LUSTRE

Raffinement temporel et exécution parallèle dans un langage synchrone fonctionnel

Modèle n-synchrone pour la programmation de réseaux de Kahn à mémoire bornée

Répartition modulaire de programmes synchrones

Réduction paramétrée de spécifications formées d'automates communicants : algorithmes polynomiaux pour la réduction de modèles

Conception, sémantique et implantation de réactiveML : un langage à la ML pour la programmation réactive