• VRP公司

  • 引用987篇文章[sw05207]
  • VRP的研究编译这里有很多关于。。。问题的变体、替代算法和技术为了解决这个问题,一些著名的例子。。。
  • 忍者

  • 引用了37篇文章[sw02398]
  • 数组和复数,以及新的编译程序 技术利用这些类的属性。。。启用其他更传统的优化。编译程序 技术,可以利用版本控制和语义扩展。。。
  • 干净

  • 参考58篇文章[sw01346]
  • 统一,动态链接,及时汇编,编码技术对于数据和版本管理。。。
  • MediaBench公司

  • 参考33篇文章[sw08949]
  • 内环,说明ILP汇编 技术非常适合这些应用。不幸的是。。。目前在编译程序社区和嵌入式应用程序开发人员。本文介绍。。。
  • 在10篇文章中引用[sw08842]
  • 工具,称为Coala,提供歧管汇编 技术用于多种动作语言。我们提供一个概述。。。
  • 塞尔4

  • 引用80篇文章[sw15222]
  • 实施。我们假设编译程序,汇编代码和硬件,我们使用了一个独特的。。。融合正式系统和操作系统的方法技术. 据我们所知,这是第一次。。。
  • 贾斯塔德

  • 引用23条[sw01700]
  • 描述JastAdd,一个基于Java的系统编译程序施工。贾斯塔德围绕着一个物体。。。树。JastAdd支持声明性的组合技术(使用引用属性。。。语法)和祈使句技术(使用普通Java代码)实现编译程序. 行为。。。一起使用面向方面编程的类技术,提供了更安全、更强大的替代方案。。。
  • 投掷

  • 引用69篇文章[sw07260]
  • 沿着其他程序路径。一起,这三个技术构成直接的自动随机测试,或DART。。。在任何程序上完全自动执行编译--没有必要写。。。
  • 短讯服务

  • 引用了29篇文章[sw01085]
  • 模式匹配技术. SMS将导出的符号公式转换为有效的编译语言(FORTRAN。。。
  • 莫纳

  • 参考文献118篇[sw06170]
  • 在所有级别的汇编以及公式的执行。我们呈现。。。有缓存意识的数据结构。我们描述这些技术通过实验来量化它们各自的影响。。。
  • 扣环

  • 引用90篇文章[sw07095]
  • 托管在SourceForge。源代码和pre-编译二进制文件可以从Potasco下载。。。采用最先进的编程技术(ASP)技术从布尔约束求解领域。。。
  • 西姆森

  • 引用36篇[sw13385]
  • 实现有效频谱集成的包技术要解决纳维-斯托克斯方程组。。。福斯。报告描述了如何配置,编译然后安装软件。另外,一个介绍。。。边缘区的空间模拟技术类似于贝托洛蒂。。。
  • PyPy公司

  • 引用5篇文章[sw20002]
  • 尝试应用技术跟踪JIT编译器在PyPy的背景下。。。演示如何指导跟踪JIT编译器为了大大提高字节码解释器的速度。。。字节码解释器。我们评估技术把它应用到两个PyPy口译员身上。。。
  • 生态系统

  • 引用了37篇文章[sw12123]
  • 使用简单的分枝定界技术. ECOS完全是用ANSI编写的。。。嵌入式系统-编译程序是可用的。实现的求解算法。。。问题。它使用正则化和迭代求精技术在数值上稳健。解决方法。。。
  • 铜斑蛇

  • 引用5篇文章[SW305号]
  • 这篇论文,我们讨论语言,编译程序,以及使Copperhead能够有效地。。。介绍程序分析技术必要的编译铜斑蛇代码到高效的低层实现中。。。模块。我们展示了技术有几个针对CUDA平台的例子。。。比CUDA多了几行代码编译程序生成高效代码,生成。。。
  • 特拉科

  • 参考第4条【sw18990】
  • 讨论了由TRACO生成的。相关的编译器技术被考虑在内。对未来的工作进行了概述。。。
  • 卡普里

  • 引用2篇文章[sw21330]
  • 推理规则:PTTP的扩展技术. 我们提出了一种指定推理规则的语言。。。语言与汇编 技术集成在我们的定理证明程序中。。。
  • CVX发电机

  • 在38篇文章中引用[sw07151]
  • 自动生成自定义C代码编译变成一个可靠的,高速的解算器。。。变换,使用有规律的凸规划技术,到中等规模的凸二次规划。CVXGEN生成。。。
  • 猎鹰

  • 引用2篇文章[sw06225]
  • 时间。该系统包括传统的编译程序 技术以及其他利用代数信息的变换。。。
  • 马吉

  • 引用9篇文章[sw01710]
  • 操作数编译程序,导致一些有趣的分析技术. 我们对马吉的实验。。。与静态相比性能合理编译器...