...
首页> 外文期刊>Communications of the ACM >Verifying Computations without Reexecuting Them
【24h】

Verifying Computations without Reexecuting Them

机译:验证计算而不重新执行计算

获取原文
获取原文并翻译 | 示例
   

获取外文期刊封面封底 >>

       

摘要

In this setup, a single reliable PC can monitor the operation of a herd of supercomputers working with possibly extremely powerful but unreliable software and untested hardware. -Babai, Fortnow, Levin, Szegedy, 1991 How can a single PC check a herd of supercomputers with unreliable software and untested hardware? This classic problem is particularly relevant today, as much computation is now outsourced: it is performed by machines that are rented, remote, or both. For example, service providers (SPs) now offer storage, computation, managed desktops, and more. As a result, relatively weak devices (phones, tablets, laptops, and PCs) can run computations (storage, image processing, data analysis, video encoding, and so on) on banks of machines controlled by someone else.
机译:在这种设置下,一台可靠的PC可以监视运行着可能功能非常强大但不可靠的软件和未经测试的硬件的一群超级计算机的运行。 -Babai,Fortnow,Levin,Szegedy,1991年,一台PC如何用不可靠的软件和未经测试的硬件检查一群超级计算机?今天,这个经典问题尤为重要,因为现在已将大量计算外包:它是由租用,远程或同时使用两者的计算机执行的。例如,服务提供商(SP)现在提供存储,计算,托管桌面等。结果,相对较弱的设备(电话,平板电脑,笔记本电脑和PC)可以在由其他人控制的机器上运行计算(存储,图像处理,数据分析,视频编码等)。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号