4075 search results - page 652 / 815 » Modeling Distributed Algorithm Using B |
195
click to vote
WSC
1998
15 years 7 months ago
1998
We have taken a NIST molecular dynamics simulation program (md3), which was configured as a single sequential process running on a CRAY C90 vector supercomputer, and parallelized ...
207
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
The visual effects of rain are complex. Rain consists of spatially distributed drops falling at high velocities. Each drop refracts and reflects the environment, producing sharp i...
204
click to vote
SODA
2012
ACM
13 years 9 months ago
2012
ACM
In this paper we prove lower bounds on randomized multiparty communication complexity, both in the blackboard model (where each message is written on a blackboard for all players ...
281
click to vote
ECOOP
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. The information of execution frequencies of virtual call targets is valuable for program analyses and optimizations of object-oriented programs. However, to obtain this i...
290
click to vote
PODS
2009
ACM
16 years 7 months ago
2009
ACM
Database technology is playing an increasingly important role in understanding and solving large-scale and complex scientific and societal problems and phenomena, for instance, un...