• 库达

  • 1112篇参考文献[SW03258]
  • 编译程序对于Nvidia GPU,数学库和调试工具优化表演…
  • VRP

  • 928篇参考文献[SW05207]
  • 这个问题在于设计最优的车队车队的路线…VRP的研究编译的这里有大量关于…的信息。
  • MPT

  • 200篇参考文献[ SW047 32 ]
  • 多参数优化. 工具箱提供了广泛的算法。编译的在用户中…约束,或创建自定义目标函数。结果最优的控制律可以嵌入到……中。
  • 米诺斯

  • 437篇参考文献[SW05095]
  • 米诺斯是大规模的优化系统,用于求解稀疏线性和非线性…具有FORTRAN 66或77的机器编译程序和至少500 K字节的存储…
  • 苏菲

  • 27篇参考文献[SW08807]
  • 并行化研究的基础设施优化 编译程序.编译程序支持实验研究的基础设施…中间表示,并构造接口之间的接口编译程序传球。该工具包目前包括…地方性优化器,一个优化MIPS后端,一套编译程序开发工具和支持…
  • 忍者

  • 37篇参考文献[SW02498]
  • 多维数组和复数,以及新的编译程序利用这些特性的技术…使其他更常规的库优化. 编译程序技术、版本控制和语义扩展…
  • 总挥发性有机物

  • 19篇参考文献[SW02521]
  • TVOC:一个翻译验证器优化 编译程序. 我们描述了一种称为TVOC的工具,它使用…检验有效性的方法编译程序 优化对于给定的源程序,TVOC证明…通过运行产生的目标代码编译程序. 验证过程分为两个阶段。第二阶段验证结构保持优化使用证明规则验证。验证条件…
  • 工具链

  • 23篇参考文献[SW09517]
  • 检查有关程序的断言;优化 编译程序把你的程序翻译成机器语言;操作…
  • C小调

  • 19篇参考文献[ SW07939 ]
  • 编程语言;事实证明是正确的优化 编译程序从C到C小尼,从C小音…
  • 蒂尔

  • 13篇参考文献[SW22185]
  • 类型导向优化 编译程序我们描述了一个新的编译程序对于标准ML称为…免费垃圾收集,传统功能语言优化回路优化. 我们使用内涵多态性…优化生成递归函数的好代码。我们给出了TIL的一个例子。编译
  • 奥美加

  • 14篇参考文献[SW07195]
  • O'MeGA的建筑优化 编译程序对于量子场论中的树振幅…
  • 旋风

  • 28篇参考文献[SW09693]
  • 预编码的时间代码生成编译的代码片段在运行时被拼接在一起…代码生成低,但它要求优化如寄存器分配和代码运动…编译时间本文介绍了一个原则性的方法来实现这样的优化. 特别地。。。
  • DYC

  • 13篇参考文献[SW09692]
  • 动态时间特化器编译的专业人员支持各种缓存策略来管理…在AN的上下文中实现优化 编译程序,最初的结果是有希望的…
  • 贝塞尔

  • 13篇参考文献[SW0784]
  • 成功地在几个项目中编译程序优化器、模糊代码、代码生成器和分析工具。不幸的是…
  • 康普特索

  • 12篇参考文献[SW08230]
  • 硬件,效果编译程序 优化关于并发代码,需要支持高性能…模型反过来,这种复杂性也证实了这一点。汇编本质和挑战。举止得体,成功编译的CeligTSO源程序,任何允许的可观测行为的生成…还描述了一些验证栅栏消除优化集成到CycTTSO…
  • 汤姆拉姆

  • 85篇参考文献[SW04214]
  • 著名的尖端艺术优化软件包在Timlab覆盖的领域…外部求解器被分配为编译的PC系统上的二进制MEX DLL,以及编译的
  • 科瓦茨

  • 7篇参考文献[SW21472]
  • CoVaC:编译程序通过交叉产品的程序分析验证。本文提出一个演绎的…自动转换验证优化 编译程序. 利用现有的程序分析技术…开发方法来验证A编译程序 优化Run保留程序语义。不像现有的…缺席编译程序大多数经典过程中的注释和处理优化比如不变…
  • MPFQ

  • 17篇参考文献[SW09337 ]
  • 选择的有限域。机会编译时间优化产量大幅提高性能比较…