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...

Full description

Bibliographic Details
Main Author: Guatto, Adrien
Other Authors: Paris Sciences et Lettres
Language:en
Published: 2016
Subjects:
004
Online Access:http://www.theses.fr/2016PSLEE020/document