• 阿洛克

  • 引用28篇文章[sw16800]
  • 以异步并行方式更新x。异步是并行计算的关键,因为。。。
  • 心理同步

  • 引用4篇文章[sw17450]
  • 在对抗环境中模拟异步以及通过删除消息而导致的错误。我们定义。。。
  • 亚德尔

  • 引用4篇文章【sw20835】
  • 设计这样的系统很难,因为异步本地时钟和网络的偏差。。。
  • 疗养院

  • 1条引用[sw35439]
  • 扩展系统延迟异步以及延迟,并通过提出。。。
  • M-树

  • 引用13篇文章[sw02565]
  • 安全处理器体系结构支持新的应用程序集。。。
  • 旋转

  • 引用716篇文章[sw03455]
  • Spin是一个流行的开源软件工具。。。
  • JDQR

  • 引用494篇文章[sw04021]
  • 从这个页面你可以得到一个Matlab。。。
  • CADP

  • 引用130篇文章[sw04993]
  • “分布式过程的构造和分析”,以前。。。
  • 奶牛

  • 引用51篇文章[sw06955]
  • web服务编排的微积分。我们。。。
  • 拍打

  • 参考33篇文章[sw13258]
  • PAT是一个独立的框架,用于。。。
  • 探查

  • 参考6篇文章[sw16238]
  • ProBE是CSP进程的动画制作工具,允许。。。
  • 凯撒

  • 引用8篇文章[sw29138]
  • caesar-LOTOS规范的编译和验证。凯撒[Gar89b。。。