We present Rely, a programming language that enables developers to reason about the quantitative reliability of an application — namely, the probability that it produces the correct result when executed on unreliable hardware.
from Communications of the ACM: Latest Issue http://ift.tt/2autZi4
No comments:
Post a Comment