16 citations · 57 across the 31 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4
Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan +1
Dynamic Fault Trees (DFTs) is a widely used failure modeling technique that allows capturing the dynamic failure characteristics of systems in a very effective manner. Simulation a…
cs.ET2018
Comparative Study of Approximate Multipliers
Mahmoud Masadeh, Osman Hasan, Sofiene Tahar
Approximate multipliers are widely being advocated for energy-efficient computing in applications that exhibit an inherent tolerance to inaccuracy. However, the inclusion of accura…