3638 search results - page 350 / 728 » HEP@Home - A distributed computing system based on BOINC |
164
click to vote
CONCUR
1991
Springer
15 years 10 months ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...
200
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
For a grid middleware to perform resource allocation, prediction models are needed, which can determine how long an application will take for completion on a particular platform o...
175
click to vote
MOBICOM
2003
ACM
15 years 12 months ago
2003
ACM
Routers are expected to play an important role in the IPbased wireless data network. Although a substantial number of techniques have been proposed to improve wireless network per...
216
click to vote
ECCV
1998
Springer
15 years 11 months ago
1998
Springer
Different applications in the field of vision-based navigation of autonomous mobile robots depend on the degree of knowledge of the environment. Indoor environment applications oft...
178
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Our human body is well protected by antibodies from our biological immune system. This protection system matured over millions of years and has proven its functionality. In our re...