• 自旋

  • 687篇参考文献[SW0345 5]
  • 分布式软件的形式化验证系统. 这个工具是在贝尔实验室开发的…自1991起免费使用,并继续发展跟上新的发展…工具被授予声望系统软件奖…
  • 丹菲

  • 55篇参考文献[SW24183]
  • 丹菲:动态进化神经模糊推理系统及其在时间序列预测中的应用。模糊推理的类型系统,表示为动态的进化神经模糊推理系统(丹尼斯)动态时间序列预测的应用。丹菲发展通过增量,混合(监督/非监督),学习和适应…在操作过程中更新系统. 在每一个时刻,DeFIS的输出…
  • PVS

  • 596篇参考文献[SW0384]
  • 验证系统也就是说,与支持工具和定理证明器集成的规范语言…应用PVS是一个研究原型:进化随着我们的发展或应用而提高…
  • MCTDH

  • 27篇参考文献[SW14837 ]
  • 分子核系统 进化在一个或多个耦合的电子势能面上…
  • 多媒体无线广播

  • 33篇参考文献[SW04395]
  • 移动并发的操作与分析系统(那些有进化描述了连接结构…移动电话的切换协议系统
  • 11篇参考文献[SW29 76]
  • 表达进化进化计算中的程序系统. 本文介绍推和说明…详情PUPGP是一个遗传程序设计系统那个进化推动程序来解决计算问题…“自动建构进化”的PUPPOP系统进化推程序,但同时这样做进化
  • HSL

  • 250篇参考文献[SW0418]
  • 解稀疏线性方程组的解系统方程和稀疏特征值问题。MATLAB…多年来,图书馆有进化的并已广泛应用于…
  • 阿列夫

  • 42篇参考文献[SW12108]
  • AlEFP是归纳逻辑程序设计(ILP)系统. 本手册不打算…进化的仿真一些其他ILP的一些功能系统. 其中一些…
  • KQML

  • 32篇参考文献[SW29 718]
  • 系统或者两个或更多的智能系统分享知识支持合作…进化KQML的设计目前正在通过实验样机进行探索。系统正在…
  • PSCAD

  • 4篇参考文献[SW24726]
  • 电源系统 发展对精确、直观的仿真工具的需求变得越来越重要…建立、模拟和建模你的系统轻松地提供无限的可能性系统模拟
  • CRSX

  • 4篇参考文献[SW26630]
  • 基于纯组合约简的重写引擎系统完全强还原(但没有指定)规则文件中的语法)。-实验(和)进化排序系统帮助规则管理。编译器从…
  • PUPGP

  • 4篇参考文献[SW29 77]
  • PUPGP是一个遗传程序设计系统那个进化在PASP编程语言中的程序。PUPGP…
  • 类的

  • 2篇参考文献[SW1937]
  • 容易添加到系统. 这个系统有所有基本的拟阵神谕和列表…提出几个扩展的方向进化 系统
  • 西斯塔斯

  • 61篇参考文献[SW12440]
  • 西斯塔斯普洛格进化的将近25年了。这是一个适当的时间点…引导参观系统解剖,暴露一些未出版的设计…
  • 马卡尔

  • 22篇参考文献[SW0539 ]
  • 参数以提高便携性。马查尔是进化FORTRAN子程序用于动态确定十三个基本…与浮点运算相关的参数系统. 这里介绍的版本运行正常…
  • 两个DEPEP

  • 10篇参考文献[SW01212]
  • 时间依赖问题系统偏微分方程、特征值问题及其应用进化的三次和四次…增加了求解线性方程组的方法。系统
  • 甘尼斯

  • 9篇参考文献[SW10142]
  • 原型系统实现这些目标中的一些是建立和进化. 它是写成的…在X窗口的11版本下系统. 这个系统是便携式的任何机器…
  • 闪存代码

  • 8篇参考文献[SW0244]
  • 应用程序代码进化的成为模块化、可扩展的软件系统从一个集合…
  • 歧管

  • 30篇参考文献[SW0900 ]
  • 过渡系统控制驱动的协调语言歧配协调语言的语义…在所有活动过程中或动态地进化过程之间的相互联系…基于两级转换的流形系统模型:使用第一级…
  • 脾气暴躁的人

  • 2篇参考文献[SW03140]
  • 一种执行分布式的拓扑结构及其实现系统. 三个不同的版本…进化架构的设计和试图提供运行时系统可能如何预测系统发展作为设计;大型运行时系统