Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

10 relations
Andrey ErshovCell-probe modelCounter machinePointer 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
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… 
2010
2010
Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs
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… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)