• 排队

  • 6篇参考文献[SW18417]
  • 排队:一个完整的和自动的线性化检查员。并发应用程序的模块化开发需要线程…多客户端线程。本文重点研究线性化,线程安全的具体形式化,在哪里…可能建立自动线性化通过系统地列举序列行为…一种确定性的完整自动检查器线性化. 它是完整的,因为任何违反报告…
  • 斯涅

  • 5篇参考文献[SW0953]
  • 当前可扩展的实现方式,可线性化的非阻塞,在没有争用的情况下快速,属性…
  • 动力存储器

  • 1篇参考文献[SW19545 ]
  • 高可用性(等待自由度)和强一致性(强一致性)线性化)读/写操作。PoWerStore的效率是…
  • MATLAB

  • 11343篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 减少

  • 736篇参考文献[SW0789]
  • Read是一个通用代数的交互系统。