• 阿姆西

  • 14篇参考文献[SW04639 ]
  • 包括一组原子和相互的 排除运营发展军械库…
  • 隔间

  • 10篇参考文献[SW1378]
  • 经典与挑战实验相互的 排除算法和缓存一致性协议表明…
  • 圣杯

  • 6篇参考文献[SW07704]
  • 动态线程创建(分支和连接),相互的-排除读者和作家锁定,监视器不变量,线程…
  • 重新执政

  • 4篇参考文献[SW08568]
  • 典型的协调约束,如同步化,相互的 排除和上下文依赖性…
  • 奥普菲普

  • 3篇参考文献[SW13910]
  • 性能和几个指令相互的 排除OpenMP的同步实现和测试…
  • 2篇参考文献[SW26817]
  • 机器协议,请求确认对,以及相互的 排除在设计模拟信号之间。我们展示…
  • 双绞线

  • 2篇参考文献[SW20598]
  • 两种模式成若干相互地 独家穷举子集。虽然这样的技术…
  • MFSAS

  • 1篇参考文献[SW24792]
  • 产品质量或多种类型相互地 独家可能的缺陷。本文描述了一个包装…
  • 查德

  • 1篇参考文献[SW3079]
  • 分区。数据被划分为相互地 独家详尽描述依赖关系的穷举子集…
  • 加达拉

  • 1篇参考文献[SW0940]
  • 在多线程程序中等待死锁相互的 排除共享数据的锁。应用…
  • 极值界

  • 1篇参考文献[SW23 860]
  • 允许用户指定相互地 独家变量,并且可以限制分析…
  • MGOMP

  • 1篇参考文献[SW2641]
  • 失败的行为相互地 独家方式和基线失效时间为每个…
  • WEXT

  • 0篇参考文献[SW15825]
  • 加权精确检验相互地 独家癌症突变通路中的体细胞突变…推动癌症发展趋向相互地 独家横跨肿瘤,为辨别……提供信号。随机乘客突变数。相互的 排他性信号可能被高…混淆。加权测试识别集相互地 独家癌症基因突变少假阳性…
  • 辅酶Q

  • 1725篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT