16 citations · 57 across the 31 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2021
Failure Analysis of Hadoop Schedulers using an Integration of Model Checking and Simulation
Mbarka Soualhia, Foutse Khomh, Sofiene Tahar
The Hadoop scheduler is a centerpiece of Hadoop, the leading processing framework for data-intensive applications in the cloud. Given the impact of failures on the performance of a…
cs.SE2016★ 3 cited
Formal Dependability Modeling and Analysis: A Survey
Waqar Ahmed, Osman Hasan, Sofiene Tahar
Dependability is an umbrella concept that subsumes many key properties about a system, including reliability, maintainability, safety, availability, confidentiality, and integrity.…