A synchronous functional language with integer clocks
Cette thèse traite de la conception et implémentationd’un langage de programmation pour les systèmes detraitement de flux en temps réel, comme l’encodagevidéo. Le modèle des réseaux de Kahn est bien adaptéà ce domaine et y est couramment utilisé. Dans cemodèle, un programme consiste en un ensemble d...
Main Author: | Guatto, Adrien |
---|---|
Other Authors: | Paris Sciences et Lettres |
Language: | en |
Published: |
2016
|
Subjects: | |
Online Access: | http://www.theses.fr/2016PSLEE020/document |
Similar Items
-
Programmation Web Réactive dans un cadre typé statiquement pour l'orchestration de contenus multimédia riches
by: El Sibaïe Besognet, Rémy
Published: (2018) -
Compilation certifiée de SCADE/LUSTRE
by: Auger, Cédric
Published: (2013) -
Programmer le parallélisme avec des futures en Heptagon un langage synchrone flot de données et étude des réseaux de Kahn en vue d’une compilation synchrone
by: Gérard, Léonard
Published: (2013) -
Génération de code pour un many-core avec des contraintes temps réel fortes
by: Graillat, Amaury
Published: (2018) -
Towards a safe and secure synchronous language
by: Attar, Pejman
Published: (2013)