16844 search results - page 458 / 3369 » How to Design Programs |
222
click to vote
ERLANG
2006
ACM
16 years 1 months ago
2006
ACM
Termite Scheme is a variant of Scheme intended for distributed computing. It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is ...
201
click to vote
AMS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. The implementation of high-performance robot controllers for complex control tasks such as playing autonomous robot soccer is tedious, errorprone, and a never ending prog...
205
Voted
ICCS
2004
Springer
16 years 1 months ago
2004
Springer
We show in this paper how to evaluate the performance of skeleton-based high level parallel programs. Since many applications follow some commonly used algorithmic skeletons, we id...
210
click to vote
ILP
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. Logic Programs with Annotated Disjunctions (LPADs) provide a simple and elegant framework for integrating probabilistic reasoning and logic programming. In this paper we ...
196
click to vote
LPNMR
2004
Springer
16 years 1 months ago
2004
Springer
A conflict clause represents a backtracking solver’s analysis of why a conflict occurred. This analysis can be used to further prune the search space and to direct the search h...