3667 search results - page 347 / 734 » Software Rejuvenation - Modeling and Analysis |
163
click to vote
EUROSYS
2011
ACM
14 years 10 months ago
2011
ACM
To improve data availability and resilience MapReduce frameworks use file systems that replicate data uniformly. However, analysis of job logs from a large production cluster show...
206
click to vote
FASE
2011
Springer
14 years 10 months ago
2011
Springer
Given a program and an assertion in that program, determining if the assertion can fail is one of the key applications of program analysis. Symbolic execution is a well-known techn...
194
click to vote
CODES
2011
IEEE
14 years 6 months ago
2011
IEEE
Designing memory controllers for complex real-time and highperformance multi-processor systems-on-chip is challenging, since sufficient capacity and (real-time) performance must b...
189
click to vote
BIS
2008
15 years 8 months ago
2008
A trust metric is a technique for predicting how much a user of a social network might trust another user. This is especially beneficial in situations where most users are unknown ...
183
click to vote
PAMI
2012
13 years 9 months ago
2012
—In this paper, we present a comprehensive analysis of self-dual and m-idempotent operators. We refer to an operator as m-idempotent if it converges after m iterations. We focus ...