• 班德拉

  • 在134篇文章中引用[sw07663]
  • Java的变量与内部状态物体。在这篇教程中。。。
  • 霍格沃德

  • 引用了50篇文章[sw28396号文件]
  • 野猪!:一个-随机梯度下降并行化的自由方法。随机梯度下降。。。要求性能破坏内存锁定和同步。这项工作旨在展示运用新颖的理论。。。新加坡元可以在没有任何锁定. 我们提出了一个称为HOGWILD的更新方案。。。那个野猪!优于使用锁定一个数量级的。。。
  • Nike2D系列

  • 引用了60篇文章[sw12115]
  • 排除网格的单元公式-ups及其相关的异常应力状态。变量节点。。。
  • 橡皮擦

  • 引用了43篇文章[sw08922]
  • 橡皮擦,用于动态检测数据竞争-基于多线程程序。橡皮擦使用二进制重写。。。共享一元引用并验证一致性锁定观察行为。我们提出几个案例。。。
  • 乔坎姆

  • 在26篇文章中引用[sw02065]
  • 水平时尚比传统的线程和-接近。。。
  • 阿洛克

  • 引用24篇文章[sw16800]
  • 无记忆读写x. 我们证明了如果非扩张算子。。。
  • 数据包

  • 17条引用[sw12958]
  • 模式生成),不连续的自动生成-锁定模型和提取隐藏的不连续性,允许。。。灵敏度计算可以正确进行间断性锁定),以及用于测定分析导数的成分。。。
  • 拉塞克斯

  • 引用16条[sw09941]
  • 积极推断检查信息,例如保护哪些操作,哪些代码上下文。。。推断检查信息,例如保护哪些操作,哪些代码上下文是多线程的。。。
  • 德赖德

  • 引用19篇文章[sw08916]
  • 没有线程创建或锁定. 并发产生于Dryad调度顶点。。。
  • 栅栏

  • 引用19篇文章[sw09939]
  • 条件语句、循环、指针、数组、结构、函数调用,,以及动态内存分配。格子篱笆让。。。
  • 锁匠

  • 在10篇文章中引用【sw20224】
  • 共享位置始终由. 我们展示一种叫做锁匠的工具。。。这个模式。我们称之为他们保护了一致的位置。。。检查位置是否有适当的防护措施. 我们给出了算法的核心。。。推断线程局部性;用于建模的存在量化在数据结构中;以及用于建模的启发式。。。
  • 典型的

  • 引用8篇文章[sw23207]
  • 以下程序分析或程序转换:-自由分析,死锁自由分析,无用代码消除。。。是否每次通信成功。这个-自由分析可以回答,例如,以下。。。请求?进程最终能否获得? 一个已经获得。。。最终释放? 无用代码消除(UCE)优化pi演算过程。。。
  • STMBench7公司

  • 引用9篇文章[sw08814]
  • 比显式粗粒度更具伸缩性锁定而且比细粒度更容易使用锁定... 工作负载和并发模式的范围。同伴锁定策略是一个基线。。。
  • GPU验证

  • 在10篇文章中引用[sw11260]
  • 交错和-GPU内核分析与验证的step语义。我们研究语义学。。。处理单元(GPU)。我们提供一本小说-表示GPU内核的步骤执行语义。。。
  • 金发姑娘

  • 在10篇文章中引用[sw12806]
  • 除了使用事务的执行以及用于同步的可变变量。我们呈现。。。基准测试和一些微基准-基于和基于事务的同步。我们的实验。。。
  • 掠夺

  • 引用8篇文章[sw10079]
  • 事件发生和检测死亡-活着-. 反例生成器提供。。。
  • 圣杯

  • 参考7篇文章[sw07704]
  • 加入),互斥和读者作家,监视不变量、线程前置和后置条件。语言。。。允许细粒度锁定通过跟踪内存位置的部分权限的规范。研究。。。
  • VeriCool公司

  • 在10篇文章中引用[sw09749]
  • 受对象保护的内存位置. 此外,我们将模型与。。。
  • 西科诺斯

  • 在10篇文章中引用[sw25724]
  • 分段线性元件:功率转换器、整流器、相位-锁定环路(PLL)或模数转换器。。。
  • 自动加载器

  • 引用4篇文章[sw09532]
  • 使用起来比手动操作更简单、更安全锁定它们增加了模块化。但是现有的提议。。。兼容性。悲观的原子部分使用锁定程序设计人员熟悉的机制,同时解除它们。。。大多数负担-基于编程,包括死锁。重要的是,悲观的原子部分将正确性与。。。通过细粒度提取更多的并行性锁定不用担心会引入错误。我们相信。。。