• 飞马星座

  • 41篇参考文献[ SW08929 ]
  • 将复杂的科学工作流映射到分布式的 系统. 本文介绍了飞马框架…用于将复杂的科学工作流映射到分布式的资源飞马使用户能够代表…论目标执行的细节系统. 本文介绍了制图中的一般问题。
  • GrimSPN 1.7

  • 41篇参考文献[SW01562]
  • 建模、验证和性能评价分布式的 系统使用广义随机Petri网及其…大学为非营利目的,它是分布式的免费到其他大学…
  • 团结

  • 173篇参考文献[SW13461 ]
  • 系统由Chandy和米斯拉(5)定义的平行发展分布式的程序耦合态跃迁系统. 映射过渡的机械方法系统首先进入…独立验证过渡的正确性系统可以正式指定属性…使用时间扭曲协议分布式的内存并行体系结构…
  • IPM

  • 40篇参考文献[SW05170]
  • 问题(如PDS患者)销售 系统-那些。有两个版本…
  • 努普尔

  • 385篇参考文献[ SW067 551 ]
  • 努普尔系统是一个推理数学和编程的框架。这些年来…最新版本,具有开放性,分布式的围绕灵活的知识库和支持…
  • NLPQLP

  • 38篇参考文献[SW04073]
  • 节点的数目分布式的 系统可以同时评估目标函数和约束函数。
  • WSAT

  • 36篇参考文献[SW01022]
  • 技法Web服务松散耦合分布式的 系统通过XML消息进行通信。之间的交流
  • 神圣的

  • 32篇参考文献[SW04130]
  • 离散性的检验与可达性分析分布式的 系统. 该工具能够有效地利用…
  • 普茂德

  • 29篇参考文献[SW08422]
  • 概率并发建模语言分布式的 系统. 基于PMODUD的语言既有…通过离散事件仿真生成。因为分布式的并发通信协议可以使用…概率论中的非决定论系统对于一种统计分析是必要的…
  • 普罗梅拉

  • 30篇参考文献[SW07635]
  • 交互建模的规范语言分布式的 系统并表示关于……的逻辑正确性要求。
  • GPDT

  • 43篇参考文献[SW04803]
  • 多处理器上可用的计算资源系统通过分布每个分解的最重计算任务…通用多处理器上可有效处理的向量机系统. 没有显示这个特性…
  • 大表

  • 24篇参考文献[SW27 060]
  • BigTabe: A分布式的存储系统结构化数据。BigTabe是分布式的存储系统
  • 二郎

  • 104篇参考文献[SW07202]
  • 埃尔朗运行时系统内置支持并发性,销售容错性…
  • TLA

  • 25篇参考文献[SW044 42]
  • 并发和并发的高级规范分布式的 系统. PulsCAL是一种算法语言,…
  • 网络记录器

  • 15篇参考文献[SW10568]
  • Netlogger:一个工具包分布式的 系统性能分析。性能问题的诊断和调试…复杂的分布式的 系统在应用程序和应用程序中都需要端到端性能信息。系统精确事件日志,与系统事件监控框架和可视化工具…实时状态分布式的 系统. 低开销是这样的重要需求。
  • 流行性腮腺炎

  • 359篇参考文献[SW04013]
  • 大型线性方程组的解法系统对称正定矩阵;一般对称矩阵;一般非对称矩阵…各种矩阵输入格式汇编格式;分布式的组合格式;元素格式;部分因式分解…
  • 神经网络工具箱

  • 173篇参考文献[SW0738]
  • 识别、聚类、时间序列预测与动态系统建模与控制。加速训练…处理大数据集,你可以分配计算和数据跨多核处理器,GPU…
  • 菲亚普

  • 165篇参考文献[SW049 63]
  • 系统和基于苹果的Mac OS X接触系统贝克莱进一步的信息和销售成本。。。具有损伤的粘弹性和弹塑性。这个系统也可与……结合使用。
  • 腹膜透析

  • 46篇参考文献[SW07620]
  • 动态验证数字系统. 它是分布式的根据GNU GPL许可证条款…