Static analysis of run-time modes in synchronous process network

DOI10.1007/978-3-642-29709-0_7zbMATH Open1336.68176OpenAlexW89260888MaRDI QIDQ3457971FDOQ3457971

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

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

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)

Cited In (2)

• Static analysis of run-time modes in Kahn process networks
• Title not available (Why is that?)

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)