Counter-machine model

Known as: Counter machine models, Register machine models 
This page supplements counter machine. Although some authors use the name "register machine" synonymously with "counter machine", this article will… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2010-2012
01220102012

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Acceleration methods are commonly used for computing precisely the effects of loops in the reachability analysis of counter… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 6
  • figure 7
Is this relevant?
2012
2012
Acceleration methods are commonly used for computing precisely the effects of loops in the reachability analysis of counter… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 6
  • figure 7
Is this relevant?
2011
2011
Acceleration methods are commonly used for speeding up the convergence of loops in reachability analysis of counter machine… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2010
2010
Acceleration methods are commonly used for computing precisely the effects of loops in the reachability analysis of counter… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?