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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	IEEE embedded systems letters Jg. 17; H. 2; S. 119 - 122
Hauptverfasser:	Bourke, Timothy, Pouzet, Marc
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	IEEE 01.04.2025 Institute of Electrical and Electronics Engineers
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!