Local consistency check in synchronous dataflow models

DOI10.1007/978-3-030-30942-8_24zbMATH Open1539.68064MaRDI QIDQ6535962FDOQ6535962

Authors: Dina Alina Irofti, Paul Dubrulle 

Publication date: 14 March 2024

Recommendations

• Publication:4888827
• 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

Mathematics Subject Classification ID

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

Cites Work

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

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)