3638 search results - page 469 / 728 » HEP@Home - A distributed computing system based on BOINC |
132
click to vote
PPSN
2004
Springer
15 years 12 months ago
2004
Springer
Evolving large phenotypes remains nowadays a problem due to the combinatorial explosion of the search space. Seeking better scalability and inspired by the development of biologica...
196
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
160
click to vote
EDOC
2008
IEEE
15 years 8 months ago
2008
IEEE
The service-oriented architectural style is widely perceived today. However, service orientation is a very general concept and its application in real-life situations is somewhat ...
155
click to vote
DEBS
2009
ACM
16 years 1 months ago
2009
ACM
In publish/subscribe systems, users describe their interests via subscriptions and are notified whenever new interesting events become available. Typically, in such systems, all ...
198
click to vote
IPPS
2005
IEEE
16 years 6 days ago
2005
IEEE
Buffered CoScheduled (BCS) MPI is a novel implementation of MPI based on global synchronization of all system activities. BCS-MPI imposes a model where all processes and their com...