Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,217,150 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
Andrey Ershov
Cell-probe model
Counter machine
Pointer 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
P. Schrammel
,
Bertrand Jeannet
Journal of symbolic computation
2012
Corpus ID: 7829701
2011
2011
Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs
P. Schrammel
,
Bertrand Jeannet
Sensors Applications Symposium
2011
Corpus ID: 16901888
Acceleration methods are commonly used for speeding up the convergence of loops in reachability analysis of counter machine…
Expand
2010
2010
Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs
P. Schrammel
,
Bertrand Jeannet
Electron. Notes Theor. Comput. Sci.
2010
Corpus ID: 17204749
2007
2007
MATHEMATICAL MODELS OF ETEMENTARY MATHEMATICS LEARNING AND PERFORMANCE
P. Suppes
2007
Corpus ID: 59936336
MF-$0.65 HC-$3.29 Computer Assisted Instruction; *Educational Pesea-rch; *Elementary School Mathematics; *Learning; Learning…
Expand
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)
ACCEPT & CONTINUE