Verified Compilation of Synchronous Dataflow with State Machines.
In: ACM Transactions on Embedded Computing Systems, Jg. 22 (2023-10-02), S. 1-26
Online
academicJournal
Zugriff:
Titel: |
Verified Compilation of Synchronous Dataflow with State Machines.
|
---|---|
Autor/in / Beteiligte Person: | BOURKE, TIMOTHY ; PESIN, BASILE ; POUZET, MARC |
Link: | |
Zeitschrift: | ACM Transactions on Embedded Computing Systems, Jg. 22 (2023-10-02), S. 1-26 |
Veröffentlichung: | 2023 |
Medientyp: | academicJournal |
ISSN: | 1539-9087 (print) |
DOI: | 10.1145/3608102 |
Sonstiges: |
|