35416 search results - page 7075 / 7084 » Evaluation |
116
click to vote
STOC
2010
ACM
15 years 9 months ago
2010
ACM
We present a generic method for converting any family of unsatisfiable CNF formulas that require large resolution rank into CNF formulas whose refutation requires large rank for p...
EUROSYS
2008
ACM
15 years 8 months ago
2008
ACM
Video-on-demand (VoD) is increasingly popular with Internet users. It gives users greater choice and more control than live streaming or file downloading. Systems such as MSN Vid...
108
click to vote
EUROSYS
2007
ACM
15 years 8 months ago
2007
ACM
Data centers are often under-utilized due to over-provisioning as well as time-varying resource demands of typical enterprise applications. One approach to increase resource utili...
109
click to vote
SOSP
2007
ACM
15 years 8 months ago
2007
ACM
Researchers have made great strides in improving the fault tolerance of both centralized and replicated systems against arbitrary (Byzantine) faults. However, there are hard limit...
BSN
2009
IEEE
15 years 6 months ago
2009
IEEE
— Interval training consists of interl intensity exercises with rest periods. This training well known exercise protocol which helps stre improve one’s cardiovascular fitness. ...