5964 search results - page 44 / 1193 » A theory of speculative computation |
123
click to vote
HPDC
2002
IEEE
15 years 9 months ago
2002
IEEE
Error propagation is a central problem in grid computing. We re-learned this while adding a Java feature to the Condor computational grid. Our initial experience with the system w...
118
click to vote
MFCS
1993
Springer
15 years 8 months ago
1993
Springer
We present the different constructive definitions of real number that can be found in the literature. Using domain theory we analyse the notion of computability that is substant...
117
click to vote
AAAI
1998
15 years 5 months ago
1998
We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...
148
click to vote
CIE
2005
Springer
15 years 9 months ago
2005
Springer
We define the notion of ordinal computability by generalizing standard Turing computability on tapes of length ω to computations on tapes of arbitrary ordinal length. The general...
116
click to vote
JSYML
2007
15 years 3 months ago
2007
In this paper we answer the following well-known open question in computable model theory. Does there exist a computable not ℵ0-categorical saturated structure with a unique com...