Lustre, Fast First, and Fresh

The rate-synchronous model formalizes an industrial approach for composing Lustre nodes that execute at different rates. Such programs are compiled to cyclic sequential code in two steps. First, an integer linear program is solved to assign each component to a phase relative to its period. Second, t...

Full description

Bibliographic Details

Published in:	IEEE embedded systems letters Vol. 17; no. 2; pp. 119 - 122
Main Authors:	Bourke, Timothy, Pouzet, Marc
Format:	Journal Article
Language:	English
Published:	IEEE 01.04.2025 Institute of Electrical and Electronics Engineers
Subjects:	Clocks Codes Computer Science Dataflow synchronous programming Mathematical models Pipelines Reactive power Schedules Semantics Streams Switches Syntactics time-centric reactive software Dataflow Synchronous Programming Time-Centric Reactive Software
ISSN:	1943-0663, 1943-0671
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!