Performance model checking scenario-aware dataflow
From MaRDI portal
Publication:3172842
Recommendations
- Worst-case throughput analysis for parametric rate and parametric actor execution time scenario-aware dataflow graphs
- Applying real-time scheduling theory to the synchronous data flow model of computation
- Static optimal scheduling for synchronous data flow graphs with model checking
- Model checking functional and performability properties of stochastic fluid models
- Uniprocessor scheduling of real-time synchronous dataflow tasks
Cites Work
- scientific article; zbMATH DE number 765034 (Why is no real title available?)
- scientific article; zbMATH DE number 805121 (Why is no real title available?)
- scientific article; zbMATH DE number 3236503 (Why is no real title available?)
- CADP 2010: a toolbox for the construction and analysis of distributed processes
- Finite state Markovian decision processes
- Integrated Formal Methods
- Interactive Markov chains. And the quest for quantified quality
- Performance analysis of probabilistic timed automata using digital clocks
- Performance evaluation with temporal rewards
- State-space support for path-based reward variables
- Time-abstracted bisimulation: Implicit specifications and decidability
- Uppaal in a nutshell
Cited In (10)
- Title not available (Why is no real title available?)
- Extended synchronous dataflow for efficient DSP system prototyping
- Title not available (Why is no real title available?)
- Static optimal scheduling for synchronous data flow graphs with model checking
- Worst-case throughput analysis for parametric rate and parametric actor execution time scenario-aware dataflow graphs
- Analysis of dataflow programs with interval-limited data-rates
- A data flow model with frequency arithmetic
- Analysis of static data flow structures
- Programming by composing filters
- Local consistency check in synchronous dataflow models
This page was built for publication: Performance model checking scenario-aware dataflow
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172842)