In mathematical logic and theoretical computer science a register machine is a generic class of abstract machines used in a manner similar to aâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2013

2013

- Alain Finkel, Stefan GÃ¶ller, Christoph Haase
- MFCS
- 2013

This paper introduces a class of register machines whose registers can be updated by polynomial functions when a transition isâ€¦Â (More)

Is this relevant?

2010

2010

- Merlin Carl, Tim Fischbach, Peter Koepke, Russell G. Miller, Miriam Nasfi, Gregor Weckbecker
- Arch. Math. Log.
- 2010

Infinite time register machines (ITRMs) are register machines which act on natural numbers and which are allowed to run forâ€¦Â (More)

Is this relevant?

2006

2006

- Peter Koepke
- CiE
- 2006

Infinite time register machines (ITRMs) are register machines which act on natural numbers and which may run for arbitrarily manyâ€¦Â (More)

Is this relevant?

2006

2006

- Lawrence S. Moss
- Bulletin of the EATCS
- 2006

Register machine programs provide explicit proofs of the sn -Theorem, Kleeneâ€™s Second Recursion Theorem, and Smullyanâ€™s Doubleâ€¦Â (More)

Is this relevant?

Highly Cited

2006

Highly Cited

2006

- Patricia Bouyer, Thomas Brihaye, Nicolas Markey
- Inf. Process. Lett.
- 2006

In this paper, we strengthen two recent undecidability results of [9,10] about weighted timed automata, an extension of timedâ€¦Â (More)

Is this relevant?

Highly Cited

2005

Highly Cited

2005

- Yunhe Shi, David Gregg, Andrew Beatty, M. Anton Ertl
- VEE
- 2005

Virtual machines (VMs) enable the distribution of programs in an architecture-neutral format, which can easily be interpreted orâ€¦Â (More)

Is this relevant?

2003

2003

- David Gregg, Andrew Beatty, Kevin Casey, Brian Davis, Andy Nisbet
- Sci. Comput. Program.
- 2003

Virtual machines (VMs) are a popular target for language implementers. Conventional wisdom tells us that virtual stackâ€¦Â (More)

Is this relevant?

2001

2001

- Jan A. Bergstra, Alban Ponse
- J. ACM
- 2001

We study extensions of the process algebra axiom system <b>ACP</b> with two recursive operations: the <i>binary Kleene star</iâ€¦Â (More)

Is this relevant?

1996

1996

- Ivan Korec
- Theor. Comput. Sci.
- 1996

Several small universal register machines are constructed. The number of instructions vary from 32 to 14, depending on the chosenâ€¦Â (More)

Is this relevant?

Highly Cited

1995

Highly Cited

1995

- Peter Nordin, Wolfgang Banzhaf
- ICGA
- 1995

The majority of commercial computers today are register machines of von Neumann type. We have developed a method to evolve Turingâ€¦Â (More)

Is this relevant?