1268 search results - page 146 / 254 » Verifying distributed systems: the operational approach |
113
click to vote
BMCBI
2008
14 years 10 months ago
2008
Background: Identification of differentially expressed genes is a typical objective when analyzing gene expression data. Recently, Bayesian hierarchical models have become increas...
HPDC
2006
IEEE
15 years 4 months ago
2006
IEEE
Replication is a technique commonly used to increase the availability of services in distributed systems, including grid and web services. While replication is relatively easy for...
IPTPS
2005
Springer
15 years 3 months ago
2005
Springer
Arpeggio is a peer-to-peer file-sharing network based on the Chord lookup primitive. Queries for data whose metadata matches a certain criterion are performed efficiently by using...
SRDS
2010
IEEE
14 years 7 months ago
2010
IEEE
Data aggregation is a fundamental building block of modern distributed systems. Averaging based approaches, commonly designated gossip-based, are an important class of aggregation ...
HOTOS
2007
IEEE
15 years 1 months ago
2007
IEEE
Existing distributed hash tables provide efficient mechanisms for storing and retrieving a data item based on an exact key, but are unsuitable when the search key is similar, but ...