4075 search results - page 509 / 815 » Modeling Distributed Algorithm Using B |
168
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
Computational models of motivation are tools that artificial agents can use to autonomously identify, prioritize, and select the goals they will pursue. Previous research has focu...
169
click to vote
ESA
2006
Springer
15 years 10 months ago
2006
Springer
A sensor network consists of sensing devices which may exchange data through wireless communication. A particular feature of sensor networks is that they are highly energy constrai...
171
Voted
PVM
1997
Springer
15 years 11 months ago
1997
Springer
Photo-realistic computergraphics is an area of research which tries to develop algorithms and methods to render images of arti cial models or worlds as realistically as possible, b...
148
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper is the first extensive performance study of a recently proposed parallel programming model, called Concurrent Collections (CnC). In CnC, the programmer expresses her co...
204
click to vote
IPPS
2006
IEEE
16 years 22 days ago
2006
IEEE
Bulk Synchronous Parallel ML (BSML) is an extension of the functional language Objective Caml to program Bulk Synchronous Parallel (BSP) algorithms. It is deterministic, deadlock ...