Performance model checking scenario-aware dataflow
From MaRDI portal
Publication:3172842
DOI10.1007/978-3-642-24310-3_5zbMATH Open1348.68151OpenAlexW176679999MaRDI QIDQ3172842FDOQ3172842
Authors: Bart Theelen, Marc Geilen, J. P. M. Voeten 
Publication date: 7 October 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-24310-3_5
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
- Uppaal in a nutshell
- Title not available (Why is that?)
- Title not available (Why is that?)
- Interactive Markov chains. And the quest for quantified quality
- Finite state Markovian decision processes
- CADP 2010: a toolbox for the construction and analysis of distributed processes
- Title not available (Why is that?)
- Performance analysis of probabilistic timed automata using digital clocks
- Time-abstracted bisimulation: Implicit specifications and decidability
- Integrated Formal Methods
- Performance evaluation with temporal rewards
- State-space support for path-based reward variables
Cited In (5)
Uses Software
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)
