10909 search results - page 208 / 2182 » Evaluating Backup Algorithms |
153
click to vote
TASE
2007
IEEE
16 years 23 days ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
206
click to vote
MIDDLEWARE
2004
Springer
15 years 12 months ago
2004
Springer
In recent years, the gossip-based communication model in large-scale distributed systems has become a general paradigm with important applications which include information dissemi...
171
click to vote
PDPTA
2004
15 years 7 months ago
2004
Abstract Computational Grids consist of a multitude of geographically distributed resources. The co-allocation of several of those resources allows for the execution of highly comp...
154
click to vote
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
— Recently, establishing a VoIP call using a P2P network instead of regular SIP-servers has been proposed; this novel approach to SIP-signaling is commonly referred to as P2PSIP ...
173
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Clustering the ESTs from a large dataset representing a single species is a convenient starting point for a number of investigations into gene discovery, genome evolut...