• 阿尔戈68

  • 引用282条[sw01226]
  • 阿尔戈60编程语言,使用目标更广泛的应用范围。。。当它们重新出现在随后的发展中编程语言。。。
  • 规格#

  • 参考117篇文章[sw04598]
  • 规格#编程系统是一种新的尝试,以更具成本效益的方式开发。。。本文描述了目标以及规范的体系结构#编程系统,包括。。。
  • 平顶

  • 引用31篇文章[sw00681]
  • 使用数学编程总的来说和目标 编程尤其是估计市场价值。。。
  • FGb公司

  • 在234篇文章中引用[sw00286]
  • C)是一种高效的程序用C写的解多项式系统。。。双重的。首先,主要目标提供有效的状态实现。。。
  • 围裙

  • 引用66篇文章[sw00045]
  • 数值变量程序通过抽象的解释。目标有三个方面:为分析实现者提供。。。
  • 泰勒

  • 引用71篇文章[sw10816]
  • 方程式(ODE)。主要目标就是展示一台电脑程序输出一个特定的。。。
  • CGAL公司

  • 在334篇文章中引用[sw00118]
  • 目标CGAL开源项目的目的是提供对高效的。。。线性和二次型求解器程序. 它还提供与第三方软件的接口,如。。。
  • 飞溅-2

  • 引用了45篇文章[sw09604]
  • 飞溅-2程序:特征描述和方法论考虑。SPLASH-2并行应用程序套件。。。目标. 一是对SPLASH-2进行定量表征程序就基本性质而言。。。其他,相关目标方法论:帮助将使用程序在建筑方面。。。
  • 3APL公司

  • 参考33篇文章[sw20859]
  • 认知因素。它提供编程实现代理人信念的结构,目标,基本能力(如。。。通过哪个探员目标可以更新或修改。3APL公司程序被处决。。。
  • 斯巴克

  • 引用220篇文章[sw07692]
  • 处理稀疏矩阵。其中之一目标包是提供基本的。。。工具。该软件包还提供了其他功能程序转换数据结构,打印简单的统计。。。
  • 莫阿普斯

  • 在10篇文章中引用[sw13459]
  • 作为先发制人目标-编程模型和求解由一个特别开发的多重。。。
  • PAGP公司

  • 引用9篇文章[sw00670]
  • PAGP,一种(线性)的划分算法目标 编程问题。。。
  • 莫卡塞夫

  • 引用9篇文章[sw10670]
  • 蜂窝制造应用。先发制人目标 编程同时形成独立零件/机器的配方。。。
  • 皮克特

  • 参考第70条[sw08929]
  • 手册、语言教程、大量的库和示例程序. 核心语言-异步变体。。。广泛的并行计算。这个目标在Pict中是识别高级习语。。。这些原语用于构建工作程序-习惯用法,如基本数据结构、协议。。。
  • 2APL公司

  • 引用16条[sw06573]
  • 命令式风格编程通过引入和整合陈述性信念和目标有了活动和计划。。。也提供了实用性编程构造以允许生成、修复和(不同模式)执行。。。信仰,目标,以及事件。的形式语法和语义编程语言被赋予。。。
  • 拖把

  • 引用23条[sw10117]
  • 这个过程。我们的程序分析模型程序被确认为下推自动机。。。违反了所需的安全性目标可在程序. 它的主要优点是。。。
  • R/qtl

  • 参考12篇文章[sw20451]
  • 软件综合统计分析程序. 我们的目标进行复杂的QTL定位。。。
  • 线性代数库

  • 引用394篇文章[sw00830号]
  • 最小二乘问题和特征值问题。这个目标这两个项目都是效率,可扩展性,可靠性。。。包装、测试和计时代码程序,库的预构建版本。。。
  • 玩具

  • 引用了55篇文章[sw09812]
  • CRWL,一个广泛的陈述性理论框架编程其基础是基于构造函数的重写。。。线性项和实数约束;目标结合约束条件,用需要缩小的方法求解。。。根据一本玩具的汇编程序进入序言。。。
  • LLVM公司

  • 引用73篇文章[sw04892]
  • 伊利诺伊大学目标提供一个现代的,基于SSA的编译策略。。。静态和动态编译任意编程语言。从那以后,LLVM发展了。。。