凿子 swMATH ID: 22893 软件作者： 米塞洛维奇，S；碳化物，M；Achour，S；齐，Z；MC里纳德 描述： Chisel：近似计算内核的可靠性和准确性优化。近似计算的精度是计算产生的结果与相应的完全准确结果之间的距离。计算的可靠性是指它产生可接受的准确结果的概率。新兴的近似硬件平台提供近似操作，作为降低能耗和/或提高性能的回报，其可靠性和/或准确性降低。我们介绍了Chisel，一个对运行在近似硬件平台上的近似计算内核进行可靠性和准确性感知优化的系统。给定一个组合的可靠性和/或准确性规范，Chisel自动选择近似的内核操作来合成一个近似计算，在满足其可靠性和准确性规范的同时，将能耗降至最低。我们对Chisel在图像处理、科学计算和财务分析领域的五个应用进行了评估。实验结果表明，我们实现的优化算法使Chisel能够优化我们的基准内核集，从而获得8.7的节能效果 主页： https://dl.acm.org/citation.cfm？doid=2714064.2660231 相关软件： 胡迪尼;布吉;Rely公司;绿色;EnerJ公司;接受;FlexJava软件;SymDiff公司;PVS公司;Coq公司 引用于： 1文件 3位作者引用 1 何绍波 1 拉希里、舒文杜·库马尔 1 茨沃尼米尔·拉卡马里奇 连载1篇 1 自动推理杂志 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文