Static analysis of run-time modes in synchronous process network

DOI10.1007/978-3-642-29709-0_7MaRDI QIDQ3457971zbMATH OpenOpenAlexFDO

Authors Michael Beyer, Sabine Glesner

Publication date 7 December 2015

Published in Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-29709-0_7

zbMATH Keywords

optimizationstatic analysispolyhedral abstractionprogram modessynchronous process networks

Mathematics Subject Classification ID

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

Recommendations

• Static analysis of run-time modes in Kahn process networks
• Verification, Model Checking, and Abstract Interpretation
• Process-local static analysis of synchronous processes
• Static optimal scheduling for synchronous data flow graphs with model checking
• Synchronous Kahn networks

Cited in

(2)

• Static analysis of run-time modes in Kahn process networks
• scientific article; zbMATH DE number 1956488 (Why is no real title available?)

This page was built for publication: Static analysis of run-time modes in synchronous process network

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