Sciweavers

21 search results - page 1 / 5
» The basic theory of infinite time register machines
Sort
View
AML
2010
102views more  AML 2010»
13 years 5 months ago
The basic theory of infinite time register machines
Merlin Carl, Tim Fischbach, Peter Koepke, Russell ...
CIE
2008
Springer
13 years 7 months ago
An Enhanced Theory of Infinite Time Register Machines
Abstract. Infinite time register machines (ITRMs) are register machines which act on natural numbers and which are allowed to run for arbitrarily many ordinal steps. Successor step...
Peter Koepke, Russell Miller
FLAIRS
2004
13 years 6 months ago
A Theory for Convex Interval Relations including Unbounded Intervals
We extend the basic axiomatization of interval convex relations by Allen and Hayes with unbounded intervals. Unbounded intervals include since intervals with a finite beginning po...
Diana Cukierman, James P. Delgrande
CSSE
2008
IEEE
13 years 11 months ago
Design and Implementation of the Virtual Machine Constructing on Register
: The technology of virtual machines is widely applied in many fields, such as code transplanting, cross-platform computing, and hardware simulation. The main purpose is to simulat...
Weibo Xie, Fu Ting