• 埃斯特尔

  • 159篇参考文献[SW1212]
  • 自动机。Esterel V5编译程序可以用来生成软件或硬件实现…
  • 旋风

  • 28篇参考文献[SW09693]
  • 编译基于模板的运行时代码一代. 旋风分离器是一种类型安全的编程语言…提供显式运行时代码一代. 气旋编译程序使用基于模板的策略…时间码一代其中预编译的代码片段在运行时被拼接在一起…这种策略保持了代码的成本。一代低,但它需要优化,例如…
  • YACC

  • 66篇参考文献[SW26931]
  • Yacc(又一)编译程序-编译程序是一个开发UNIX操作系统的计算机程序…语法分析器发电机生成分析器的一部分编译程序试图制造…
  • F2PY

  • 26篇参考文献[SW04610]
  • 数组。此外,F2PY可以建立生成扩展模块与…共享库。支持主要FORTRAN的数量编译程序. F2PY生成扩展模块依赖于NUMPY包…
  • 奥卡姆

  • 265篇参考文献[SW06363]
  • HPPA,Stand ARM,以及字节码编译程序(OCAMCLC)和交互式读取EVE打印…调试器(OCAM调试)、词表(OcAMLLEX)和解析器(OcAMLACACC)发电机一个预处理器相当漂亮的打印机(CAMLP4…
  • 美味的

  • 17篇参考文献[SW09865 ]
  • 超越结果。现有密码编译程序可以自动生成安全计算协议从高层…自动化的新工具,即描述,生成执行、标杆和比较,高效安全的两方…协议。美味是新的编译程序可以生成基于同态加密的协议…有效评估电路生成著名的Fairplay编译程序. 我们用好吃的来比较…
  • 汇编

  • 42篇参考文献[SW09737 ]
  • 这样验证编译程序附带一个数学,机器检查证明生成可执行代码…程序通过排除可能性编译程序-引入错误,验证编译程序加强担保…保证编译程序对于几乎所有的ISO C90/ANSI C语言,生成高效代码…
  • CVXGEN

  • 35篇参考文献[SW07151]
  • 问题族和自动生成自定义C代码编译进入一个可靠的、高速的…大小适中的凸二次规划。CVXGEN生成简单,扁平,无图书馆代码适合…
  • 利比

  • 11篇参考文献[SW1938 4]
  • 用于模型规范的语言,然后优化,生成编译并运行给定模型的代码…
  • PAG

  • 19篇参考文献[SW0699]
  • 高效程序分析器发电机. 为了生产高质量的代码,编译程序必须履行…不动点迭代。程序分析器发电机本文中描述的PAG试图提供…问题。PAG生成过程间分析器可以很容易地集成到现有的分析程序中。编译程序. PAG已经成功了…用于ESPRIT项目比较生成几个分析器(包括别名分析和常数)…
  • FFC

  • 26篇参考文献[SW11185]
  • 形式编译程序. FEICS的一个关键特性是自动化代码。一代问题。这个自动化代码一代依赖于表单7019编译程序离线或只是…
  • 回路

  • 29篇参考文献[SW1092]
  • 回路编译程序对于Java和JML。本文介绍了循环工具的体系结构。论文讨论了逻辑理论的相关问题。一代
  • 无级变速器

  • 15篇参考文献[SW0952]
  • 验证工具(CVT)。A的自动验证汇编过程。我们描述了CVT——全自动的…代码产生的代码发电机(等效地,A编译程序或者翻译)是正确的…代码的完全形式验证发电机程序,并具有不“冻结”的优点。
  • 46篇参考文献[SW01224]
  • 编译程序在飞利浦实验室开发,命名为PL Muldia,生成代码
  • 菲亚普

  • 153篇参考文献[SW049 63]
  • 汇编使用Windows(康柏或英特尔)编译程序)Linux或UNIX操作系统…也可与网格一起使用一代有一个选项输出的程序…
  • 希库达

  • 6篇参考文献[SW12727 ]
  • 发现性能编译程序-生成CUDA代码非常接近…分享HICUDA语言及其编译程序支持GPGPU编程社区,并导致…
  • 短信

  • 23篇参考文献[ SW01085 ]
  • 非线性有限元分析所需。象征的一代非线性有限元的特征阵列。公式转化为有效编译的语言(FORTRAN或C)。这个生成代码然后合并…
  • 塔姆克

  • 71篇参考文献[SW07198]
  • 消费和错误。因此,自动一代伴随码代表一个明显的优点…切线线性伴随模型编译程序
  • TTC

  • 6篇参考文献[SW15828 ]
  • 开源领域特定并行编译程序. TTC生成优化的并行C++/CUDA C代码…通过有意义的基线实现生成用外部C++编译程序结果表明…实例,与英特尔的最新C++进行比较编译程序关于哈斯韦尔和骑士角建筑…使之成为合适的候选人一代性能关键包装功能…
  • 铜斑蛇

  • 5篇参考文献[SW30955 ]
  • 代码比CUDA,以及编译程序 生成有效的代码,产生45-100%的性能…