15792 search results - page 210 / 3159 » Computational Abstraction Steps |
169
click to vote
BSL
2008
15 years 7 months ago
2008
Church's Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same, extensionally, as the Turingle nu...
176
click to vote
WAC
2004
Springer
16 years 15 days ago
2004
Springer
Emerging distributed computing scenarios call for novel “autonomic” approaches to distributed systems development and management. In this position paper we analyze the distingu...
325
Voted
JCDCG
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We survey results in a recent branch of computational geometry: folding and unfolding of linkages, paper, and polyhedra. Contents
169
click to vote
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. SymGrid-Par is a new framework for executing large computer algebra problems on computational Grids. We present the design of SymGrid-Par, which supports multiple compute...
179
click to vote
PVM
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Distributed computing is a means to overcome the limitations of single computing systems. In this paper we describe how clusters of heterogeneous supercomputers can be us...