16 citations · 57 across the 31 of their papers we have counts for
3 papers · 1 filter
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…
Optical Stochastic Computing Architectures Using Photonic Crystal Nanocavities
Hassnaa El-Derhalli, Lea Constans, Sebastien Le Beux +3
Stochastic computing allows a drastic reduction in hardware complexity using serial processing of bit streams. While the induced high computing latency can be overcome using integr…
Formal FT-based Cause-Consequence Reliability Analysis using Theorem Proving
Mohamed Abdelghany, Sofiene Tahar
Cause-consequence Diagram (CCD) is widely used as a deductive safety analysis technique for decision-making at the critical-system design stage. This approach models the causes of…