• 语调90

  • 在304篇文章中引用[sw04705]
  • INTOPT 90是作者的软件以及用于区间运算的库包。。。解线性区间方程,自动的分化和代码列表一代,区间牛顿法。。。第42章软件跟随。主要是前面提到的包。。。除其他外,允许一代属于代码列表和自动的区别。关于预处理的章节。。。
  • 水蝇

  • 引用259篇文章[sw00341]
  • 来源代码是免费的软件GPL许可证。格瑞斯。。。整个流程的特征自动的网格一代在复杂的几何中空间的二阶。。。
  • CVX发电机

  • 在38篇文章中引用[sw07151]
  • CVX发电机:a代码 发电机对于嵌入凸优化。CVXGEN是一个软件需要。。。凸优化问题自动 产生自定义C代码把它编译成一个可靠的。。。
  • 投掷

  • 引用的第69条[sw07260]
  • 工具,名为飞镖,用于自动测试软件它结合了三种主要技术:(1)自动提取。。。使用静电源的外部环境-代码解析;(2)自动的 一代驾驶考试。。。
  • 阿迪奇

  • 引用81篇文章[sw03392]
  • 自动的在给定源代码的情况下,用ANSI C编写的程序的差异化(AD)代码... 因变量和自变量产生增广C代码计算偏导数。。。ADIC用户支持服务软件. 同时,我们正在开发一个ADIC网络服务器。。。
  • 垂直

  • 引用4篇文章[sw08200]
  • 成分、合成和一代属于软件 代码,以及自动的非功能性保证。。。针对自动的嵌入式实时设计软件不善于整合。。。准动态调度自动的 一代多层便携高效代码. 正式验证集成了。。。高级重用软件组件与自动的综合和验证可以提高设计效率。。。
  • 玻璃器皿

  • 引用25篇文章[sw11715]
  • 那个自动 产生高度自信软件. Specware是一种先进的自动化技术软件系统开发。。。它们的应用和生成证明正确代码基于这些要求。在核心。。。
  • GMac公司

  • 引用8篇文章[sw16028]
  • 基于光线跟踪应用的算法。自动 代码 一代低维几何算法。。。能够产生高效的低水平软件 代码通过一个高层次的特定几何领域。。。
  • dcc公司

  • 引用31篇文章[sw07577]
  • 亦称为自动的)微分(AD),为一代一开始。。。高阶切线线性与伴随代码. 作者还涵盖了数学基础。。。导数代码编译器dcc.;*一个包含所有来源的补充网站软件讨论。。。
  • 吉祥物

  • 参考12篇文章[sw02959]
  • 软件工程。吉祥物仍然是这样的。。。文本软件/系统设计及其自动的 代码 一代. 然而,很少有人关注。。。以透明的方式为软件工程师。MASCOTime将协助软件/系统开发人员。。。
  • 沙尔米

  • 引用4篇文章[sw11046]
  • 够了,爪哇代码符合结构软件体系结构约束是自动 生成通过适当的变换。。。
  • 氟化铁

  • 引用9篇文章[sw06389]
  • 计算机平台或操作系统。这个软件由以下模块组成:1)支架。。。自动的网格一代非结构四面体模块,3)自适应网格Euler/Navier-Stokes代码...
  • 小企业管理局

  • 引用24篇文章[sw05242]
  • 分析雅各比可以是编码的用手,生成用一个支持符号微分的工具。。。枫木),或用自动的分化技术。还有一种近似雅可比的方法。。。首先也是目前唯一的软件像是免费的。。。
  • 支持-R

  • 引用2篇文章[sw18273]
  • 机器特性代码.自动 生成安全性能证明软件很重要。。。而目前的技术可以自动证明机器的安全性能代码,他们要么。。。AUSPICE-R,自动进行安全性能证明一代对于用户模式ARM机器代码包含。。。
  • 数据包

  • 17条引用[sw12958]
  • 发音D-A-E-PACK)是软件通用数值计算库。DAEPACK。。。通用Fortran-90模型分析自动 生成使用现代数值计算所需的信息。。。例如,提供的组件:自动 生成新的代码这决定了稀疏模式。。。
  • PSIM

  • 参考6篇文章[sw06601]
  • PSIM的模块或选项软件. 电机驱动模块:用于电机驱动。。。数字。。。动力传动系统模拟。。。SimCoder模块:用于自动的 代码 一代从PSIM原理图。。。TI F28335目标。。。自动的 代码 一代对于使用TI的F28335浮点DSP的硬件板。。。磁耦合器。。。有限元模拟软件吉马格。。。磁耦合器RT模块:用于连接JMAG。。。
  • 纵火

  • 参考6篇文章[sw06388]
  • 相关软件. 我们的最终目标是拥有一个能够自动 生成蟒蛇。。。这个项目是在谷歌下进行的代码F2PY项目。。。
  • 顺时针

  • 参考6篇文章[sw10175]
  • 以前被称为CAPTools)是一种半潜式平台-自动的并行化工具。ParaWise主要开发。。。计算力学软件. 并行分析序列代码而且,通过用户交互,产生要么。。。
  • 西姆弗尼

  • 引用3篇文章[sw19046]
  • 开放式平台自动 产生平行代码不同仿真框架的科学动力学模型。。。在这里,我们介绍了这方面的主要升级软件为了支持更多的家庭。。。
  • 渗透

  • 引用5篇文章[sw21412]
  • 水平视图软件,规范或程序源代码. 但是,在某些情况下。。。机器-代码水平。本文主要研究自动的试验数据一代从一个独立的。。。