• 斯塔普

  • 引用41篇文章[sw14216]
  • 具有一个虚拟共享的软件记忆这提供了一个虚弱的一致性模型。系统保持。。。
  • CDSChecker公司

  • 引用5篇文章[sw21725]
  • 能级原子操作和虚弱的 记忆模型,使开发人员能够编写可移植和高效的。。。尤其是在虚弱的 记忆模型,其中代码行为可能令人惊讶。正在建立可靠的。。。
  • LTL2BA

  • 引用100篇文章[sw10956]
  • 公式。此算法生成虚弱的交替的co-Büchi自动机然后变换。。。命令保存记忆还有时间。像往常一样,我们在。。。
  • 高铁77号

  • 引用15篇文章[sw13924]
  • 通用性和健壮性。他们的主要弱点这是记忆它们的需求通常会迅速增加。。。
  • 记忆

  • 引用4篇文章[sw09759]
  • 变量并运行在虚弱的 记忆模型。验证任务很重要。。。
  • 直接

  • 引用了65篇文章[sw03054]
  • 解决DIRECT的设计难题记忆需求和数据依赖性。三个设计方面。。。分析研究其优点和弱点在这些并行方案中,找出几个关键的来源。。。
  • 汉索

  • 引用18条[sw05271]
  • 包括BFGS有限公司记忆BFGS和梯度采样方法,基于虚弱的沃尔夫线搜索。。。
  • SACLIB公司

  • 引用25篇文章[sw00823]
  • 用来检测一些记忆缺陷,工具不能保证不存在。这很不幸。。。因为动态数组在虚弱的类型化计算机代数系统,如SACLIB。。。saclib3.0测试版的特点是记忆消除任何记忆...
  • Weak2SC公司

  • 1条引用[sw18521]
  • 上并发程序的验证虚弱的 记忆模型。现代多核处理器配备虚弱的... 内置优化。对于并发程序,虚弱的 记忆模型因此产生交错执行,这。。。减少的验证问题虚弱的 记忆供应链的验证模型。。。给定程序和虚弱的 记忆模型(这里,TSO或PSO)--一个包含。。。
  • pTatin3D

  • 引用9篇文章【sw27642】
  • 记忆带宽限制),利用本地元素结构来实现虚弱的缩放比例。。。由于记忆脚印,而且有更一致的时间和更好的。。。
  • sldg公司

  • 引用8篇文章[sw17637]
  • 分布式方法记忆系统(所谓的集群)。既强壮又虚弱的缩放研究。。。
  • 安全代码

  • 引用4篇文章[sw13323]
  • 打字语言。程序的静态分析虚弱的打字语言,比如。。。因为可能的话,一般不太好听记忆由于悬空指针引用、未初始化指针。。。
  • 算法995

  • 1条引用[sw36033]
  • 平行虚弱的1024个分布式系统的扩展效率记忆节点和72%的并行效率。。。
  • 金贾螺纹

  • 引用9篇文章[sw28538]
  • 线程创建,通过共享的线程间通信记忆,锁定同步和连接。还有,线程。。。代码被扩展,为此我们证明虚弱的源代码之间的双相似性小步。。。
  • 快速推进

  • 1条引用[sw33873]
  • 大,英寸记忆数据集。该包使用决策树作为虚弱的分类器。一次。。。
  • 英语

  • 参考6篇文章[sw04192]
  • 使用视觉输入的无监督Hebbian学习过程。软弱的连接被周期性地消除,结果是不完整的。。。自组织过程是非常计算和记忆密集型。。。
  • 萨摩亚2

  • 引用4篇文章[sw25252]
  • 流数据结构,完全避免了随机性记忆进入。使用面向元素的数据视图。。。核心和92%的效率虚弱的在8192芯上用。。。
  • 绒毛

  • 引用2篇文章[sw38050]
  • 尤其是在利用记忆与OpenMP并行。可扩展性。。。三台不同的超级计算机显示虚弱的效率保持在40%以上,而强大的。。。必须处理与记忆管理、数据映射和傅立叶变换计算。。。
  • zk斯纳克

  • 引用13篇文章【sw22495】
  • 昂贵,或者验证器是计算的虚弱的. 现有的zk-SNARK实现具有严重的可伸缩性限制。。。基本上恒定的附加开销记忆. 因此,我们的zk SNARK实现是第一个。。。