结果1至20362
排序依据：

  • 斯塔普
  • 引用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实现是第一个。。。