• 努西姆

  • 引用了295篇文章[sw04131]
  • 地区。NuSMV2,联合收割机基于BDD的模型检查组件,利用CUDD图书馆发达的。。。
  • 火焰

  • 在38篇文章中引用[sw00293]
  • 线性代数运算大大简化。结合在我们的形式线性代数方法环境中。。。不仅仅是一个执行的工具图书馆也是一个很有价值的教学工具。。。包含在图书馆. 结合用平行线的延伸。。。
  • 帕迪索

  • 引用269篇文章[sw00679]
  • 2004年首次发行。的特点图书馆版本:不对称,结构对称或对称系统。。。SMPs和SMP集群。自动结合迭代和直接求解算法加速。。。
  • 忍者

  • 引用了37篇文章[sw02398]
  • 用一个结合一流的图书馆(Java中的包)实现真正的多维数组。。。
  • Rcparmadillo公司

  • 引用74篇文章[sw09313]
  • 阿特拉斯图书馆. 延迟求值方法(在编译期间)用于结合几次手术。。。递归模板和模板元编程。这个图书馆如果C++已经决定。。。
  • 伊兰

  • 参考文献108篇[sw02179]
  • 哪些演绎系统可以表达出来合并语言的评价机制。。。这几页总结了ELAN的特点,图书馆为环境和环境提供指导。。。
  • 犰狳

  • 引用71篇文章[sw05863]
  • 通过与LAPACK和ATLAS的可选集成图书馆. 一种基于模板的延迟评价方法。。。编程,用于(在编译期间)用于结合几次手术合二为一,减少。。。
  • OpenMPI

  • 引用81篇文章[sw13111]
  • 高性能消息传递图书馆. 开放MPI项目是一个开放源码的消息传递。。。合作伙伴。开放式MPI因此能够结合来自。。。为了建立最好的MPI图书馆可用。开放式MPI为系统提供了优势。。。
  • 斐济

  • 引用21篇文章[sw09754]
  • 现代软件工程实践结合功能强大的软件图书馆有广泛的脚本。。。
  • 煤油

  • 引用94篇文章[sw15491]
  • 如果你需要深入的学习图书馆这:允许简单和快速的原型。。。网络和循环网络,以及组合两人中的一个。支持任意连接方案。。。
  • CGALmesh公司

  • 在10篇文章中引用[sw12915]
  • CGAL的正则三角剖分图书馆. 联合收割机Delaunay细化和Delaunay过滤。。。
  • T-咖啡

  • 在39篇文章中引用[sw13195]
  • 序列。这为我们提供了一个图书馆可以使用的对齐信息。。。结合以生成图书馆. 最终的路线。。。
  • 太阳能

  • 17条引用[sw08711]
  • 高性能图书馆用于核心外稠密矩阵计算。联合收割机便携性高。。。存储器及其矩阵输入输出图书馆支持传统的I/O接口和并行。。。损害其性能。我们希望结合可移植性,模块化。。。高级I/O接口将使图书馆一个重要的研究平台。。。
  • 双酚A

  • 引用8篇文章[sw08399]
  • 旨在与CUMODP交互图书馆哪一个联合收割机串行C代码和多线程CUDA。。。
  • 狂热的

  • 引用5篇文章[sw16270]
  • 功能性的组合子 图书馆描述高级别数据包转发策略。不像。。。
  • 引用5篇文章[sw09691]
  • 消费;更高层次的“数据流”组合子 图书馆为了快速构建传感器网络程序。。。
  • 斑点

  • 引用25篇文章[sw09473]
  • 图书馆提供可以合并与第三方工具连接。。。
  • 罗塞塔

  • 参考22篇文章[sw10969]
  • 图书馆提供了一组基本的构建块和方法结合这些。。。课程建设过程中做出的选择图书馆已经概述,和例子。。。
  • 单反管

  • 引用3篇文章[sw28602]
  • Monatron:一种可扩展的Monad转换器图书馆. 单子在函数式编程中非常普遍。整齐。。。他们的抽象能力的好处,组合子 图书馆因为单子是必要的。Monad变形金刚提供。。。
  • X米尔

  • 参考33篇文章[sw12312]
  • 速度。称为XMill的压缩机包含和联合收割机为了应用现有的压缩机。。。异构XML数据:它使用zlib图书馆函数,一个数据类型的集合。。。