10909 search results - page 208 / 2182 » Evaluating Backup Algorithms |
122
click to vote
TASE
2007
IEEE
15 years 10 months 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...
164
click to vote
MIDDLEWARE
2004
Springer
15 years 9 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...
140
click to vote
PDPTA
2004
15 years 5 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...
127
click to vote
GLOBECOM
2008
IEEE
15 years 5 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 ...
137
click to vote
BMCBI
2005
15 years 4 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...