• ESC/爪哇

  • 133篇参考文献[SW07217]
  • 扩展Java版本2的静态检查器(ESC/Java2)是一种编程…寻找共同点的工具运行-时间JML注释的Java程序中的错误…
  • 欧米伽蚂蚁

  • 8篇参考文献[SW19626]
  • 潜在的建议机制,如运行-时间 可扩展性资源适应性。此外,它支持…
  • 帕伽索斯

  • 79篇参考文献[SW0872]
  • 每个示例中的特征。自从运行-时间不直接取决于大小…从大数据集学习。我们的方法也延伸非线性内核,而单独工作…
  • 克劳德

  • 24篇参考文献[SW10057 ]
  • 一种结合类型推理的方案运行-时间检查以使现有C程序类型…描述Cuype类型系统延伸C通过分离指针类型根据…必须检查谁的安全运行 时间. 我们证明了一个类型的稳健性结果。剩余指针是有效的。运行-时间检查以确保它们被使用…
  • JIF

  • 16篇参考文献[SW1648]
  • 安全类型的编程语言延伸Java支持信息流控制和访问…编译时间运行 时间. JIF编译器的源代码运行-时间
  • LPARX

  • 8篇参考文献[SW0963]
  • 提供高效运行-时间支持动态的、非均匀的科学计算运行关于MIMD分布…内存体系结构。IT延伸HPF的数据分解模型为动态、块化提供支持。
  • 因瓦

  • 10篇参考文献[SW10103]
  • 应用一个扩展编译时的函数级公理集时间表达式的逆…不需要统一运行-时间在很多情况下。这使得成本…
  • 原子凸轮

  • 3篇参考文献[SW22682]
  • 自由。我们的实施延伸目标CAML字节码编译程序运行-时间系统支持…
  • 埃利亚德

  • 3篇参考文献[SW07777 ]
  • 通过高斯消去法实现扩展雅可比矩阵。我们介绍了EILAD工具,开发…目前的结果表明显著运行-时间单独的有限体积通量雅可比计算的改进…
  • CaseBox/J

  • 5篇参考文献[SW30250]
  • 继承关系与扩散运行-时间被击倒。重构以消除这些异常…像JAVA这样的语言。我们还提出了一个扩展Swing的实例研究,一个Java…
  • 聚胺

  • 4篇参考文献[ SW08950]
  • 多态性的无缝集成运行-时间类型分析和面向方面的编程语言特征…一种保守的类型推理算法延伸Hindley Milner型推理。首先支持…
  • OOPM

  • 4篇参考文献[SW02628 ]
  • 在佛罗里达大学的发展。IT延伸面向对象程序设计与可视化…链接此仿真程序,添加运行-时间支持和创建一个可执行文件在…下面
  • 阿尔玛

  • 1篇参考文献[SW12565 ]
  • 需要使用Aldoor库延伸枫叶以一种有效自然的方式。因为…枫树和Aldor明显不同,新的运行-时间代码必须实现一个非平凡的语义…
  • JCSP

  • 3篇参考文献[SW25045 ]
  • 处理器)。本文介绍了最近的工作。扩展动态施工设施…组件加入和离开运行-时间没有集中或预先计划的控制。较高的。。。他们)还提供连接通道(用于扩展客户端和服务器之间的双向事务…
  • 科贾克

  • 4篇参考文献[SW09129]
  • 通过可视化的OpenMP程序运行-时间在性能数据上的行为和计算统计…映射到相应的执行部分时间,允许不同行为的方便相关性。预定义性能问题可以是扩展为了满足个人(例如,特定应用)的需要…
  • 戴坦

  • 3篇参考文献[ SW31722]
  • 方式,这使得它很难延伸他们,试验他们,并适应他们…不依赖任何定制运行-时间系统我们也提出了DYTAN,一个实现…
  • Q-SCA

  • 1篇参考文献[SW02569]
  • 特别提款权大量参与现实——时间信号处理,目前SCA缺乏…SDR波形软件模型延伸用于QoS规范的SCA核心框架…进行测量以量化其运行-时间性能我们的实施清楚地表明了可行性。
  • 动力冷却

  • 0篇参考文献[SW24967 ]
  • 使用微尺度FCA获得,以及延伸PowerCool有一个紧凑的热模型…发电设计时间(FCA几何)和运行-时间(流体入口温度,流量…
  • 辅酶Q

  • 1721篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT