1371 search results - page 124 / 275 » A Model for Large Scale Self-Stabilization |
142
click to vote
FAST
2011
14 years 7 months ago
2011
Benchmarking file and storage systems on large filesystem images is important, but difficult and often infeasible. Typically, running benchmarks on such large disk setups is a ...
127
click to vote
HVC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
121
click to vote
ACL
2007
15 years 5 months ago
2007
Speech recognition in many morphologically rich languages suffers from a very high out-of-vocabulary (OOV) ratio. Earlier work has shown that vocabulary decomposition methods can ...
137
click to vote
COOPIS
2002
IEEE
15 years 8 months ago
2002
IEEE
: This work investigates the integration of heterogeneous resources, such as data and programs, in a fully distributed peer-to-peer mediation architecture. The challenge in making ...
170
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Contextual advertising supports much of the Web's ecosystem today. User experience and revenue (shared by the site publisher ad the ad network) depend on the relevance of the...