1433 search results - page 137 / 287 » An approach to detecting failures automatically |
170
click to vote
IOLTS
2002
IEEE
15 years 11 months ago
2002
IEEE
The reusing of the same hardware resources to implement speed-critical algorithms, without interrupting system operation, is one of the main reasons for the increasing use of reco...
146
click to vote
ADT
2006
15 years 6 months ago
2006
Using the application of bulk data transfer, we investigate end-to-end failover mechanisms and thresholds for transport protocols that support multihoming (e.g., SCTP). First, we e...
214
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
180
click to vote
ICDE
2007
IEEE
16 years 26 days ago
2007
IEEE
With the proliferation of multimedia data and evergrowing requests for multimedia applications, new challenges are emerged for efficient and effective managing and accessing large...
163
click to vote
SDM
2003
SIAM
15 years 8 months ago
2003
SIAM
A labeled sequence data set related to a certain biological property is often biased and, therefore, does not completely capture its diversity in nature. To reduce this sampling b...