8197 search results - page 325 / 1640 » Adaptive functional programming |
191
click to vote
ARCS
2005
Springer
16 years 8 days ago
2005
Springer
All known life forms process information on a molecular level. This kind of chemical information processing is known to be robust, self-organizing, adaptive, decentralized, asynch...
181
click to vote
PVM
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This paper presents P2P-MPI, a middleware aimed at computational grids. From the programmer point of view, P2P-MPI provides a message-passing programming model which enab...
178
click to vote
LPNMR
2004
Springer
16 years 2 days 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...
174
click to vote
TPHOL
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
186
click to vote
APSCC
2006
IEEE
15 years 10 months ago
2006
IEEE
Parallel application development for Grids can from tools that abstract the underlying Grid middleware, hide the critical aspects of heterogeneous resources and provide utilities ...