3638 search results - page 172 / 728 » HEP@Home - A distributed computing system based on BOINC |
149
click to vote
CLUSTER
2002
IEEE
15 years 11 months ago
2002
IEEE
Supermon is a flexible set of tools for high speed, scalable cluster monitoring. Node behavior can be monitored much faster than with other commonly used methods (e.g., rstatd). ...
175
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Confidence in pairwise alignments of biological sequences, obtained by various methods such as Blast or Smith-Waterman, is critical for automatic analyses of genomic d...
152
click to vote
CONCUR
1999
Springer
15 years 10 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...
208
click to vote
UCS
2007
Springer
16 years 15 days ago
2007
Springer
COMPASS is a location framework where location sources are realized as plugins that contribute probability density functions to the overall localization result. In addition, COMPAS...
167
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource management based on the selective distribution of capabilities to selected classes of ...