Clocks as Types in Synchronous Dataflow Languages

MARC POUZET - pefav

Documents

38 pages

Démarrez votre essai gratuit

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

A propos
Informations

Description

Clocks as Types in Synchronous Dataflow Languages Marc Pouzet LRI & INRIA Univ. Paris-Sud 11 Orsay IFIP WG 2.8 – 9/06/2009 (joint work with Albert Cohen, Louis Mandel, Florence Plateau)

kahn semantics

message communication into

no explicit

synchronous dataflow

program critical embedded

Sujets

Documents

Education

Cours

Plateau

Mandel

Informations

Publié par	pefav
Nombre de visites sur la page	9
Langue	English

Du même publieur

Voir tout

Chapitre 8 : Programmation dynamique

Graphes et Recherche Operationnelle ESIAL 2A

Chapitre 6 : Problemes d'affectations

Principe des puissances virtuelles

J'ai étudié avec mes élèves de première quelques toiles de Lubin Baugin en par ticulier le Dessert de gaufrettes Ce tableau conservé au musée du Louvre n'est pas connu Il représente quelques gaufrettes sobrement posées sur le bord d'une table côté d'un verre de vin et d'une simple bouteille le tout sans prétention loin des spectaculaires natures mortes d'orfèvrerie Maxime l'un de mes élèves s'est étonné que l'on étudie un tableau qui n'est même pas beau Le sujet n'a aucun intérêt Qu'est ce qu'on peut bien dire Les couleurs sont ternes le sujet est nul

LUBIN BAUGIN

Signaler un problème

Clocks as Types

in Synchronous Dataﬂow Languages

Marc Pouzet LRI & INRIA Univ. Paris-Sud 11 Orsay

IFIP WG 2.8 – 9/06/2009

(joint work with Albert Cohen, Louis Mandel, Florence Plateau)

erproth(sessscer-ve/oubgnilpmas;)ivesimitalwitodewonahtlsptorfdsa

is programmed by writing, e.g :

Y = (0 -> a * pre(Y)) + Z; Z = b * X

Y0=bX0∀n Yn+1=aYn+bXn+1

WG2.8 meeting

Synchronous Dataﬂow Languages

E.g, the linear ﬁlter :

we writeniantsvari  not necessarily periodic

2/38

Model/program critical embedded software.

The idea of Lustre : directly write stream equations asexecutable speciﬁcations provide aipmocreland associated analyzing tools to generate embedded code

example

WG2.8

meeting

SCADE

sheet

3/38

Youscribe

Le catalogue

Le service

Les conditions

Rapport de stage conclusion Poésie en prose Livre en ligne Tout le catalogue Toute la communauté