• 林斯特姆

  • 引用4篇文章[sw25976]
  • 系统最多需要一个阅读-修改- 操作对于任何交易,都需要验证。。。交易规模,但数量同时发生的作家的承诺。此外,林斯特姆。。。
  • 存储缓冲区

  • 引用2篇文章[sw28601]
  • 依靠并发原语,如锁。相反,线程使用ghost操作获得。。。只有在没有其他线程拥有它的情况下,并且可以阅读从。。。细粒度并发(其中数据由锁保护)以及细粒度并发(其中。。。原子的操作与记忆赛跑)。我们在伊莎贝尔/霍尔正式确立了这一原则,并证明。。。
  • 金发姑娘

  • 在10篇文章中引用[sw12806]
  • 行为。当捕捉到DataRaceException时操作,线程或程序导致。。。冲突检测机制不当使用并发. 我们从数据竞赛的定义开始。。。提供区分阅读访问。我们已经实现了我们的算法。。。
  • 达夫尼

  • 引用66篇文章[sw00183]
  • Dafny是一种命令式的基于对象的语言。。。
  • R

  • 参考文献8565篇[sw00771]
  • 是一种统计语言和环境。。。
  • 旋转

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

  • 在502篇文章中引用[sw04887]
  • Z3是一个高性能的定理证明器。。。