Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays.

Osman Hasan Naeem Abbasi Sofiène Tahar

Published in: IFM (2009)

Keyphrases

real time
database
information systems
probabilistic model
low cost
quantitative analysis
bayesian networks
software engineering
description logics
statistical analysis
infrared
power consumption