43264 search results - page 409 / 8653 » Comparing models of computation |
131
Voted
ICLP
1990
Springer
15 years 9 months ago
1990
Springer
The logic programming language framework Kernel Andorra Prolog is de ned by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive langu...
124
click to vote
TOG
2008
15 years 4 months ago
2008
Many applications such as topology repair, model editing, surface parameterization, and feature recognition benefit from computing loops on surfaces that wrap around their `handle...
204
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
—This paper addresses context issues in pervasive mobile computing and presents a semantic context model to support location based cooperative mobile applications. In this paper,...
121
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper proposes the study of a new computation model that attempts to address the underlying sources of performance degradation (e.g. latency, overhead, and starvation) and th...
152
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
— In this paper, a parallel model of multi-objective genetic algorithm supposing a grid environment is discussed. In this proposed parallel model, we extended master-slave model ...