• 斯卡拉斯卡

  • 参考12篇文章[sw11228]
  • 测量和分析运行时行为。这个分析识别潜在的性能瓶颈–尤其是那些。。。
  • J预测器

  • 引用4篇文章[sw23065]
  • J预测器是运行时预测性分析Java工具。基于财产之间的因果关系。。。事件,已用于运行时 分析多部作品中的并发程序。大多数。。。
  • J承包商

  • 在10篇文章中引用[sw01488]
  • 验证他们可以执行额外的运行时监视、记录和分析...
  • 梅林

  • 第3条引用[sw23076]
  • 看到了大量的静电和运行时 分析用于查找安全冲突的工具。。。
  • 萨夫卡西

  • 引用5篇文章[sw20431]
  • 必要的。结合静电分析运行时优化,我们的原型实现显示合理。。。
  • 林森特

  • 引用2篇文章[sw21576号]
  • 主要通过数据流技术分析,运行时保护机制,或改变操作。。。通过开发研究框架分析基于打字技术的Android应用程序。。。
  • 手电筒

  • 引用4篇文章[sw13534号]
  • 早先令人失望的结果分析方法具有指数运行时只在两个极端。。。这导致低阶多项式时间分析方法,在我们称为。。。
  • 摩卡

  • 引用5篇文章[sw08801]
  • 一致的,然后我们的随机分析预测O(nlogn)运行时. 事实上,广泛的实验。。。合成和真实世界的数据集证实了运行时不到10-5秒的时间。。。摩托车,正如我们预测的那样分析. 这使得Moca成为第一个高效的实现。。。
  • 保险++

  • 1条引用[sw10058]
  • 运行时 分析以及C和C++的内存错误检测:Parasoft®Insurance++®识别困难。。。
  • SA集群

  • 参考7篇文章[sw06867]
  • 重量增加。复杂性分析用于估算运行时成本公司群集。。。
  • 面包

  • 第3条引用[sw23213]
  • LoAT(下限分析下刀具):下刀具运行时整数程序的界限。我们提出一种技术。。。
  • 铜斑蛇

  • 引用5篇文章【sw30955】
  • 可视化,以及分析. 在本文中,我们将讨论语言、编译器和运行时特点是。。。哪个铜斑蛇支持和介绍这个项目分析把铜斑蛇代码编译成。。。级别实现。我们还概述了运行时支持铜斑蛇程序与标准。。。
  • 丁尼奥斯

  • 参考7篇文章[sw02023]
  • 分布式运行时行为。组成部分包括(i)全功能静态分析还有仪器。。。
  • 引用13篇文章[sw05905]
  • 非常快,感谢仔细的矢量化和运行时调谐。它支持多线程转换。。。标量和矢量变换,合成和分析,以及灵活的截断和规范化。一条蟒蛇。。。
  • Pex公司

  • 引用32篇文章[sw07263]
  • 为此,Pex执行了一个系统的程序分析(使用动态符号执行,类似于路径。。。.NET的核心组件运行时已经被广泛测试了几年。。。
  • JPAX公司

  • 引用了29篇文章[sw09906]
  • 概述Java PathExplorer运行时验证工具,简而言之。。。死锁和数据竞争。同时性分析不需要用户提供规范。该工具有助于。。。
  • 合金*

  • 引用4篇文章[sw20736号]
  • 机制,不仅仅是为了分析软件,但也在运行时. 解算器可用。。。
  • 梭鱼

  • 1条引用[sw28761号文件]
  • 梭鱼:二级分析属于运行时CUDA项目中的比赛。GPU编程模型启用。。。
  • Inc集群

  • 引用4篇文章[sw06866号]
  • 重量增加。复杂性分析用于估算运行时成本公司群集。。。