Obtaining and reasoning about good enough software
Obtaining and reasoning about good enough software
复制标题
获取并推理足够好的软件
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
M. Rinard
中科院分区：
文献类型：
--
作者：
M. Rinard
软件系统通常表现出惊人的灵活性，在执行路径的范围内，它们可以采取产生可接受的结果。这种灵活性使新技术能够增强系统，使其具有有效地容忍各种错误的能力。我们将展示如何利用这种灵活性来获得可以提高可靠性和健壮性的转换，或者通过牺牲准确性来提高性能或降低功耗。我们将讨论如何使用经验、概率和统计推理来理解为什么这些技术有效。
Software systems often exhibit a surprising flexibility in the range of execution paths they can take to produce an acceptable result. This flexibility enables new techniques that augment systems with the ability to productively tolerate a wide range of errors. We show how to exploit this flexibility to obtain transformations that improve reliability and robustness or trade off accuracy in return for increased performance or decreased power consumption. We discuss how to use empirical, probabilistic, and statistical reasoning to understand why these techniques work.