首页> 外文会议>International conference on automated deduction >SiCoTheo: Simple competitive Parallel Theorem Provers
【24h】

SiCoTheo: Simple competitive Parallel Theorem Provers

机译:Sicotheo:简单的竞争平行定理普罗维尔

获取原文

摘要

In many places, networks of workstations connected by local area networks exist. Such a hardware configuration features processing nodes with high processing power and (comparatively) large resources of local memory and disk space. The underlying communication principle is message passing. Common data (e.g., a formula to be proven) can be kept in file-systems which are shared between the processors (e.g., by NFS). However, the bandwidth of the connection between the workstations is comparatively low and the latency for each communication is rather high.
机译:在许多地方,存在由局域网连接的工作站网络。这种硬件配置具有处理具有高处理电源的节点和(相对)的本地存储器和磁盘空间的大资源。潜在的通信原则是消息传递。常见数据(例如,要证明的公式)可以保存在文件系统中,该系统在处理器之间共享(例如,NFS)。然而,工作站之间的连接的带宽相对较低,每个通信的延迟相当高。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号