Markov Reward Model Checker

Known as: MRMC, Markov Reward Model Checker (MRMC) 
The Markov Reward Model Checker (MRMC) is a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1979-2018
051019792018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
We introduce the web-based model checker ISCASMC for probabilistic systems (see http://iscasmc.ios.ac.cn/IscasMC). This Java… (More)
  • figure 1
  • table 1
Is this relevant?
Highly Cited
2012
Highly Cited
2012
The Wireless Mesh Network (WMN) has already been recognized as a promising broadband access network technology from both academic… (More)
  • table I
  • table II
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2012
2012
Multi-radio multi-channel (MRMC) wireless mesh networks (WMNs) achieve higher throughput using multiple simultaneous… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2012
2012
During the past few years, cognitive radio networks (CRNs) have emerged as a solution for the problems created due to fixed… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
2010
2010
The predominant technique for computing the transient distribution of a Continuous Time Markov Chain (CTMC) exploits… (More)
  • table 1
  • table 2
  • table 3
  • figure 2
  • figure 3
Is this relevant?
2010
2010
Wireless Mesh Networks (WMNs) have the potential for improving network capacity by employing multiple radios and multiple… (More)
  • figure 1
  • figure 2
  • figure 4
Is this relevant?
Highly Cited
2009
Highly Cited
2009
The Markov Reward Model Checker (MRMC) is a software toolfor verifying properties over probabilistic models. It supports PCTL and… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • table 2
Is this relevant?
2007
2007
This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage… (More)
  • table 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports… (More)
  • figure 1
Is this relevant?
Highly Cited
1992
Highly Cited
1992
A video compression scheme based on the wavelet representation and multiresolution motion compensation (MRMC) is presented in… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?