A data flow model with frequency arithmetic

DOI10.1007/978-3-030-16722-6_22MaRDI QIDQ6091326zbMATH OpenOpenAlexFDO

Authors Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre, Stéphane Louise

Publication date 24 November 2023

Published in Fundamental Approaches to Software Engineering (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-16722-6_22

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Dynamic reconfigurations in frequency constrained data flow
• Static optimal scheduling for synchronous data flow graphs with model checking
• Applying real-time scheduling theory to the synchronous data flow model of computation
• Analysis of dataflow programs with interval-limited data-rates
• Performance model checking scenario-aware dataflow

Cited in

(2)

• Local consistency check in synchronous dataflow models
• Dynamic reconfigurations in frequency constrained data flow

This page was built for publication: A data flow model with frequency arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6091326)