• 库达

• 引用1185篇文章[sw03258]
• NVIDIA GPU、数学库和工具调试以及优化应用程序的性能。。。

• MKL公司

• 参考文献121篇[sw06975]
• 从长远来看，你还可以节省发展，调试和维护时间，同时知道。。。

• 硬币或

• 引用98篇文章[sw04615]
• idea通常需要重新实施（和-调试重新测试）原始算法。经常。。。

• 视觉C++

• 引用84篇文章[sw03519]
• 语言。它以开发和调试C++代码，尤其是编写的代码。。。

• 再见

• 引用41篇文章[sw12089]
• CiaoPP可以执行许多程序调试、分析和源到源转换任务。。。程序等某些类型的静态调试以及验证，在运行程序之前发现错误。。。

• 橡皮擦

• 引用了43篇文章[sw08922]
• 在调试. 这篇文章描述了一个新的工具，叫做。。。

• 卡德纳

• 引用41篇文章[sw00098]
• 在运行时发生，一个数值调试可以执行用户代码的。卡德娜。。。

• 玉

• 在39篇文章中引用[sw11698]
• 支持调试以及部署阶段。一个基于玉的系统。。。

• 茂物

• 引用36篇[sw06858号]
• 有效的验证技术和调试在硬件和最近的软件领域。。。

• 合金

• 引用了29篇文章[sw01247]
• 正在检查Microsoft COM的约定调试名称服务器的设计。大多数。。。

• 数据发生器

• 引用15篇文章[sw09904]
• 声明的调试重写逻辑规范。声明的调试是一种半自动技术。。。用这个微积分计算调试树都是错误的（错误的结果。。。因为他们是不完整的），谁的充分性调试证明了。我们用这些树。。。

• 钨

• 引用15篇文章[sw02075]
• 合成、验证和调试并成功地应用于验证。。。运行时间短。准确度调试很高。通常超过99%的故障。。。留给工程师手动操作调试错误的行为。同样，计算开销。。。

• 模型

• 17条引用[sw11960]
• 内核模拟器（SKS）技术调试Verilog，VHDL和SystemC的环境。。。本机SKS性能最好的集成调试分析环境使ModelSim®成为模拟器。。。

• 芙蕾雅

• 17条引用[sw13678]
• 三种追踪和调试懒惰的函数程序。在本文中。。。比较三种跟踪和调试哈斯凯尔项目：Freja，帽子和帽子。我们评估。。。

• PLT Redex公司

• 引用23条[sw09921]
• 用于开发、探索、测试的原型工具套件，调试，并发布编程语言的语义模型。。。

• ATL公司

• 引用23条[sw10093]
• 使用语言：编辑、编译、执行和调试...

• CCSP公司

• 在14篇文章中引用[sw00111]
• CCSP：一个分布式程序的形式化系统调试. 编程的主要问题之一。。。并行/分布式环境是调试由于它们复杂的相互作用。。。为了开发一个调试分布式程序，对于更一般的情况。。。

• 帕索

• 引用了20篇文章[sw00684]
• 代码（不需要MPI），以及调试它。算法一旦完成并行版本。。。

• 细读

• 引用16条[sw00703]
• 我们发现这个系统对调试应用数学规划，快速获得小。。。

• PGA包装

• 引用16条[sw04922]
• 专家用户的访问级别。广泛的调试设施。大问题集。详细的。。。