And secondly, we are developing a new dataflow language for hardware design, which will make designers 10 times more productive.
Deuxièmement, nous développons un nouveau langage de flux de données pour la conception matérielle, ce qui rendra les concepteurs 10 fois plus productifs.
We then extend the OCaml language with a synchronous programming model inspired from the Lustre dataflow language, which offers abstraction over the concurrent aspects of a program.
Nous étendons par la suite OCaml avec un modèle de programmation synchrone inspiré du langage Lustre et permettant d'abstraire les aspects concurrents d'un programme.
To address point 2) we show that it is possible to compile SLICES to a dataflow language, SJD, that is built upon the Cyclostatic Data-Flow formalism and therefore ensures determinism.
Pour répondre au point 2) nous montrons qu'il est possible de compiler SLICES vers un langage de flots de données, SJD, qui s'inscrit dans le modèle des Cyclostatic Data-Flow et donc admet une exécution déterministe.
Second, Stateflow is an automata-based, imperative language, whereas Lustre is a dataflow language.
G G. Dataflow language for the LabView system, for graphical and parallel (and functional) programming.
For experimental evaluations we show how this new technique can be applied in the contexts of loops, nested or not, as well as for computer programs expressed within a dataflow language.
Pour l'évaluation expérimentale nous montrons comment utiliser cette nouvelle technique dans le cadre des boucles, imbriquées ou non, ainsi que dans le cas des programmes exprimés dans un langage à flot-de-données.