1099 search results - page 144 / 220 » A Parallel Programming Style and Its Algebra of Programs |
FIDJI
2003
Springer
15 years 3 months ago
2003
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...
GI
2009
Springer
14 years 7 months ago
2009
Springer
Abstract: In biomolecular simulations intensive computations are spent in nonbonded interactions kernels, i.e., electrostatic interactions. Therefore this part can be considered as...
WOTUG
2008
14 years 11 months ago
2008
Abstract. This paper considers the issues involved in translating specifications described in the CSP B formal method into Handel-C. There have previously been approaches to transl...
IPPS
2008
IEEE
15 years 4 months ago
2008
IEEE
As an essential part of in vitro analysis, biological database query has become more and more important in the research process. A few challenges that are specific to bioinformat...
118
click to vote
FTDCS
2004
IEEE
15 years 1 months ago
2004
IEEE
Peer-to-peer systems have the desirable property that the amount of resources available in the system increase as demand for services increases due to growth of the system. We exp...