• fda（R）

• 引用1588篇文章[sw04511]
• 通过起重机进行样品分析分布 系统。这是由于施加的压力…请切换到分发Matlab的功能和分析通过。。。

• 差距

• 引用3222篇文章[sw00320]
• 组合结构，等等。这个系统，包括源，是分布式自由。你可以学习…你的特殊用途。计算机代数系统...

• 蟒蛇

• 在2183篇文章中引用[sw14460]
• 最受欢迎的操作系统，允许分布基于Python的软件用于那些。。。

• 旋转

• 引用727篇文章[sw03455]
• 用于正式验证分布式软件系统工具是在贝尔公司开发的。。。

• 岩浆

• 在3366篇文章中引用[sw00540]
• 描述系统。本手册可在网上查阅。文档…Magma语言的用户。岩浆是分布式由计算代数组。。。

• 棱镜

• 引用了454篇文章[sw01186]
• 范围的属性系统，包括随机化分布式算法，制造系统和工作站群集。。。

• MOD-DIST公司

• 引用256篇文章[sw07504]
• 定位设施，包括生产和分布 系统位置库存模型和防御者拦截问题。。。

• 菜单-OKF

• 引用256篇文章[sw07505]
• 定位设施，包括生产和分布 系统位置库存模型和防御者拦截问题。。。

• 位置

• 引用文献248篇[sw07503]
• 定位设施，包括生产和分布 系统位置库存模型和防御者拦截问题。。。

• CADP

• 参考文献133篇[sw04993]
• 通信协议和分布式 系统CADP是由VASY团队开发的。。。

• 洛托斯

• 在152篇文章中引用[sw02961]
• 架构，尽管它适用于分布式，同时系统一般来说。在LOTOS a中系统...

• 尾端

• 引用507篇文章[sw04704]
• 系统在MS DOS下在IBM-PC x86兼容机上实现。现在我们分配…PowerPC上的Linux。整个后桅系统（包括验证器）在Pascal中使用。。。

• 帕迪索

• 引用了295篇文章[sw00679号]
• 不对称线性系统共享内存和分布式-内存多处理器。求解器…库版本：不对称，结构对称或对称系统，实或复，正定或不定。。。

• 琳达

• 参考文献103篇[sw09427]
• 用于系统在中编程分布式一般设置和集成网络。。。

• 伟大的SPN

• 参考58篇文章[sw00384]
• 建模、验证和性能评估分布式 系统利用广义随机Petri网及其。。。系统功能，不同的分析模块可以在分布式正在计算。。。

• 线性代数库

• 引用421篇文章[sw00830]
• 高性能线性代数例程分布式内存消息传递MIMD计算机和网络…计算机。两个库都包含用于解决的例程系统线性方程组，最小二乘问题…稠密，带状，三对角线性的解系统方程、条件估计和迭代求精…可移植到广泛的分布式-像克雷这样的记忆环境。。。

• mCRL2型

• 参考58篇文章[sw01496]
• 具体分析分布式 系统和协议，是后继者。。。

• 塞萨尔

• 引用161篇[sw08510]
• 塞萨尔，一个互动系统帮助设计分布式应用。塞萨尔允许进步。。。

• 神圣的

• 在56篇文章中引用[sw04130]
• 离散系统的检测与可达性分析分布式 系统。该工具能够有效地利用。。。

• 急流

• 在38篇文章中引用[sw01249]
• 仿真语言和工具集分布式 系统根据事件的部分顺序Rapide…建造大型建筑的技术，分布式多种语言系统。此技术基于…基于事件的执行模型分布式，时间敏感系统--“定时偏序集模型”偏序集提供…的正确性和性能分析分布式时间敏感型系统...