• 高超声速

  • 引用327篇文章[sw04125]
  • 线性的混合的系统满足时间需求。混合的系统被指定为自动机的集合。。。失败,然后HyTech生成诊断错误追踪. 海因奇算法的标准参考。。。
  • 混合跟踪验证器

  • 引用2篇文章【sw20335】
  • 模拟踪迹以及计算确定性可达集过逼近的形式模型混合的系统。。。工具中的算法,混合的 跟踪验证程序(HTV),使用Mathwork的Simulink/Stateflow(SLSF)环境。。。
  • 游泳池++

  • 引用72篇文章[sw11964]
  • 连续和杂交间断Galerkin(HDG)框架共享相同的。。。生成阶段以及减少的追踪-基于通信模式,共同使。。。
  • 皮科

  • 1条引用[sw14877]
  • 包括光栅化,雷耶斯,雷追踪,光栅化/射线追踪 混合的,以及延迟呈现。皮科允许。。。
  • 海拉

  • 引用2篇文章【sw20821】
  • 第一个工具用于模拟混合的仿射动力学自动机。HyLAA的分析。。。完成后,该工具提供了一个具体的模拟追踪到了一个不安全的状态。。。只有当混合的自动机模拟引擎可以产生这样一个追踪. 在后台。。。
  • 赫克托

  • 1条引用[sw01330]
  • 粒子轨迹是追踪使用新的、快速的、高效的混合的轨道跟踪方案,基于。。。
  • 宾西姆

  • 1条引用[sw31767]
  • 宾西姆:追踪-基于系统调用切片段等价性检查的语义二进制区分。正在检测差异。。。混合的识别两个执行之间的细粒度语义相似性或差异的方法踪迹...
  • 狐尾

  • 1条引用[sw22273]
  • 托卡马克中的粒子。狐狸尾巴是新的混合的用于描述相互作用的磁流体动力学代码。。。平衡系统用于高效追踪能量粒子,粒子加速度。。。
  • 公理

  • 引用172篇文章[sw00063]
  • 公理是一个通用的计算机代数系统。。。
  • 男爵

  • 在316篇文章中引用[sw00066]
  • 巴龙是一个计算系统,用于解决非凸。。。
  • 引用96篇文章[sw00108]
  • CASA是一个专门用于计算。。。
  • 差距

  • 引用2876篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 水蝇

  • 引用了271篇文章[sw00341]
  • Gerris是一个免费的软件程序。。。
  • gmp

  • 引用269篇文章[sw00363]
  • GMP是一个任意精度的免费库。。。
  • 炒作

  • 引用272篇文章[sw00426]
  • hypre是一个解决方案的软件库。。。