"Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware" by Carbin et al. addresses challenges related to a bug, how likely it is to occur, and how it will affect an application's behavior.
from Communications of the ACM: Latest Issue http://ift.tt/2a7dbu0
No comments:
Post a Comment