Local consistency check in synchronous dataflow models

DOI10.1007/978-3-030-30942-8_24MaRDI QIDQ6535962zbMATH OpenFDO

Authors Dina Alina Irofti, Paul Dubrulle

Publication date 14 March 2024

Full work available at URL https://doi.org/10.1007/978-3-030-30942-8_24

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• scientific article; zbMATH DE number 918595
• Static optimal scheduling for synchronous data flow graphs with model checking
• A data flow model with frequency arithmetic
• Performance model checking scenario-aware dataflow
• scientific article; zbMATH DE number 2079646

Cites work

• Parameterized dataflow modeling for DSP systems
• Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing
• The earlier the better: a theory of timed actor interfaces

This page was built for publication: Local consistency check in synchronous dataflow models

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