12257 search results - page 2239 / 2452 » Analysis of Algorithms |
116
Voted
EUROSYS
2011
ACM
14 years 7 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...
213
Voted
FASE
2011
Springer
14 years 7 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
123
Voted
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
—Anti-jamming communication without pre-shared secrets has gained increasing research interest recently and is commonly tackled by utilizing the technique of uncoordinated freque...
252
Voted
JCDL
2011
ACM
14 years 6 months ago
2011
ACM
Various approaches for plagiarism detection exist. All are based on more or less sophisticated text analysis methods such as string matching, fingerprinting or style comparison. I...
144
Voted
RTS
2011
14 years 6 months ago
2011
This paper is an extended version of a paper that appeared in the proceedings of the IEEE Real-Time Systems Symposium 2009. This paper has been updated with respect to advances ma...