Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Related topics

Related topics

10 relations
Andrey ErshovCell-probe modelCounter machinePointer machine
Expand

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… Expand
  • figure 1
  • figure 2
  • 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… Expand
  • figure 1
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… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 6
  • figure 7
Is this relevant?
2007
2007
MATHEMATICAL MODELS OF ETEMENTARY MATHEMATICS LEARNING AND PERFORMANCE
MF-$0.65 HC-$3.29 Computer Assisted Instruction; *Educational Pesea-rch; *Elementary School Mathematics; *Learning; Learning… Expand
  • figure 1
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE