Verifying Properties of MapReduce-Based Big Data Processing
IEEE Transactions on Reliability(2022)
摘要
Big data techniques are widely used in various fields. To deal with large data sets efficiently, a new programming framework MapReduce has emerged. Thus, new verification challenges arise to improve the reliability of big data processing. In this article, MapReduce processes are implemented by modeling simulation and verification language programs. Then, several data properties such as data soundn...
更多查看译文
关键词
Big Data,Reliability,Sparse matrices,Infectious diseases,Storms,Urban areas
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络