5964 search results - page 79 / 1193 » A theory of speculative computation |
124
click to vote
CIE
2009
Springer
15 years 8 months ago
2009
Springer
We show that the first order theories of the Medevdev lattice and the Muchnik lattice are both computably isomorphic to the third order theory of the natural numbers.
116
click to vote
GC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is ...
129
click to vote
CIE
2005
Springer
15 years 10 months ago
2005
Springer
We promote the concept of object directed computability in computational geometry in order to faithfully generalise the wellestablished theory of computability for real numbers and...
153
click to vote
MICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
Recent micro-architectural research has proposed various schemes to enhance processors with additional tags to track various properties of a program. Such a technique, which is us...