4 December 2018

Special issue published: "Modelling and Verification: Performance Evaluation and Test: Part II"

International Journal of Critical Computer-Based Systems 8(3/4) 2018
  • Performance analysis of the M/G/c/c + r queuing system for cloud computing data centres
  • Multicore scheduling of real-time systems subject to permanent failure of one core with detection delay
  • A model-based approach to combine conformance and load tests: an eHealth case study
  • Formal probabilistic performance verification of randomly-scheduled wireless sensor networks
  • Performance evaluation of stochastic real-time systems with the SBIP framework
  • Precise use cases in a context-aware model-checking approach

No comments: