• fda(R)

  • 引用第1215条【sw04511】
  • 通过起重机进行样品分析分布 系统. 这是由于施加的压力。。。通过切换到分发通过Matlab对函数和函数的分析。。。
  • 差距

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

  • 参考1195篇文章[sw14460]
  • 最受欢迎的操作系统,允许分布基于Python的软件用于那些。。。
  • 旋转

  • 引用699篇文章[sw03455]
  • 用于正式验证分布式软件系统. 这个工具是在贝尔开发的。。。
  • 棱镜

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

  • 引用了2720篇文章[sw00540]
  • 描述系统. 本手册可在网上查阅。文档。。。Magma语言的用户。岩浆是分布式由计算代数组。。。
  • MOD-DIST公司

  • 在233篇文章中引用[sw07504]
  • 定位设施,包括生产和分布 系统位置库存模型和防御者拦截问题。。。
  • 菜单-OKF

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

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

  • 在129篇文章中引用[sw04993]
  • 通信协议和分布式 系统. CADP是由VASY团队开发的。。。
  • 洛托斯

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

  • 引用453篇文章[sw04704]
  • 系统在IBM的x86操作系统上实现了兼容的MS-DOS。现在我们分配... PowerPC上的Linux。整个后桅系统(包括验证器)在Pascal中使用。。。
  • 琳达

  • 参考101篇文章[sw09427]
  • 用于系统在中编程分布式一般设置和集成网络。。。
  • 伟大的SPN

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

  • 引用了258篇文章[sw00679]
  • 不对称线性系统共享内存和分布式-内存多处理器。解算器。。。图书馆版本:不对称、结构对称或对称系统是正定的,还是不确定的。。。
  • 线性代数库

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

  • 在154篇文章中引用[sw08510]
  • 塞萨尔,一个互动系统帮助设计分布式应用。塞萨尔允许进步。。。
  • mCRL2型

  • 引用的第52条[sw01496]
  • 具体分析分布式 系统和协议,是后继者。。。
  • 急流

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

  • 引用306篇[sw09051]
  • 计算机代数系统(CAS)对于理论粒子物理中非常大的计算,有一个非常。。。还支持多个内核(请参见TFORM)和分布式网络计算(ParFORM)。另请参阅。。。