Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches.
Franco CicirelliAngelo FurfaroLibero NigroFrancesco PupoPublished in: DS-RT (2012)
Keyphrases
- main contribution
- probabilistic model
- analysis tool
- information processing
- image analysis
- design principles
- case study
- video sequences
- information technology
- database
- metadata
- decision support
- social networks
- artificial intelligence
- design process
- quantitative analysis
- machine learning
- conceptual framework
- real world