• 距离

• 引用4篇文章[sw13789]
• 集群框架。同时事务性 记忆（TM）共享研究-记忆芯片多处理器已经。。。开发软件TMon集群。这个分布式软件事务性 记忆（DiSTM）系统已设计。。。软件或硬件实现分布式共享记忆. 已经实现了三个TM一致性协议。。。使用已建立的TM基准进行评估。分散的事务性比较了一致性协议和一致性协议。。。

• 希伯特姆

• 引用2篇文章[sw20575]
• 容错主动复制协议分布式 事务性 记忆. 主动复制处理范例允许。。。

• 啤酒花

• 在0篇文章中引用[sw15329]
• 没有什么，事务性，英寸-记忆NewSQL数据库重新提出了一个研究问题分布式元数据。。。

• 可口可乐

• 在1784篇文章中引用[sw00161]
• Coq是一个正式的证据管理系统。它。。。

• 伊莎贝尔

• 在606篇文章中引用[sw00454]
• 伊莎贝尔是一个普通的校对助理。它允许。。。

• 地图还原

• 引用250篇文章[sw00546]
• MapReduce是一种新的并行编程模型。。。

• 数学软件

• 引用5883篇文章[sw00554]
• 几乎所有的工作流程都涉及到计算结果，而且。。。

• Matlab语言

• 参考12074篇文章[sw00558]
• MATLAB®是一种高级语言和交互式。。。

• R

• 第8359条中引用的条款[sw00771]
• 是一种统计语言和环境。。。

• 圣哲

• 在1620篇文章中引用[sw00825]
• Sage（SageMath）是免费的，开源的数学软件。。。

• 活力

• 在38篇文章中引用[sw01037]
• 软件正在检查一个模型。。。

• 棱镜

• 引用406篇文章[sw01186]
• PRISM：概率符号模型检查器。在本文中。。。

• 模数

• 引用了197篇文章[sw01224]
• 模块编程语言是。。。

• COBOL公司

• 在233篇文章中引用[sw01228]
• COBOL（/ˈkoʊbɒl/，面向商业的通用缩写。。。

• 克洛诺斯

• 引用261篇文章[sw01270]
• KRONOS是一个开发的工具，目的是。。。

• veriSoft公司

• 引用了91篇文章[sw01489]
• VeriSoft自动搜索协调问题（死锁等）。。。

• 微微数据库

• 参考11篇文章[sw01550]
• PicoDBMS：缩小智能卡的数据库技术。。。

• 伊莎贝尔/霍尔

• 在945篇文章中引用[sw01569]
• 伊莎贝尔是一个普通的校对助理。它允许。。。

• Ada95型

• 引用288篇文章[sw01753]
• Ada是一个结构化的，静态类型的，命令式的，广泛的。。。

• 落叶松

• 参考文献103篇[sw02126]
• 落叶松语系支持两个。。。