FAQ

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

Related topics

Related topics

10 relations
Andrey ErshovCell-probe modelCounter machinePointer machine
(More)

Related mentions per year

Related mentions per year

1938-2018
19401960198020002020
Counter-machine model
Turing machine
Primitive recursive function
Register machine
Tag system
Wang B-machine

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Applying abstract acceleration to (co-)reachability analysis of reactive programs
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
Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs 1
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
Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs
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
Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs
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?