-
拉帕克
- 在1626篇文章中引用[sw00503]
- 3级BLAS - 一套规格对于执行各种类型的Fortran子程序。。。由制造商提供。高效机器-具体的BLAS的实现是可用的。。。表现不如明确地优化的实现。。。
-
麦考拉2
- 引用1658篇文章[sw00537]
- 安装计算方法明确地和他们在一起。Macaulay2可以计算Betti数,Ext,上同调。。。
-
伽马
- 引用了838篇文章[sw04978号]
- 通用代数建模系统明确地设计用于线性、非线性和混合整数建模。。。的耗时详细信息具体的机器和系统软件实现。GAMS特别有用。。。
-
莫德
- 引用660篇[sw06233]
- 支持等式逻辑和重写逻辑的系统规范以及广泛的编程。。。等式逻辑子语言。除了支持等式规范在编程方面,Maude还支持重写逻辑计算。。。
-
Z
- 引用278篇文章[sw10291]
- 使用Z。规范精炼和证明。这本书是一个深入的介绍。。。规范语言$Z$。它主要是针对用户的;背景理论是。。。促进正式纪律的一个条件规范还有推理?另一个令人失望的是。。。
-
泡沫
- 引用了390篇文章[sw04317]
- 包括80多个模拟求解器应用程序具体的工程力学及其他方面的问题。。。
-
团结
- 在184篇文章中引用[sw13461]
- 团结。我们评估统一——一个计算模型,规范钱迪定义的语言和证明系统。。。程序——作为仿真模型的平台规范和分析。我们描述一个基于统一的。。。方法从仿真模型开始规范以一组耦合的。。。用形式证明它们是定理规范. 方法通过生成来说明。。。
-
防喷器
- 引用226篇[sw17324号]
- 由爆炸产生的对准到一个位置-具体的得分矩阵,并使用。。。这个矩阵。结果位置-特定的迭代爆破(PSIBLAST)程序的运行速度几乎相同。。。
-
吉咪
- 参考文献188篇[sw04597]
- 建模语言(JML)是一种行为接口规范可用于指定。。。埃菲尔方法与基于模型的方法规范落叶松接口族的探讨。。。规范语言,加上精化演算的一些元素。。。
-
塞萨尔
- 引用156篇文章[sw08510]
- 规范以及在CESAR中验证并发系统。本文的目的是。。。对于一组给定的规格. 完成了算法描述。。。受CSP和规格是一组公式。。。每个公式的计算规格...